From 6b189adc6df242a5ff833b6caeb73a1065d7ce44 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Tue, 17 Dec 2019 18:05:41 +0100
Subject: [PATCH] make CfgExit relational NTA (without backlink so far)
---
reusablecfg/src/main/jastadd/SimpleCFG.jrag | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/reusablecfg/src/main/jastadd/SimpleCFG.jrag b/reusablecfg/src/main/jastadd/SimpleCFG.jrag
index ab68075..33495b2 100644
--- a/reusablecfg/src/main/jastadd/SimpleCFG.jrag
+++ b/reusablecfg/src/main/jastadd/SimpleCFG.jrag
@@ -120,7 +120,7 @@ aspect SimpleCFG {
/**
* The exit node in a filtered CFG.
*/
- syn nta CfgExit BodyDecl.exit() = new CfgExit();
+ syn lazy CfgExit BodyDecl.exit() = new CfgExit();
eq Block.entry() {
if (getNumStmt() > 0) {
@@ -678,7 +678,7 @@ aspect SimpleCFG {
eq BlockLambdaBody.entry() = new CfgEntry(getBlock().entry());
eq ExprLambdaBody.entry() = new CfgEntry(getExpr().entry());
- syn nta CfgExit LambdaBody.exit() = new CfgExit();
+ syn lazy CfgExit LambdaBody.exit() = new CfgExit();
eq BlockLambdaBody.getBlock().follow() = exit();
eq ExprLambdaBody.getExpr().follow() = exit();
--
GitLab