Interface ResultNode

All Superinterfaces:
ASTNode, ExpressionNode, ForLoopInitializerNode, InitializerNode, SizeableNode

public interface ResultNode extends ExpressionNode
Represents the CIVL-C built-in variable $result, which represents the value returned by a function. It is used in a post-condition of a procedure contract.