diff --git a/trainbenchmark/trainbenchmark-tool-jastadd-base/src/main/jastadd/Helpers.jrag b/trainbenchmark/trainbenchmark-tool-jastadd-base/src/main/jastadd/Helpers.jrag index d8c6010ab7042bbf451dbd34676624adafa99cea..e2f46e0d6d0b4eb147f7d555e12a4f68d099a1ff 100644 --- a/trainbenchmark/trainbenchmark-tool-jastadd-base/src/main/jastadd/Helpers.jrag +++ b/trainbenchmark/trainbenchmark-tool-jastadd-base/src/main/jastadd/Helpers.jrag @@ -1,19 +1,27 @@ aspect Helpers { syn boolean TrackElement.isSwitch(); + uncache Switch.isSwitch(); eq Switch.isSwitch() = true; + uncache Segment.isSwitch(); eq Segment.isSwitch() = false; syn Switch TrackElement.asSwitch(); + uncache Switch.asSwitch(); eq Switch.asSwitch() = this; + uncache Segment.asSwitch(); eq Segment.asSwitch() = null; syn boolean TrackElement.isSegment(); + uncache Switch.isSegment(); eq Switch.isSegment() = false; + uncache Segment.isSegment(); eq Segment.isSegment() = true; syn Segment TrackElement.asSegment(); + uncache Switch.asSegment(); eq Switch.asSegment() = null; + uncache Segment.asSegment(); eq Segment.asSegment() = this; inh Region TrackElement.containingRegion();