| 1 | package de.uka.ipd.sdq.pcmsolver.runconfig; |
| 2 | |
| 3 | import de.uka.ipd.sdq.workflow.pcm.configurations.AbstractCodeGenerationWorkflowRunConfiguration; |
| 4 | |
| 5 | public class PCMSolverWorkflowRunConfiguration extends |
| 6 | AbstractCodeGenerationWorkflowRunConfiguration { |
| 7 | |
| 8 | private String convValue; |
| 9 | |
| 10 | private int debugLevel; |
| 11 | private double distance; |
| 12 | private int domainSize; |
| 13 | |
| 14 | private boolean isReliabilityAnalysis; |
| 15 | |
| 16 | private boolean isUseSREInputModel; |
| 17 | private boolean iterationOverPhysicalSystemStatesEnabled; |
| 18 | |
| 19 | private String itLimit; |
| 20 | private String logFile; |
| 21 | private String lqnsOutput; |
| 22 | private String lqnsOutputDir; |
| 23 | |
| 24 | private String lqsimBlocks; |
| 25 | private String lqsimOutput; |
| 26 | private String lqsimOutputDir; |
| 27 | private String lqsimRuntime; |
| 28 | private String markovEvaluationMode; |
| 29 | private String markovModelFile; |
| 30 | private boolean markovModelReductionEnabled; |
| 31 | private boolean markovModelStorageEnabled; |
| 32 | |
| 33 | private boolean markovModelTracesEnabled; |
| 34 | private Integer maxRealRuntimeSec = null; |
| 35 | private long numberOfEvaluatedSystemStates; |
| 36 | private boolean numberOfEvaluatedSystemStatesEnabled; |
| 37 | |
| 38 | private int numberOfExactDecimalPlaces; |
| 39 | private boolean numberOfExactDecimalPlacesEnabled; |
| 40 | |
| 41 | private String outputFilename; |
| 42 | |
| 43 | private String printInt; |
| 44 | |
| 45 | private boolean printMarkovSingleResults; |
| 46 | private boolean printMarkovStatistics; |
| 47 | |
| 48 | private boolean sensitivityModelEnabled; |
| 49 | private String sensitivityModelFileName; |
| 50 | private String sensitivityLogFileName; |
| 51 | |
| 52 | private String psQuantum; |
| 53 | |
| 54 | private String solver; |
| 55 | |
| 56 | private long solvingTimeLimit; |
| 57 | |
| 58 | private boolean solvingTimeLimitEnabled; |
| 59 | |
| 60 | private String sreOutputFile; |
| 61 | |
| 62 | private boolean stopOnMessageLossLQNS; |
| 63 | private boolean stopOnMessageLossLQSim; |
| 64 | |
| 65 | private boolean isInfiniteTaskMultiplicity; |
| 66 | |
| 67 | private String saveFile; |
| 68 | private boolean saveResultsToFileEnabled; |
| 69 | private boolean isShowHtmlResults = true; |
| 70 | |
| 71 | public boolean isInfiniteTaskMultiplicity() { |
| 72 | return isInfiniteTaskMultiplicity; |
| 73 | } |
| 74 | |
| 75 | public void setInfiniteTaskMultiplicity(boolean isInfiniteTaskMultiplicity) { |
| 76 | this.isInfiniteTaskMultiplicity = isInfiniteTaskMultiplicity; |
| 77 | } |
| 78 | |
| 79 | private String underCoeff; |
| 80 | |
| 81 | private String lqnPragmas; |
| 82 | |
| 83 | public PCMSolverWorkflowRunConfiguration() { |
| 84 | super(); |
| 85 | } |
| 86 | |
| 87 | public String getConvValue() { |
| 88 | return convValue; |
| 89 | } |
| 90 | |
| 91 | public int getDebugLevel() { |
| 92 | return debugLevel; |
| 93 | } |
| 94 | |
| 95 | public double getDistance() { |
| 96 | return distance; |
| 97 | } |
| 98 | |
| 99 | public int getDomainSize() { |
| 100 | return domainSize; |
| 101 | } |
| 102 | |
| 103 | @Override |
| 104 | public String getErrorMessage() { |
| 105 | // TODO Auto-generated method stub |
| 106 | return null; |
| 107 | } |
| 108 | |
| 109 | public String getItLimit() { |
| 110 | return itLimit; |
| 111 | } |
| 112 | |
| 113 | public String getLogFile() { |
| 114 | return logFile; |
| 115 | } |
| 116 | |
| 117 | /** |
| 118 | * LQN output type. Uses constants {@link MessageStrings.LQN_OUTPUT_HTML} etc. |
| 119 | * @return |
| 120 | */ |
| 121 | public String getLqnsOutput() { |
| 122 | return lqnsOutput; |
| 123 | } |
| 124 | |
| 125 | public String getLqnsOutputDir() { |
| 126 | return lqnsOutputDir; |
| 127 | } |
| 128 | |
| 129 | public String getLQSimBlocks() { |
| 130 | return this.lqsimBlocks; |
| 131 | } |
| 132 | |
| 133 | public String getLqsimOutput() { |
| 134 | return lqsimOutput; |
| 135 | } |
| 136 | |
| 137 | public String getLqsimOutputDir() { |
| 138 | return lqsimOutputDir; |
| 139 | } |
| 140 | |
| 141 | public String getLQSimRuntime() { |
| 142 | return this.lqsimRuntime; |
| 143 | } |
| 144 | |
| 145 | public String getMarkovEvaluationMode() { |
| 146 | return markovEvaluationMode; |
| 147 | } |
| 148 | |
| 149 | public String getMarkovModelFile() { |
| 150 | return markovModelFile; |
| 151 | } |
| 152 | |
| 153 | public Integer getMaxRealRuntimeSec() { |
| 154 | return maxRealRuntimeSec; |
| 155 | } |
| 156 | |
| 157 | public long getNumberOfEvaluatedSystemStates() { |
| 158 | return numberOfEvaluatedSystemStates; |
| 159 | } |
| 160 | |
| 161 | public int getNumberOfExactDecimalPlaces() { |
| 162 | return numberOfExactDecimalPlaces; |
| 163 | } |
| 164 | |
| 165 | public String getOutputFilename() { |
| 166 | return outputFilename; |
| 167 | } |
| 168 | |
| 169 | public String getPrintInt() { |
| 170 | return printInt; |
| 171 | } |
| 172 | |
| 173 | public String getPsQuantum() { |
| 174 | return psQuantum; |
| 175 | } |
| 176 | |
| 177 | public String getSolver() { |
| 178 | return solver; |
| 179 | } |
| 180 | |
| 181 | public long getSolvingTimeLimit() { |
| 182 | return solvingTimeLimit; |
| 183 | } |
| 184 | |
| 185 | public String getSREOutputFile() { |
| 186 | return this.sreOutputFile; |
| 187 | } |
| 188 | |
| 189 | public boolean getStopOnMessageLossLQNS() { |
| 190 | return this.stopOnMessageLossLQNS; |
| 191 | } |
| 192 | |
| 193 | public boolean getStopOnMessageLossLQSim() { |
| 194 | return this.stopOnMessageLossLQSim; |
| 195 | } |
| 196 | |
| 197 | public String getUnderCoeff() { |
| 198 | return underCoeff; |
| 199 | } |
| 200 | |
| 201 | public String getPragmas() { |
| 202 | return this.lqnPragmas; |
| 203 | } |
| 204 | |
| 205 | public boolean isIterationOverPhysicalSystemStatesEnabled() { |
| 206 | return iterationOverPhysicalSystemStatesEnabled; |
| 207 | } |
| 208 | |
| 209 | public boolean isMarkovModelReductionEnabled() { |
| 210 | return markovModelReductionEnabled; |
| 211 | } |
| 212 | |
| 213 | public boolean isMarkovModelStorageEnabled() { |
| 214 | return markovModelStorageEnabled; |
| 215 | } |
| 216 | |
| 217 | public boolean isMarkovModelTracesEnabled() { |
| 218 | return markovModelTracesEnabled; |
| 219 | } |
| 220 | |
| 221 | public boolean isNumberOfEvaluatedSystemStatesEnabled() { |
| 222 | return numberOfEvaluatedSystemStatesEnabled; |
| 223 | } |
| 224 | |
| 225 | public boolean isNumberOfExactDecimalPlacesEnabled() { |
| 226 | return numberOfExactDecimalPlacesEnabled; |
| 227 | } |
| 228 | |
| 229 | public boolean isPrintMarkovSingleResults() { |
| 230 | return printMarkovSingleResults; |
| 231 | } |
| 232 | |
| 233 | public boolean isPrintMarkovStatistics() { |
| 234 | return printMarkovStatistics; |
| 235 | } |
| 236 | |
| 237 | public boolean isSensitivityModelEnabled() { |
| 238 | return sensitivityModelEnabled; |
| 239 | } |
| 240 | |
| 241 | public String getSensitivityModelFileName() { |
| 242 | return sensitivityModelFileName; |
| 243 | } |
| 244 | |
| 245 | public String getSensitivityLogFileName() { |
| 246 | return sensitivityLogFileName; |
| 247 | } |
| 248 | |
| 249 | public boolean isReliabilityAnalysis() { |
| 250 | return this.isReliabilityAnalysis; |
| 251 | } |
| 252 | |
| 253 | public boolean isSolvingTimeLimitEnabled() { |
| 254 | return solvingTimeLimitEnabled; |
| 255 | } |
| 256 | |
| 257 | public boolean isUseSREInputModel() { |
| 258 | return this.isUseSREInputModel; |
| 259 | } |
| 260 | |
| 261 | public void setConvValue(String convValue) { |
| 262 | this.convValue = convValue; |
| 263 | } |
| 264 | |
| 265 | public void setDebugLevel(int debugLevel) { |
| 266 | this.debugLevel = debugLevel; |
| 267 | } |
| 268 | |
| 269 | @Override |
| 270 | public void setDefaults() { |
| 271 | // TODO Auto-generated method stub |
| 272 | |
| 273 | } |
| 274 | |
| 275 | public void setDistance(double distance) { |
| 276 | this.distance = distance; |
| 277 | } |
| 278 | |
| 279 | public void setDomainSize(int domainSize) { |
| 280 | this.domainSize = domainSize; |
| 281 | } |
| 282 | |
| 283 | public void setIsUseSREInputModel(boolean b) { |
| 284 | this.isUseSREInputModel = b; |
| 285 | |
| 286 | } |
| 287 | |
| 288 | public void setIterationOverPhysicalSystemStatesEnabled( |
| 289 | boolean iterationOverPhysicalSystemStatesEnabled) { |
| 290 | this.iterationOverPhysicalSystemStatesEnabled = iterationOverPhysicalSystemStatesEnabled; |
| 291 | } |
| 292 | |
| 293 | public void setItLimit(String itLimit) { |
| 294 | this.itLimit = itLimit; |
| 295 | } |
| 296 | |
| 297 | public void setLogFile(String logFile) { |
| 298 | this.logFile = logFile; |
| 299 | } |
| 300 | |
| 301 | public void setLqnsOutput(String lqnsOutput) { |
| 302 | this.lqnsOutput = lqnsOutput; |
| 303 | } |
| 304 | |
| 305 | public void setLqnsOutputDir(String lqnsOutputDir) { |
| 306 | this.lqnsOutputDir = lqnsOutputDir; |
| 307 | } |
| 308 | |
| 309 | public void setLQSimBlocks(String blocks) { |
| 310 | this.lqsimBlocks = blocks; |
| 311 | } |
| 312 | |
| 313 | public void setLqsimOutput(String lqsimOutput) { |
| 314 | this.lqsimOutput = lqsimOutput; |
| 315 | } |
| 316 | |
| 317 | public void setLqsimOutputDir(String lqsimOutputDir) { |
| 318 | this.lqsimOutputDir = lqsimOutputDir; |
| 319 | } |
| 320 | |
| 321 | public void setLQSimRuntime(String runtime) { |
| 322 | this.lqsimRuntime = runtime; |
| 323 | } |
| 324 | |
| 325 | public void setMarkovEvaluationMode(String markovEvaluationMode) { |
| 326 | this.markovEvaluationMode = markovEvaluationMode; |
| 327 | } |
| 328 | |
| 329 | public void setMarkovModelFile(String markovModelFile) { |
| 330 | this.markovModelFile = markovModelFile; |
| 331 | } |
| 332 | |
| 333 | public void setMarkovModelReductionEnabled( |
| 334 | boolean markovModelReductionEnabled) { |
| 335 | this.markovModelReductionEnabled = markovModelReductionEnabled; |
| 336 | } |
| 337 | |
| 338 | public void setMarkovModelStorageEnabled(boolean markovModelStorageEnabled) { |
| 339 | this.markovModelStorageEnabled = markovModelStorageEnabled; |
| 340 | } |
| 341 | |
| 342 | public void setMarkovModelTracesEnabled(boolean markovModelTracesEnabled) { |
| 343 | this.markovModelTracesEnabled = markovModelTracesEnabled; |
| 344 | } |
| 345 | |
| 346 | public void setMaxRealRuntimeSec(Integer maxRealRuntimeSec) { |
| 347 | this.maxRealRuntimeSec = maxRealRuntimeSec; |
| 348 | } |
| 349 | |
| 350 | public void setNumberOfEvaluatedSystemStates( |
| 351 | long numberOfEvaluatedSystemStates) { |
| 352 | this.numberOfEvaluatedSystemStates = numberOfEvaluatedSystemStates; |
| 353 | } |
| 354 | |
| 355 | public void setNumberOfEvaluatedSystemStatesEnabled( |
| 356 | boolean numberOfEvaluatedSystemStatesEnabled) { |
| 357 | this.numberOfEvaluatedSystemStatesEnabled = numberOfEvaluatedSystemStatesEnabled; |
| 358 | } |
| 359 | |
| 360 | public void setNumberOfExactDecimalPlaces(int numberOfExactDecimalPlaces) { |
| 361 | this.numberOfExactDecimalPlaces = numberOfExactDecimalPlaces; |
| 362 | } |
| 363 | |
| 364 | public void setNumberOfExactDecimalPlacesEnabled( |
| 365 | boolean numberOfExactDecimalPlacesEnabled) { |
| 366 | this.numberOfExactDecimalPlacesEnabled = numberOfExactDecimalPlacesEnabled; |
| 367 | } |
| 368 | |
| 369 | public void setOutputFilename(String outputFilename) { |
| 370 | this.outputFilename = outputFilename; |
| 371 | } |
| 372 | |
| 373 | public void setPrintInt(String printInt) { |
| 374 | this.printInt = printInt; |
| 375 | } |
| 376 | |
| 377 | public void setPrintMarkovSingleResults(boolean printMarkovSingleResults) { |
| 378 | this.printMarkovSingleResults = printMarkovSingleResults; |
| 379 | } |
| 380 | |
| 381 | public void setPrintMarkovStatistics(boolean printMarkovStatistics) { |
| 382 | this.printMarkovStatistics = printMarkovStatistics; |
| 383 | } |
| 384 | |
| 385 | public void setSensitivityModelEnabled(boolean sensitivityModelEnabled) { |
| 386 | this.sensitivityModelEnabled = sensitivityModelEnabled; |
| 387 | } |
| 388 | |
| 389 | public void setSensitivityModelFileName(String sensitivityModelFileName) { |
| 390 | this.sensitivityModelFileName = sensitivityModelFileName; |
| 391 | } |
| 392 | |
| 393 | public void setSensitivityLogFileName(String sensitivityLogFileName) { |
| 394 | this.sensitivityLogFileName = sensitivityLogFileName; |
| 395 | } |
| 396 | |
| 397 | public void setPsQuantum(String psQuantum) { |
| 398 | this.psQuantum = psQuantum; |
| 399 | } |
| 400 | |
| 401 | public void setReliabilityAnalysis(boolean isReliabilityAnalysis) { |
| 402 | this.isReliabilityAnalysis = isReliabilityAnalysis; |
| 403 | } |
| 404 | |
| 405 | public void setSolver(String solver) { |
| 406 | this.solver = solver; |
| 407 | } |
| 408 | |
| 409 | public void setSolvingTimeLimit(long solvingTimeLimit) { |
| 410 | this.solvingTimeLimit = solvingTimeLimit; |
| 411 | } |
| 412 | |
| 413 | public void setSolvingTimeLimitEnabled(boolean solvingTimeLimitEnabled) { |
| 414 | this.solvingTimeLimitEnabled = solvingTimeLimitEnabled; |
| 415 | } |
| 416 | |
| 417 | public void setSREOutputFile(String outputDir) { |
| 418 | this.sreOutputFile = outputDir; |
| 419 | } |
| 420 | |
| 421 | public void setStopOnMessageLossLQNS(boolean b) { |
| 422 | this.stopOnMessageLossLQNS = b; |
| 423 | } |
| 424 | |
| 425 | public void setStopOnMessageLossLQSim(boolean b) { |
| 426 | this.stopOnMessageLossLQSim = b; |
| 427 | } |
| 428 | |
| 429 | public void setUnderCoeff(String underCoeff) { |
| 430 | this.underCoeff = underCoeff; |
| 431 | } |
| 432 | |
| 433 | public String getSaveFile() { |
| 434 | return saveFile; |
| 435 | } |
| 436 | |
| 437 | public void setSaveFile(String saveFile) { |
| 438 | this.saveFile = saveFile; |
| 439 | } |
| 440 | |
| 441 | public boolean isSaveResultsToFileEnabled() { |
| 442 | return saveResultsToFileEnabled; |
| 443 | } |
| 444 | |
| 445 | /** |
| 446 | * Show HTML results of reliability analysis. For HTML results of LQN solver analysis, see |
| 447 | * {@link #getLqnsOutput()}. |
| 448 | * @return |
| 449 | */ |
| 450 | public boolean isShowHtmlResults() { |
| 451 | return this.isShowHtmlResults; |
| 452 | } |
| 453 | |
| 454 | public void setSaveResultsToFileEnabled(boolean saveResultsToFileEnabled) { |
| 455 | this.saveResultsToFileEnabled = saveResultsToFileEnabled; |
| 456 | } |
| 457 | |
| 458 | public void setShowHtmlResults(boolean isShowHtmlResults) { |
| 459 | this.isShowHtmlResults = isShowHtmlResults; |
| 460 | } |
| 461 | |
| 462 | public void setPragmas(String pragmaString) { |
| 463 | this.lqnPragmas = pragmaString; |
| 464 | } |
| 465 | |
| 466 | |
| 467 | } |