Uses of Enum Class
dev.civl.mc.model.IF.contract.DependsEvent.DependsEventKind

Packages that use DependsEvent.DependsEventKind

Package	Description
dev.civl.mc.model.IF.contract

Uses of DependsEvent.DependsEventKind in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return DependsEvent.DependsEventKind

Modifier and Type	Method	Description
DependsEvent.DependsEventKind	DependsEvent.dependsEventKind()	Returns the kind of this event.
static DependsEvent.DependsEventKind	DependsEvent.DependsEventKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static DependsEvent.DependsEventKind[]	DependsEvent.DependsEventKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in dev.civl.mc.model.IF.contract with parameters of type DependsEvent.DependsEventKind

Modifier and Type	Method	Description
MemoryEvent	ContractFactory.newMemoryEvent(CIVLSource source, DependsEvent.DependsEventKind kind, Set<Expression> memoryUnits)	Creates a new instance of memory event of the given kind.