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