de.upb.hni.vmagic.statement
Class SequentialStatementVisitor

java.lang.Object
  extended by de.upb.hni.vmagic.statement.SequentialStatementVisitor

public class SequentialStatementVisitor
extends java.lang.Object

Sequential statement visitor. The sequential statement visitor visits all statements in a hierarchy of statements. To use this class you need to subclass it and override the visit...() methods you want to handle. If you override the vist methods for loops, case- or if-statments you need to call super.visit...(statement) to visit the child statements.


Constructor Summary
SequentialStatementVisitor()
           
 
Method Summary
 void visit(java.util.List<? extends SequentialStatement> statements)
          Visits a list of sequential statements.
 void visit(SequentialStatement statement)
          Visits a sequential statement.
protected  void visitAssertionStatement(AssertionStatement statement)
          Visits a assertion statement.
protected  void visitCaseStatement(CaseStatement statement)
          Visits a case statement.
protected  void visitCaseStatementAlternative(CaseStatement.Alternative alternative)
          Visits an alternative of a case statement.
protected  void visitExitStatement(ExitStatement statement)
          Visits an exit statment.
protected  void visitForStatement(ForStatement statement)
          Visits a for statement.
protected  void visitIfStatement(IfStatement statement)
          Visits a if statement.
protected  void visitIfStatementElsifPart(IfStatement.ElsifPart part)
          Visits the elsif part of a if statement.
protected  void visitLoopStatement(LoopStatement statement)
          Visits a loop statement.
protected  void visitNextStatement(NextStatement statement)
          Visits a next statement.
protected  void visitNullStatement(NullStatement statement)
          Visits a null statement.
protected  void visitProcedureCall(ProcedureCall statement)
          Visits a procedure call statement.
protected  void visitReportStatement(ReportStatement statement)
          Visits a report statement.
protected  void visitReturnStatement(ReturnStatement statement)
          Visits a return statement.
protected  void visitSignalAssignment(SignalAssignment statement)
          Visits a signal assignment statement.
protected  void visitVariableAssignment(VariableAssignment statement)
          Visits a variable assignment statement.
protected  void visitWaitStatement(WaitStatement statement)
          Visits a wait statement.
protected  void visitWhileStatement(WhileStatement statement)
          Visits a while statement.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SequentialStatementVisitor

public SequentialStatementVisitor()
Method Detail

visit

public void visit(SequentialStatement statement)
Visits a sequential statement. No visit method is called when the parameter is null.

Parameters:
statement - the statement

visit

public void visit(java.util.List<? extends SequentialStatement> statements)
Visits a list of sequential statements. null items in the list are ignored. The list parameter must not be null.

Parameters:
statements - the list of statements

visitAssertionStatement

protected void visitAssertionStatement(AssertionStatement statement)
Visits a assertion statement.

Parameters:
statement - the statement

visitCaseStatement

protected void visitCaseStatement(CaseStatement statement)
Visits a case statement.

Parameters:
statement - the statement

visitCaseStatementAlternative

protected void visitCaseStatementAlternative(CaseStatement.Alternative alternative)
Visits an alternative of a case statement.

Parameters:
alternative - the alternative

visitExitStatement

protected void visitExitStatement(ExitStatement statement)
Visits an exit statment.

Parameters:
statement - the statement

visitForStatement

protected void visitForStatement(ForStatement statement)
Visits a for statement.

Parameters:
statement - the statement

visitIfStatement

protected void visitIfStatement(IfStatement statement)
Visits a if statement.

Parameters:
statement - the statement

visitIfStatementElsifPart

protected void visitIfStatementElsifPart(IfStatement.ElsifPart part)
Visits the elsif part of a if statement.

Parameters:
part - the elsif part

visitLoopStatement

protected void visitLoopStatement(LoopStatement statement)
Visits a loop statement.

Parameters:
statement - the statement

visitNextStatement

protected void visitNextStatement(NextStatement statement)
Visits a next statement.

Parameters:
statement - the statement

visitNullStatement

protected void visitNullStatement(NullStatement statement)
Visits a null statement.

Parameters:
statement - the statement

visitProcedureCall

protected void visitProcedureCall(ProcedureCall statement)
Visits a procedure call statement.

Parameters:
statement - the statement

visitReportStatement

protected void visitReportStatement(ReportStatement statement)
Visits a report statement.

Parameters:
statement - the statement

visitReturnStatement

protected void visitReturnStatement(ReturnStatement statement)
Visits a return statement.

Parameters:
statement - the statement

visitSignalAssignment

protected void visitSignalAssignment(SignalAssignment statement)
Visits a signal assignment statement.

Parameters:
statement - the statement

visitVariableAssignment

protected void visitVariableAssignment(VariableAssignment statement)
Visits a variable assignment statement.

Parameters:
statement - the statement

visitWaitStatement

protected void visitWaitStatement(WaitStatement statement)
Visits a wait statement.

Parameters:
statement - the statement

visitWhileStatement

protected void visitWhileStatement(WhileStatement statement)
Visits a while statement.

Parameters:
statement - the statement