de.upb.hni.vmagic.concurrent
Class ConcurrentStatementVisitor

java.lang.Object
  extended by de.upb.hni.vmagic.concurrent.ConcurrentStatementVisitor

public class ConcurrentStatementVisitor
extends java.lang.Object

Concurrent statement visitor. The concurrent 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.


Constructor Summary
ConcurrentStatementVisitor()
           
 
Method Summary
 void visit(ConcurrentStatement statement)
          Visits a concurrent statement.
 void visit(java.util.List<? extends ConcurrentStatement> statements)
          Visits a list of concurrent statements.
protected  void visitArchitectureInstantiation(ArchitectureInstantiation statement)
          Visits an architecture instantiation.
protected  void visitBlockStatement(BlockStatement statement)
          Visits a block statement.
protected  void visitComponentInstantiation(ComponentInstantiation statement)
          Visits a component instantiation.
protected  void visitConcurrentAssertionStatement(ConcurrentAssertionStatement statement)
          Visits a concurrent assertion statement.
protected  void visitConcurrentProcedureCall(ConcurrentProcedureCall statement)
          Visits a concurrent procedure call.
protected  void visitConditionalSignalAssignment(ConditionalSignalAssignment statement)
          Visits a conditional signal assignment.
protected  void visitConfigurationInstantiation(ConfigurationInstantiation statement)
          Visits a configuration instantiation.
protected  void visitEntityInstantiation(EntityInstantiation statement)
          Visits an entity instantiation.
protected  void visitForGenerateStatement(ForGenerateStatement statement)
          Visits a for generate statement.
protected  void visitIfGenerateStatement(IfGenerateStatement statement)
          Visits a if generate statement.
protected  void visitProcessStatement(AbstractProcessStatement statement)
          Visits a process statement.
protected  void visitSelectedSignalAssignment(SelectedSignalAssignment statement)
          Visits a selected signal assignement.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConcurrentStatementVisitor

public ConcurrentStatementVisitor()
Method Detail

visit

public void visit(ConcurrentStatement statement)
Visits a concurrent statement. No visit method is called if the parameter equals null.

Parameters:
statement - the concurrent statement or null

visit

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

Parameters:
statements - the list of concurrent statements

visitProcessStatement

protected void visitProcessStatement(AbstractProcessStatement statement)
Visits a process statement.

Parameters:
statement - the statement

visitForGenerateStatement

protected void visitForGenerateStatement(ForGenerateStatement statement)
Visits a for generate statement.

Parameters:
statement - the statement

visitIfGenerateStatement

protected void visitIfGenerateStatement(IfGenerateStatement statement)
Visits a if generate statement.

Parameters:
statement - the statement

visitConcurrentProcedureCall

protected void visitConcurrentProcedureCall(ConcurrentProcedureCall statement)
Visits a concurrent procedure call.

Parameters:
statement - the statement

visitArchitectureInstantiation

protected void visitArchitectureInstantiation(ArchitectureInstantiation statement)
Visits an architecture instantiation.

Parameters:
statement - the statement

visitComponentInstantiation

protected void visitComponentInstantiation(ComponentInstantiation statement)
Visits a component instantiation.

Parameters:
statement - the statement

visitConfigurationInstantiation

protected void visitConfigurationInstantiation(ConfigurationInstantiation statement)
Visits a configuration instantiation.

Parameters:
statement - the statement

visitEntityInstantiation

protected void visitEntityInstantiation(EntityInstantiation statement)
Visits an entity instantiation.

Parameters:
statement - the statement

visitBlockStatement

protected void visitBlockStatement(BlockStatement statement)
Visits a block statement.

Parameters:
statement - the statement

visitConcurrentAssertionStatement

protected void visitConcurrentAssertionStatement(ConcurrentAssertionStatement statement)
Visits a concurrent assertion statement.

Parameters:
statement - the statement

visitConditionalSignalAssignment

protected void visitConditionalSignalAssignment(ConditionalSignalAssignment statement)
Visits a conditional signal assignment.

Parameters:
statement - the statement

visitSelectedSignalAssignment

protected void visitSelectedSignalAssignment(SelectedSignalAssignment statement)
Visits a selected signal assignement.

Parameters:
statement - the statement