Uses of Class
de.upb.hni.vmagic.concurrent.EntityStatement

Packages that use EntityStatement
de.upb.hni.vmagic.concurrent Contains concurrent statement meta classes. 
de.upb.hni.vmagic.highlevel Contains high level meta classes. 
de.upb.hni.vmagic.libraryunit Contains library unit meta classes. 
 

Uses of EntityStatement in de.upb.hni.vmagic.concurrent
 

Subclasses of EntityStatement in de.upb.hni.vmagic.concurrent
 class AbstractProcessStatement
          Abstract base class for process statements.
 class ConcurrentAssertionStatement
          Concurrent assertion statement.
 class ConcurrentProcedureCall
          Concurrent procedure call statement.
 class ProcessStatement
          Process statement.
 

Uses of EntityStatement in de.upb.hni.vmagic.highlevel
 

Subclasses of EntityStatement in de.upb.hni.vmagic.highlevel
 class Register
          Register.
 class RegisterGroup
          Group of registers.
 

Uses of EntityStatement in de.upb.hni.vmagic.libraryunit
 

Methods in de.upb.hni.vmagic.libraryunit that return types with arguments of type EntityStatement
 java.util.List<EntityStatement> Entity.getStatements()
          Returns the list of statements in this entity.