private String name;
public final Code transition;
public final Code preCondition;
- public final Code sideEffect;
public final Code postCondition;
public final Code print;
this.name = null;
this.transition = new Code();
this.preCondition = new Code();
- this.sideEffect = new Code();
this.postCondition = new Code();
this.print = new Code();
this.transition.addLines(primitive.contents);
} else if (name.equals(SpecNaming.PreCondition)) {
this.preCondition.addLines(primitive.contents);
- } else if (name.equals(SpecNaming.SideEffect)) {
- this.sideEffect.addLines(primitive.contents);
} else if (name.equals(SpecNaming.PostCondition)) {
this.postCondition.addLines(primitive.contents);
} else if (name.equals(SpecNaming.PrintValue)) {
sb.append("@Transition:\n" + transition);
if (!preCondition.isEmpty())
sb.append("@PreCondition:\n" + preCondition);
- if (!sideEffect.isEmpty())
- sb.append("@SideEffect:\n" + sideEffect);
if (!postCondition.isEmpty())
sb.append("@PostCondition:\n" + postCondition);
if (!print.isEmpty())