Interface CompletenessNode

All Superinterfaces:
ASTNode, ContractNode

public interface CompletenessNode extends ContractNode
This represents the completeness clause of ACSL, which could be either complete or disjoint
 complete behaviors (id0, id1, ...)?
 
or *
 disjoint behaviors (id0, id1, ...)?
 
  • Method Details

    • getIDList

      The list of behavior IDs associates with this completeness clause.
      Returns:
    • 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
      Returns:
      deep copy of this node
    • isDisjoint

      boolean isDisjoint()
      Is this a disjoint clause?
      Returns:
    • isComplete

      boolean isComplete()
      Is this a complete clause?
      Returns: