Skip to content
Snippets Groups Projects
Commit 6b189adc authored by Johannes Mey's avatar Johannes Mey
Browse files

make CfgExit relational NTA (without backlink so far)

parent c541ef61
No related branches found
No related tags found
No related merge requests found
...@@ -120,7 +120,7 @@ aspect SimpleCFG { ...@@ -120,7 +120,7 @@ aspect SimpleCFG {
/** /**
* The exit node in a filtered CFG. * The exit node in a filtered CFG.
*/ */
syn nta CfgExit BodyDecl.exit() = new CfgExit(); syn lazy CfgExit BodyDecl.exit() = new CfgExit();
eq Block.entry() { eq Block.entry() {
if (getNumStmt() > 0) { if (getNumStmt() > 0) {
...@@ -678,7 +678,7 @@ aspect SimpleCFG { ...@@ -678,7 +678,7 @@ aspect SimpleCFG {
eq BlockLambdaBody.entry() = new CfgEntry(getBlock().entry()); eq BlockLambdaBody.entry() = new CfgEntry(getBlock().entry());
eq ExprLambdaBody.entry() = new CfgEntry(getExpr().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 BlockLambdaBody.getBlock().follow() = exit();
eq ExprLambdaBody.getExpr().follow() = exit(); eq ExprLambdaBody.getExpr().follow() = exit();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment