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

	inh String Field.declName();
	eq StructType.getField(int i).declName() = declName();
7
8
9
10
11
12
13
    
        //TODO: aspect should be renamed to parent-something

        inh Decl Type.parentDecl();
        inh Decl Field.parentDecl();
        eq Decl.getType().parentDecl() = this;
        eq StructType.getField(int i).parentDecl() = parentDecl();
14
}