Interface InvariantNode

All Superinterfaces:
ASTNode, ContractNode

public interface InvariantNode extends ContractNode
  • Method Details

    • getExpression

      ExpressionNode getExpression()
      Returns the expression of this invariant
      Returns:
    • isLoopInvariant

      boolean isLoopInvariant()
      is this a loop invariant?
      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