private void parsePipeTransition(
MID mid,
PrTPanel prtNet,
PipeTransition pipeTransition,
ArrayList<Predicate> globalPredicates)
throws ParseException {
String transitionSignature = pipeTransition.getName();
Transition istaTransition = null;
Predicate signaturePredicate = null;
try {
signaturePredicate = MIDParser.parseTransitionSignatureString(transitionSignature);
istaTransition = new Transition(signaturePredicate.getName());
istaTransition.setArguments(signaturePredicate.getArguments());
} catch (Exception e) {
throw new ParseException(e.toString());
}
ArrayList<Predicate> precondition = getPrecondition(pipeTransition);
ArrayList<Predicate> postcondition = getPostcondition(pipeTransition);
if (globalPredicates.size() > 0) {
for (int index = globalPredicates.size() - 1; index >= 0; index--) {
Predicate global = globalPredicates.get(index);
precondition.add(0, global);
postcondition.add(0, global);
}
}
istaTransition.setPrecondition(precondition);
istaTransition.setPostcondition(postcondition);
try {
String whenString = pipeTransition.getGuard().trim();
if (whenString != null && !whenString.equals("")) {
MIDParser.parseWhenCondition(istaTransition, whenString);
}
} catch (Exception e) {
throw new ParseException(
modelNameMessage(prtNet)
+ transitionSignature
+ " "
+ LocaleBundle.bundleString("Guard condition")
+ ":"
+ e.toString());
}
MIDParser.checkTransitionArguments(
transitionSignature,
signaturePredicate.getArguments(),
precondition,
istaTransition.getWhenCondition());
MIDParser.checkWhenConditionVariables(precondition, istaTransition.getWhenCondition());
try {
String effectString = pipeTransition.getEffect().trim();
ArrayList<Predicate> effect = MIDParser.parseConditionString(effectString);
istaTransition.setEffect(effect);
} catch (Exception e) {
throw new ParseException(
modelNameMessage(prtNet)
+ transitionSignature
+ " "
+ LocaleBundle.bundleString("Effect")
+ ": "
+ e.toString());
}
istaTransition.collectAllVariables();
MIDParser.checkPostconditionVariables(istaTransition);
istaTransition.setId(pipeTransition.getId());
mid.addTransition(istaTransition);
mid.putPipeTransition(istaTransition, pipeTransition);
}
