Interface ContractNode

All Superinterfaces:
ASTNode
All Known Subinterfaces:
AllocationNode, AssignsOrReadsNode, AssumesNode, BehaviorNode, CompletenessNode, DependsNode, EnsuresNode, GuardsNode, InvariantNode, MPICollectiveBlockNode, PredicateNode, RequiresNode, WaitsforNode

public interface ContractNode extends ASTNode
A contract node represents an element that may occur in a procedure contract. The procedure contract consists of a sequence of contract nodes.
  • Method Details

    • contractKind

      The kind of this contract node.
      Returns:
    • copy

      ContractNode copy()
      Description copied from interface: ASTNode
      Returns a deep copy of this AST node. The node and all of its descendants will be cloned. The cloning does not copy analysis or attribute information.
      Specified by:
      copy in interface ASTNode
      Returns:
      deep copy of this node