001 package escjava; 002 import java.util.ArrayList; 003 import javafe.ast.ModifierPragma; 004 import javafe.ast.ModifierPragmaVec; 005 006 public class ParsedRoutineSpecs { 007 008 public ModifierPragma initialAlso = null; // null if none 009 public ArrayList specs = new ArrayList(5); 010 public ArrayList impliesThat = new ArrayList(1); 011 public ArrayList examples = new ArrayList(1); 012 public ModifierPragmaVec modifiers = ModifierPragmaVec.make(); 013 014 } 015