Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.ContractNode.ContractKind

Packages that use ContractNode.ContractKind

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

Uses of ContractNode.ContractKind in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return ContractNode.ContractKind

Modifier and Type	Method	Description
ContractNode.ContractKind	ContractNode.contractKind()	The kind of this contract node.
static ContractNode.ContractKind	ContractNode.ContractKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ContractNode.ContractKind[]	ContractNode.ContractKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.