Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.MPIContractConstantNode.MPIConstantKind

Packages that use MPIContractConstantNode.MPIConstantKind

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl

Uses of MPIContractConstantNode.MPIConstantKind in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF with parameters of type MPIContractConstantNode.MPIConstantKind

Modifier and Type	Method	Description
MPIContractConstantNode	NodeFactory.newMPIConstantNode(Source source, String stringRepresetation, MPIContractConstantNode.MPIConstantKind kind, ConstantNode.ConstantKind constKind)	Creates a new MPI constant node

Uses of MPIContractConstantNode.MPIConstantKind in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return MPIContractConstantNode.MPIConstantKind

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