DeclNames.jrag 454 Bytes
Newer Older
1
aspect DeclNames {
2
	inh String DataType.declName();
3
	eq Decl.getTypeInstance().declName() = getName();
4
5
6

	inh String Field.declName();
	eq StructType.getField(int i).declName() = declName();
7

8
9
        //TODO: aspect should be renamed to parent-something

10
        inh Decl DataType.parentDecl();
11
        inh Decl Field.parentDecl();
12
        eq Decl.getTypeInstance().parentDecl() = this;
13
        eq StructType.getField(int i).parentDecl() = parentDecl();
14
}