Module dev.civl.abc

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

Interface AllocationNode

All Superinterfaces:

ASTNode, ContractNode

public interface AllocationNode
extends ContractNode

This represents an ACSL allocation clause, which has the syntax
allocates p1, p2, p3;
or
frees p1, p2, p3;

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.ASTNode

ASTNode.NodeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.node.IF.acsl.ContractNode

ContractNode.ContractKind

Method Summary

Modifier and Type	Method	Description
boolean	isAllocates()	Is this node an allocates clause?
boolean	isFrees()	Is this node a frees clause?
SequenceNode<ExpressionNode>	memoryList()	Returns the list of memory units associated with this allocation clause.

Methods inherited from interface dev.civl.abc.ast.node.IF.ASTNode

addAllTransformAnnotations, addTransformAnnotation, child, childIndex, children, diff, equiv, getAttribute, getOwner, getScope, getSource, id, keepOnly, nextDFS, nodeKind, numChildren, parent, prettyPrint, prettyRepresentation, prettyRepresentation, print, remove, removeChild, removeTransformAnnotation, setAttribute, setChild, setId, setOwner, setScope, toString, transformAnnotations

Methods inherited from interface dev.civl.abc.ast.node.IF.acsl.ContractNode

contractKind, copy

Method Details

isAllocates

boolean isAllocates()

Is this node an allocates clause?

Returns:

isFrees

boolean isFrees()

Is this node a frees clause?

Returns:

memoryList

SequenceNode<ExpressionNode> memoryList()

Returns the list of memory units associated with this allocation clause.

Returns: