Interface NothingNode

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

public interface NothingNode extends ExpressionNode
Constant $nothing, argument of $assigns / $reads contract clauses.