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 | ||
| @@ 402-423 (lines=22) @@ | ||
| 399 | ||
| 400 | String val = ""; |
|
| 401 | // check parameter type |
|
| 402 | switch (param.getType()) |
|
| 403 | { |
|
| 404 | case ENUMERATION_PARAMETER_TYPE : |
|
| 405 | { |
|
| 406 | EnumerationParameter ep = (EnumerationParameter) param; |
|
| 407 | // check bounded values |
|
| 408 | for (int index = 0; index < ep.getValues().length; index++) { |
|
| 409 | if (index > 0) { |
|
| 410 | val += "_"; |
|
| 411 | } |
|
| 412 | ||
| 413 | val += ep.getValues()[index]; |
|
| 414 | } |
|
| 415 | } |
|
| 416 | break; |
|
| 417 | ||
| 418 | case NUMERIC_PARAMETER_TYPE : |
|
| 419 | { |
|
| 420 | NumericParameter np = (NumericParameter) param; |
|
| 421 | val += np.getLowerBound() + "_" + np.getUpperBound(); |
|
| 422 | } |
|
| 423 | break; |
|
| 424 | } |
|
| 425 | ||
| 426 | // update grounded predicate |
|
