SDA SE Wiki

Represents a java source file (eAST compilation unit).
A location in the enclosing project is specified in a projectlocationt fact.
#id:
the unique ID assigned to this fact.

#package:
packaget, null
ID of the package declaration of this compilation unit.

'filename':
path to this file relative to the eclipse workspace including project name and source folders, e.g. /Project/src/pckg/filename.ext

[#def_1,…]:
importt, classdeft
list of IDs for other facts representing the top-level type declarations nodes.

E. g.:
fileT(0, 34, L:\org\cs3\pl\astvisitor\codetest1.java', [45,57])).

class MyException extends Exception {
	public MyException(String string) {
		System.out.println(string);
	}
}

fileT(#id, 'null', '/ForJT/src/MyException.java', [#def_1]).
classDefT(#def_1, 'null', 'MyException', ...).