Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.DependsEventNode.DependsEventNodeKind

Packages that use DependsEventNode.DependsEventNodeKind

Package	Description
dev.civl.abc.ast.node.IF.acsl

Uses of DependsEventNode.DependsEventNodeKind in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return DependsEventNode.DependsEventNodeKind

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