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    }