RE: [abc-users] InternalCompilerError: Could not find a matching <init>

That's not so strange... restructure looks for such super calls (because
the itd field inits must come after it).

Normally these super calls are put in by the front-end, so we can rely
on them being there. It's strange that they're not put in here.
Are you using a modified front-end, or the standard abc distribution?

-O

On Sat, 14 May 2005, Eric Bodden wrote:

>
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> FYI: I just saw that including an explicit super() call makes the
> error disappear:
>
> public privilegedaspect aspect F2 {
>
> ...
> public F2() {
> super(); //<<<< HERE
> VerificationRuntime.getInstance().registerFormula("F2",
> originalFormula);
> }
> ....
> }
>
> This code works then - strangely.
>
> Eric
>
> - --
> Eric Bodden
> Chair I2 for Programming Languages and Program Analysis
> RWTH Aachen University
>
> -----BEGIN PGP SIGNATURE-----
> Version: PGP 8.0.3
>
> iQA+AwUBQoXypswiFCm7RlWCEQKQ/gCfb3mf9jjwlyPlowkxobFJ0VCYWZYAkgJV
> wAeR6Z7E9ff09kkzqFZ5yco=
> =Lwaz
> -----END PGP SIGNATURE-----
>
>
>
Received on Sat May 14 13:52:21 2005