diff --git a/trainbenchmark-tool-jastadd-specialized-incremental/src/main/jastadd/intrinsics/nt-ref-list.jadd b/trainbenchmark-tool-jastadd-specialized-incremental/src/main/jastadd/intrinsics/nt-ref-list.jadd index 94f2aa440dda95e9c0843512c8984b76bcc02b17..64457b5bd8ba8413dd04f9b0926d704a1bc9acd8 100644 --- a/trainbenchmark-tool-jastadd-specialized-incremental/src/main/jastadd/intrinsics/nt-ref-list.jadd +++ b/trainbenchmark-tool-jastadd-specialized-incremental/src/main/jastadd/intrinsics/nt-ref-list.jadd @@ -182,4 +182,15 @@ aspect NTList { public boolean RefList.isEmpty() { return numChildren() == 0; } + + + refine ASTNode public void RefList.inc_throwAway() { + if (inc_throwAway_visited) { + return; + } + inc_throwAway_visited = true; + inc_state = inc_GARBAGE; + // super.inc_throwAway(); + inc_throwAway_visited = false; + } }