From c4c454485f87050e95b7e59759b1805241303c8f Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Mon, 18 Mar 2019 19:00:44 +0100 Subject: [PATCH] uncache some very basic attributes --- .../src/main/jastadd/Helpers.jrag | 8 ++++++++ 1 file changed, 8 insertions(+) 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 d8c6010ab..e2f46e0d6 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(); -- GitLab