pstlab /
PLATINUm
| @@ 65-87 (lines=23) @@ | ||
| 62 | { |
|
| 63 | sign += "-"; |
|
| 64 | // check parameter type |
|
| 65 | switch (param.getType()) |
|
| 66 | { |
|
| 67 | case ENUMERATION_PARAMETER_TYPE : { |
|
| 68 | // get parameter |
|
| 69 | EnumerationParameter ep = (EnumerationParameter) param; |
|
| 70 | // get allowed values |
|
| 71 | for (int index = 0; index < ep.getValues().length; index++) { |
|
| 72 | // get value |
|
| 73 | String val = ep.getValues()[index]; |
|
| 74 | sign += val; |
|
| 75 | if (index < ep.getValues().length - 1) { |
|
| 76 | sign += "_"; |
|
| 77 | } |
|
| 78 | } |
|
| 79 | } |
|
| 80 | break; |
|
| 81 | ||
| 82 | case NUMERIC_PARAMETER_TYPE : { |
|
| 83 | // get parameter |
|
| 84 | NumericParameter np = (NumericParameter) param; |
|
| 85 | sign += np.getLowerBound() + "_" + np.getUpperBound(); |
|
| 86 | } |
|
| 87 | break; |
|
| 88 | } |
|
| 89 | } |
|
| 90 | ||
| @@ 419-440 (lines=22) @@ | ||
| 416 | ||
| 417 | String val = ""; |
|
| 418 | // check parameter type |
|
| 419 | switch (param.getType()) |
|
| 420 | { |
|
| 421 | case ENUMERATION_PARAMETER_TYPE : |
|
| 422 | { |
|
| 423 | EnumerationParameter ep = (EnumerationParameter) param; |
|
| 424 | // check bounded values |
|
| 425 | for (int index = 0; index < ep.getValues().length; index++) { |
|
| 426 | if (index > 0) { |
|
| 427 | val += "_"; |
|
| 428 | } |
|
| 429 | ||
| 430 | val += ep.getValues()[index]; |
|
| 431 | } |
|
| 432 | } |
|
| 433 | break; |
|
| 434 | ||
| 435 | case NUMERIC_PARAMETER_TYPE : |
|
| 436 | { |
|
| 437 | NumericParameter np = (NumericParameter) param; |
|
| 438 | val += np.getLowerBound() + "_" + np.getUpperBound(); |
|
| 439 | } |
|
| 440 | break; |
|
| 441 | } |
|
| 442 | ||
| 443 | // update grounded predicate |
|
