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

Packages that use AllocationNode

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

Uses of AllocationNode in dev.civl.abc.ast.node.IF

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

Modifier and Type	Method	Description
AllocationNode	NodeFactory.newAllocationNode(Source source, boolean isAllocates, SequenceNode<ExpressionNode> memoryList)	Creates a new allocation node, which represents either an allocates or frees clause.