Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.MemoryEventNode.MemoryEventNodeKind

Packages that use MemoryEventNode.MemoryEventNodeKind

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 MemoryEventNode.MemoryEventNodeKind in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF with parameters of type MemoryEventNode.MemoryEventNodeKind

Modifier and Type	Method	Description
MemoryEventNode	NodeFactory.newMemoryEventNode(Source source, MemoryEventNode.MemoryEventNodeKind kind, SequenceNode<ExpressionNode> memoryList)	creates a new memory event node, which could be either \read , write or reach.

Uses of MemoryEventNode.MemoryEventNodeKind in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return MemoryEventNode.MemoryEventNodeKind

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