-----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:44:33 2005
This archive was generated by hypermail 2.1.8 : Sat May 14 2005 - 14:00:05 BST