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

aspect programParsing {
  public static Binder Binder.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseBinder();
  }
  public static Binder Binder.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Binder Binder.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Clause Clause.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseClause();
  }
  public static Clause Clause.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Clause Clause.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Atom Atom.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseAtom();
  }
  public static Atom Atom.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Atom Atom.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Term Term.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseTerm();
  }
  public static Term Term.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Term Term.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Constant Constant.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseConstant();
  }
  public static Constant Constant.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Constant Constant.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static IdentConstant IdentConstant.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseIdentConstant();
  }
  public static IdentConstant IdentConstant.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static IdentConstant IdentConstant.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static StringConstant StringConstant.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseStringConstant();
  }
  public static StringConstant StringConstant.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static StringConstant StringConstant.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Variable Variable.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseVariable();
  }
  public static Variable Variable.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Variable Variable.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static VariableName VariableName.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseVariableName();
  }
  public static VariableName VariableName.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static VariableName VariableName.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static UIdent UIdent.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseUIdent();
  }
  public static UIdent UIdent.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static UIdent UIdent.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Clause_List Clause_List.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseClause_List();
  }
  public static Clause_List Clause_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 Clause_List Clause_List.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Atom_CList Atom_CList.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseAtom_CList();
  }
  public static Atom_CList Atom_CList.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Atom_CList Atom_CList.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
  public static Term_PCList Term_PCList.parse(java.io.Reader in)
    throws antlr.ANTLRException
  {
    return new programParser(new programLexer(in)).parseTerm_PCList();
  }
  public static Term_PCList Term_PCList.parse(java.io.File in)
    throws antlr.ANTLRException, java.io.FileNotFoundException
  {
    return parse(new java.io.BufferedReader(new java.io.FileReader(in)));
  }
  public static Term_PCList Term_PCList.parse(String in) {
    try {
      return parse(new java.io.StringReader(in));
    } catch (antlr.ANTLRException e) {
      throw new RuntimeException(e);
    }
  }
}