| 1 | package de.uka.ipd.sdq.pcmsolver.runconfig; |
| 2 | |
| 3 | public class MessageStrings { |
| 4 | |
| 5 | public static final String SRE_SOLVER = "SRES (Stochastic Regular Expression Solver)"; |
| 6 | public static final String LQNS_SOLVER = "LQNS (Layered Queueing Network Solver)"; |
| 7 | public static final String LQSIM_SOLVER = "LQSIM (Layered Queueing Simulation)"; |
| 8 | |
| 9 | //public static final String VERBOSE_LOGGING = "verboseLogging"; |
| 10 | public static final String MARKOV_STATISTICS = "markovStatistics"; |
| 11 | public static final String SINGLE_RESULTS = "singleResults"; |
| 12 | |
| 13 | public static final String LQN_OUTPUT_HTML = "HTML Output"; |
| 14 | public static final String LQN_OUTPUT_HUMAN = "Human Readable Output"; |
| 15 | public static final String LQN_OUTPUT_XML = "XML Output"; |
| 16 | |
| 17 | public static final String SOLVER = "solver"; |
| 18 | public static final String SAMPLING_DIST = "samplingDist"; |
| 19 | public static final String MAX_DOMAIN = "maxDomain"; |
| 20 | public static final String SRE_IS_USE_INPUT_MODEL = "SREUseInputModel"; |
| 21 | |
| 22 | public static final String CONV_VALUE = "convValue"; |
| 23 | public static final String IT_LIMIT = "itLimit"; |
| 24 | public static final String PRINT_INT = "printInt"; |
| 25 | public static final String UNDER_COEFF = "underCoeff"; |
| 26 | public static final String LQNS_OUTPUT = "output"; |
| 27 | public static final String LQSIM_OUTPUT = "lqsimoutput"; |
| 28 | |
| 29 | public static final String PRAGMAS = "lqnPragmas"; |
| 30 | |
| 31 | public static final String RUN_TIME = "runTime"; |
| 32 | public static final String BLOCKS = "blocks"; |
| 33 | public static final String PS_QUANTUM = "psQuantum"; |
| 34 | |
| 35 | public static final String STOP_ON_MESSAGE_LOSS_LQNS = "LQNS Stop On Message Loss"; |
| 36 | public static final String STOP_ON_MESSAGE_LOSS_LQSIM = "LQSIM Stop On Message Loss"; |
| 37 | |
| 38 | public static final String LQNS_OUTPUT_DIR = "lqnsOutputDir"; |
| 39 | public static final String LQSIM_OUTPUT_DIR = "lqsimOutputDir"; |
| 40 | public static final String SRE_OUTPUT_FILE = "SREOutputDir"; |
| 41 | |
| 42 | public static final String NUMBER_OF_EVALUATED_SYSTEM_STATES_ENABLED = "numberOfEvaluatedSystemStatesEnabled"; |
| 43 | public static final String NUMBER_OF_EVALUATED_SYSTEM_STATES = "numberOfEvaluatedSystemStates"; |
| 44 | |
| 45 | public static final String NUMBER_OF_EXACT_DECIMAL_PLACES_ENABLED = "numberOfExactDecimalPlacesEnabled"; |
| 46 | public static final String NUMBER_OF_EXACT_DECIMAL_PLACES = "numberOfExactDecimalPlaces"; |
| 47 | |
| 48 | public static final String SOLVING_TIME_LIMIT_ENABLED = "solvingTimeLimitEnabled"; |
| 49 | public static final String SOLVING_TIME_LIMIT = "solvingTimeLimit"; |
| 50 | |
| 51 | public static final String LOG_FILE = "logFile"; |
| 52 | |
| 53 | public static final String MARKOV_MODEL_REDUCTION_ENABLED = "markovModelReduction"; // "optimize" option |
| 54 | |
| 55 | public static final String MARKOV_MODEL_TRACES_ENABLED = "markovModelTracesEnabled"; |
| 56 | |
| 57 | public static final String ITERATION_OVER_PHYSICAL_SYSTEM_STATES_ENABLED = "iterationOverPhysicalSystemStatesEnabled"; |
| 58 | |
| 59 | public static final String MARKOV_MODEL_STORAGE_ENABLED = "markovModelStorageEnabled"; |
| 60 | public static final String MARKOV_MODEL_FILE = "markovModelFile"; |
| 61 | |
| 62 | public static final String MARKOV_EVALUATION_MODE = "markovEvaluationMode"; |
| 63 | public static final String INFINITE_TASK_MULTIPLICITY = "infiniteTaskMultiplicity"; |
| 64 | |
| 65 | public static final String SAVE_RESULTS_TO_FILE_ENABLED = "saveResultsToFileEnabled"; |
| 66 | public static final String SAVE_FILE_DEFAULT = "saveFileDefault"; |
| 67 | |
| 68 | } |