/** Traverse this node with the given visitor. */ public void visit(ParseTreeVisitor visitor) throws IllegalActionException { visitor.visitUnaryNode(this); }