anchor.diff:   *
    *
    * $Log$
  + * Revision 1.15  2003/02/20 23:17:41  weilyn
  + * Fixed parsing of assertions and options in prove term
  + *
    * Revision 1.14  2003/02/18 18:10:14  weilyn
    * Added support for imports.
    *
  
positive.code: 
  private formalOpParameters returns[String[] params]
  {
      params = null;
      String param = null;
      List paramList = null;
  
negative.code: private importDeclaration returns[ElementFactory.Item importItem]
  {
      importItem = null;
      ElementFactory.Item term = null;
      //String strURI = null;
  }
      : begin:"import"
        term=scTerm[null]     {if (term != null) {
                                  importItem = builder.createImport(term.getClass().getName());
                                  ParserUtil.setBounds(builder, importItem, begin, LT(0));
                               }
                              }
        /*strURI=fullURIPath    {importItem = builder.createImport(strURI);
                               ParserUtil.setBounds(builder, importItem, begin, LT(0));
                              }*/
      ;
  
  //---------------------------------------------------------------------------
  