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;
  • Method Details

    • isAllocates

      boolean isAllocates()
      Is this node an allocates clause?
      Returns:
    • isFrees

      boolean isFrees()
      Is this node a frees clause?
      Returns:
    • memoryList

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