    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