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