|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |