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 }