Uses of Class
de.upb.hni.vmagic.statement.WaitStatement

Packages that use WaitStatement
de.upb.hni.vmagic.statement Contains sequential statement meta classes. 
 

Uses of WaitStatement in de.upb.hni.vmagic.statement
 

Methods in de.upb.hni.vmagic.statement with parameters of type WaitStatement
protected  void SequentialStatementVisitor.visitWaitStatement(WaitStatement statement)
          Visits a wait statement.