[abc-users] Exception in CheckPackageNames pass

 
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi. Into ABC I stick something like the following "aspect". It holds
a LTL formula that is lateron transformed into sensible code.

package rwth.i2.ltlrv.formulas;
public aspect F1580588821 {
  public F1580588821() {
    initFormula();
  }
  LTL(F(call(void AnnotationTest.bar())));
}

During passes_patterns_and_parents I get the following exception:

Exception in thread "main" polyglot.util.InternalCompilerError:
unhandled exception during compilation
        at abc.main.Main.run(Main.java:569)
        at abc.main.Main.main(Main.java:197)
        at junit.LTLParsingTest.testParsing(LTLParsingTest.java:27)
        at junit.LTLParsingTest.main(LTLParsingTest.java:33)
Caused by: java.lang.StringIndexOutOfBoundsException: String index
out of range: -1
        at java.lang.String.substring(String.java:1768)
        at
abc.aspectj.visit.CheckPackageNames.once(CheckPackageNames.java:65)
        at abc.aspectj.visit.OncePass.run(OncePass.java:46)
        at
polyglot.frontend.AbstractExtensionInfo.runPass(AbstractExtensionInfo.
java:307)
        at
polyglot.frontend.AbstractExtensionInfo.runToPass(AbstractExtensionInf
o.java:227)
        at
polyglot.frontend.AbstractExtensionInfo.runAllPasses(AbstractExtension
Info.java:194)
        at
polyglot.frontend.AbstractExtensionInfo.runToCompletion(AbstractExtens
ionInfo.java:109)
        at polyglot.frontend.Compiler.compile(Compiler.java:95)
        at abc.main.Main.compile(Main.java:719)
        at abc.main.Main.run(Main.java:480)
        ... 3 more

This is my list of passes:

  public List passes(Job job) {

        List<Pass> l = new ArrayList<Pass>();
        l.add(new InitClasses(INIT_CLASSES, this, ts));

        passes_parse_and_clean(l, job);
        //
        passes_patterns_and_parents(l, job); // <-- errror
        passes_precedence_relation(l, job);
        //
        passes_disambiguate_signatures(l, job);
        
        l.add(new GlobalBarrierPass(BARRIER_1, job));

          //transform formulas
        l.add(new VisitorPass(FORMULA_IDS, job, new
FormulaIDExtractionVisitor()));

        l.add(new VisitorPass(FORMULA_CONSTRUCTORS, job, new
FormulaConstructionVisitor()));

        l.add(new GlobalBarrierPass(BARRIER_2, job));
                
        l.add(new PrettyPrintPass(INSPECT_AST,job,new
CodeWriter(System.out,1000),new PrettyPrinter()));
        
        passes_add_members(l, job);
        passes_interface_ITDs(l, job);
        passes_disambiguate_all(l, job);
        passes_fold_and_checkcode(l, job);
        passes_saveAST(l, job);
        passes_mangle_names(l, job);
        passes_aspectj_transforms(l, job);
        passes_jimple(l, job);
        
        return l;
    }

Can anybody tell me why that exception could occur?

Cheers,
Eric

- --
Eric Bodden
RWTH Aachen University
ICQ UIN: 12656220, Skype: ericbodden, PGP: BB465582
Website: http://www.bodden.de

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQh3i2swiFCm7RlWCEQKt1QCeL5IekY//xiasEL3vGAvXPUvJhlkAnify
aHouACKlxwTU/OAjojINuOLN
=UjlB
-----END PGP SIGNATURE-----
Received on Thu Feb 24 14:21:29 2005