    001    package escjava.parser;
    002
    003    import javafe.ast.*;
    004
    005    public class OldVarDecl extends javafe.ast.LocalVarDecl {
    006
    007
    008        public static OldVarDecl make(/*@ non_null */ Identifier id,
    009                            /*@ non_null */ Type type,
    010                            int locId,
    011                            /*@ non_null */ VarInit init,
    012                            int locAssignOp
    013                            ) {
    014            OldVarDecl result = new OldVarDecl();
    015            result.modifiers = Modifiers.NONE;
    016            result.pmodifiers = null;
    017            result.id = id;
    018            result.type = type;
    019            result.locId = locId;
    020            result.init = init;
    021            result.locAssignOp = locAssignOp;
    022            return result;
    023        }
    024
    025    }