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

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

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

Methods in de.upb.hni.vmagic.statement with parameters of type AssertionStatement
protected  void SequentialStatementVisitor.visitAssertionStatement(AssertionStatement statement)
          Visits a assertion statement.