imop.lib.cfg

Class CFGGenerator

java.lang.Object

imop.baseVisitor.DepthFirstVisitor

imop.lib.cfg.CFGGenerator

All Implemented Interfaces:

Visitor

public class CFGGenerator
extends DepthFirstVisitor

Populates getParent, getSuccBlock, getPredBlock and getNestedCFG entries.

Constructor Summary

Constructors

Constructor and Description
CFGGenerator()

Method Summary

Modifier and Type	Method and Description
static void	connect(Node pred, Node succ) This method creates forward and backward links between the given pair of nodes.
void	visit(AtomicConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= ( AtomicClause() )? f3 ::= OmpEol() f4 ::= Statement()
void	visit(BreakStatement n) f0 ::= f1 ::= ";" CFG Type: LEAF
void	visit(CallStatement n)
void	visit(CompoundStatement n) f0 ::= "{" f1 ::= ( CompoundStatementElement() )* f2 ::= "}"
void	visit(ContinueStatement n) f0 ::= f1 ::= ";" CFG Type: LEAF
void	visit(CriticalConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= ( RegionPhrase() )? f3 ::= OmpEol() f4 ::= Statement()
void	visit(DoStatement n) f0 ::= f1 ::= Statement() f2 ::= f3 ::= "(" f4 ::= Expression() f5 ::= ")" f6 ::= ";"
void	visit(ForConstruct n) f0 ::= OmpPragma() f1 ::= ForDirective() f2 ::= OmpForHeader() f3 ::= Statement()
void	visit(ForStatement n) f0 ::= f1 ::= "(" f2 ::= ( Expression() )? f3 ::= ";" f4 ::= ( Expression() )? f5 ::= ";" f6 ::= ( Expression() )? f7 ::= ")" f8 ::= Statement()
void	visit(FunctionDefinition n) f0 ::= ( DeclarationSpecifiers() )? f1 ::= Declarator() f2 ::= ( DeclarationList() )? f3 ::= CompoundStatement()
void	visit(GotoStatement n) f0 ::= f1 ::= f2 ::= ";" CFG Type: LEAF
void	visit(IfStatement n) f0 ::= f1 ::= "(" f2 ::= Expression() f3 ::= ")" f4 ::= Statement() f5 ::= ( Statement() )?
void	visit(MasterConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= OmpEol() f3 ::= Statement()
void	visit(OrderedConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= OmpEol() f3 ::= Statement()
void	visit(ParallelConstruct n) f0 ::= OmpPragma() f1 ::= ParallelDirective() f2 ::= Statement()
void	visit(ParallelForConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= f3 ::= UniqueParallelOrUniqueForOrDataClauseList() f4 ::= OmpEol() f5 ::= OmpForHeader() f6 ::= Statement()
void	visit(ParallelSectionsConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= f3 ::= UniqueParallelOrDataClauseList() f4 ::= OmpEol() f5 ::= SectionsScope()
void	visit(ReturnStatement n) f0 ::= f1 ::= ( Expression() )? f2 ::= ";"
void	visit(SectionsConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= NowaitDataClauseList() f3 ::= OmpEol() f4 ::= SectionsScope()
void	visit(SingleConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= SingleClauseList() f3 ::= OmpEol() f4 ::= Statement()
void	visit(SwitchStatement n) f0 ::= f1 ::= "(" f2 ::= Expression() f3 ::= ")" f4 ::= Statement()
void	visit(TaskConstruct n) f0 ::= OmpPragma() f1 ::= f2 ::= ( TaskClauseList() )* f3 ::= OmpEol() f4 ::= Statement()
void	visit(WhileStatement n) f0 ::= f1 ::= "(" f2 ::= Expression() f3 ::= ")" f4 ::= Statement()

Methods inherited from class imop.baseVisitor.DepthFirstVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CFGGenerator

public CFGGenerator()

Method Detail

connect

public static void connect(Node pred,
                           Node succ)

This method creates forward and backward links between the given pair of nodes.

Parameters:

pred - the predecessor node.

succ - the successor node.

visit

public void visit(FunctionDefinition n)

f0 ::= ( DeclarationSpecifiers() )? f1 ::= Declarator() f2 ::= ( DeclarationList() )? f3 ::= CompoundStatement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ParallelConstruct n)

f0 ::= OmpPragma() f1 ::= ParallelDirective() f2 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ForConstruct n)

f0 ::= OmpPragma() f1 ::= ForDirective() f2 ::= OmpForHeader() f3 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(SectionsConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= NowaitDataClauseList() f3 ::= OmpEol() f4 ::= SectionsScope()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(SingleConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= SingleClauseList() f3 ::= OmpEol() f4 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(TaskConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= ( TaskClauseList() )* f3 ::= OmpEol() f4 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ParallelForConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= f3 ::= UniqueParallelOrUniqueForOrDataClauseList() f4 ::= OmpEol() f5 ::= OmpForHeader() f6 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ParallelSectionsConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= f3 ::= UniqueParallelOrDataClauseList() f4 ::= OmpEol() f5 ::= SectionsScope()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(MasterConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= OmpEol() f3 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(CriticalConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= ( RegionPhrase() )? f3 ::= OmpEol() f4 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(AtomicConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= ( AtomicClause() )? f3 ::= OmpEol() f4 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(OrderedConstruct n)

f0 ::= OmpPragma() f1 ::= f2 ::= OmpEol() f3 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(CompoundStatement n)

f0 ::= "{" f1 ::= ( CompoundStatementElement() )* f2 ::= "}"

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(IfStatement n)

f0 ::= f1 ::= "(" f2 ::= Expression() f3 ::= ")" f4 ::= Statement() f5 ::= ( Statement() )?

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(SwitchStatement n)

f0 ::= f1 ::= "(" f2 ::= Expression() f3 ::= ")" f4 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(WhileStatement n)

f0 ::= f1 ::= "(" f2 ::= Expression() f3 ::= ")" f4 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(DoStatement n)

f0 ::= f1 ::= Statement() f2 ::= f3 ::= "(" f4 ::= Expression() f5 ::= ")" f6 ::= ";"

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ForStatement n)

f0 ::= f1 ::= "(" f2 ::= ( Expression() )? f3 ::= ";" f4 ::= ( Expression() )? f5 ::= ";" f6 ::= ( Expression() )? f7 ::= ")" f8 ::= Statement()

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(CallStatement n)

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(GotoStatement n)

f0 ::= f1 ::= f2 ::= ";" CFG Type: LEAF

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ContinueStatement n)

f0 ::= f1 ::= ";" CFG Type: LEAF

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(BreakStatement n)

f0 ::= f1 ::= ";" CFG Type: LEAF

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor

visit

public void visit(ReturnStatement n)

f0 ::= f1 ::= ( Expression() )? f2 ::= ";"

CFG Type: LEAF

Specified by:

visit in interface Visitor

Overrides:

visit in class DepthFirstVisitor