Uses of Interface
dev.civl.abc.ast.node.IF.acsl.MemoryEventNode

Packages that use MemoryEventNode

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

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

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

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

Modifier and Type	Method	Description
MemoryEventNode	MemoryEventNode.copy()