// This file was generated by DAJ from program.cd.

aspect programParsing {
  public static ChineseWallPolicyChecker ChineseWallPolicyChecker.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseChineseWallPolicyChecker();
  }
  public static ChineseWallPolicyChecker ChineseWallPolicyChecker.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static ChineseWallPolicyChecker ChineseWallPolicyChecker.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static ChineseWallAutomaton ChineseWallAutomaton.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseChineseWallAutomaton();
  }
  public static ChineseWallAutomaton ChineseWallAutomaton.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static ChineseWallAutomaton ChineseWallAutomaton.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static State State.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseState();
  }
  public static State State.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static State State.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Access Access.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseAccess();
  }
  public static Access Access.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Access Access.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Group Group.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseGroup();
  }
  public static Group Group.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Group Group.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static CIType CIType.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseCIType();
  }
  public static CIType CIType.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static CIType CIType.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Transition Transition.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseTransition();
  }
  public static Transition Transition.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Transition Transition.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static ObjektId ObjektId.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseObjektId();
  }
  public static ObjektId ObjektId.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static ObjektId ObjektId.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static GroupName GroupName.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseGroupName();
  }
  public static GroupName GroupName.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static GroupName GroupName.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static CITypeName CITypeName.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseCITypeName();
  }
  public static CITypeName CITypeName.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static CITypeName CITypeName.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static AutomatonName AutomatonName.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseAutomatonName();
  }
  public static AutomatonName AutomatonName.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static AutomatonName AutomatonName.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static ChineseWallAutomaton_List ChineseWallAutomaton_List.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseChineseWallAutomaton_List();
  }
  public static ChineseWallAutomaton_List ChineseWallAutomaton_List.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static ChineseWallAutomaton_List ChineseWallAutomaton_List.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Transition_List Transition_List.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseTransition_List();
  }
  public static Transition_List Transition_List.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Transition_List Transition_List.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Group_List Group_List.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseGroup_List();
  }
  public static Group_List Group_List.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Group_List Group_List.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static CIType_List CIType_List.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseCIType_List();
  }
  public static CIType_List CIType_List.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static CIType_List CIType_List.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Access_List Access_List.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseAccess_List();
  }
  public static Access_List Access_List.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Access_List Access_List.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
}