775776777778779780781
@Override public Datatype visit(ASTDatatype node, Object data) throws VisitorException { return new Datatype((ValueExpr)super.visit(node, data)); }
758759760761762763764
@Override public Datatype visit(ASTDatatype node, Object data) throws VisitorException { ValueExpr arg = (ValueExpr)node.jjtGetChild(0).jjtAccept(this, null); return new Datatype(arg); }
780781782783784785786
760761762763764765766