Interface AssumesNode

All Superinterfaces:
ASTNode, ContractNode

public interface AssumesNode extends ContractNode
This represents an ACSL assumes clause, which has the following syntax:
 assumes predicate;
  • Method Details

    • getPredicate

      ExpressionNode getPredicate()
      returns the predicate of this assumes clause.
    • copy

      AssumesNode 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
      Specified by:
      copy in interface ContractNode
      deep copy of this node