Interface AnyactNode

All Superinterfaces:
ASTNode, DependsEventNode

public interface AnyactNode extends DependsEventNode
This represents ACSL-CIVLC \anyact action to be used in depends contract clauses.
  • Method Details

    • copy

      AnyactNode 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 DependsEventNode
      Returns:
      deep copy of this node