For each AST node type there is a separate Program Element Fact (PEF) type. This page lists all the PEF types. The structure and semantics of each PEF type is described in detail on a separate page, linked below.

See also the Language-independent PEF Specification.

• packageT(#id, 'fullname')
• compilationUnitT(#id, #package, #fileS, [#import_1, ...], [#def_1, ...] ) ← Added/changed in JT 2.6 Formerly fileT – See notes on upgradeinstructions
• importT(#id, #parent, #import)

• classT(#id, #parent, 'name', [#def_1,...]) ← Renamed in JT 2.8 Up to 2.8.0 it was defined as classDefT ← Changed in JT 2.6 Now 'owner' referst to a compilationUnitT instead of a packageT. See notes on upgradeinstructions
• methodT(#id, #class, 'name', [#param_1,...], TYPE, [#exception_1,...], #body) ← Changed in JT 2.8 Up to 2.8.0 it was part of methodDefT
• constructorT(#id, #classT, [#param_1,...], [#exception_1,...], #body) ← Added in JT 2.8 Up to 2.8.0 it was part of methodDefT
• classInitializerT(#id, #classT,#body) ← Added in JT 2.8 Up to 2.8.0 it was part of methodDefT
• enumconstantT ← Java 5 Syntax Element - supported since JTransformer 2.3.
• fieldT(#id, #class, TYPE, 'name', #init) ← Renamed in JT 2.8 Up to 2.8.0 it was defined as fieldDefT
• paramT(#id, #parent, TYPE, 'name') ← Renamed in JT 2.8 Up to 2.8.0 it was defined as paramDefT
• typeParamT(#id, #parent, 'name', 'kind', [#bound1, ...]) ← Java 5 Syntax Element - supported since JTransformer 2.3.

• annotationT(#id, #parent, #encl, #annotationType, [#keyValue_1,..] ) ← Java 5 Syntax Element - supported since JTransformer 2.3.
• memberValueT(#id, #parent, #annotationMember, #valueLiteral) ← Java 5 Syntax Element - supported since JTransformer 2.3.
• annotationMemberT(#id,#parent,TYPE, 'name', #default) ← Java 5 Syntax Element - supported since JTransformer 2.3.
• annotatedT(#annotated, #annotation) ← Java 5 Syntax Element - supported since JTransformer 2.3.
• commentT(#id, #parent, 'type')

• interfaceT(#class)
• externT(#id)
• enumT(#class) ← Java 5 Syntax Element - supported since JTransformer 2.3
• annotationTypeT(#id) ← Java 5 Syntax Element - supported since JTransformer 2.3
• markerAnnotationT(#id) ← Java 5 Syntax Element - supported since JTransformer 2.3

• modifierT(#id, 'modifier')

• implementsT(#class, #interface)
• extendsT(#class, #extendedClass)

• assertT(#id, #parent, #enclMethod, #condition, #msg)
• assignT(#id, #parent, #encl, #lhs, #expr)
• assignopT(#id, #parent, #encl, #lhs, 'operator', #expr)
• blockT(#id, #parent, #enclMethod, [#statement_1,...])
• breakT(#id, #parent, #encl, 'label', #target)
• callT(#id, #parent, #encl, #expr, 'name', [#arg_1,...], #method) ← Formerly called applyT Renamed since JTransformer 2.3.1_200804151649
• caseT(#id, #parent, #encl, #label)
• catchT (#id, #parent, #enclMethod, #param, #body)
• conditionalT (#id, #parent, #encl, #condition, #thenPart, #elsePart)
• continueT(#id, #parent, #enclMethod, 'label', #target)
• doWhileT(#id, #parent, #enclMethod, #condition, #body) ← Formerly called doLoopT Renamed since JTransformer 2.3.1_200804151649
• execT(#id, #parent, #encl, #expr)
• forT (#id, #parent, #encl, [#init_1,...], #condition, [#step_1,...], #body) ← Formerly called forLoopT Renamed since JTransformer 2.3.1_200804151649
• foreachT (#id, #parent, #encl, #param, #expression, #body) ← Java 5 Syntax Element - supported since JTransformer 2.3.
• getFieldT(#id, #parent, #encl, #receiver, 'name', #field)
• identT(#id, #parent, #encl, 'name', #symbol)
• ifT (#id, #parent, #encl, #condition, #thenPart, #elsePart)
• indexedT (#id, #parent, #encl, #index, #indexed)
• labelT (#id, #parent, #encl, #body, 'name')
• literalT(#id, #parent, #encl, TYPE, 'value')
• localT(#id, #parent, #encl, TYPE, 'name', #init) ← Changed in JT 2.8 Up to 2.8.0 it was part of localDefT
• newArrayT (#id, #parent, #encl, [#dim_1,...], [#elem_1,...], TYPE)
• newClassT (#id, #parent, #encl, #constructor, [#arg_1,...], #ref, #anonClDef, #encltype)
• nopT(#id, #parent, #encl).
• operationT (#id, #parent, #encl, [#arg1,...], 'operatorName', pos)
• precedenceT(#id, #parent, #encl, #expr)
• returnT(#id, #parent, #encl, #expr)
• selectT(#id, #parent, #encl, 'name', ENCLOSING_TYPE, #selectedType)
• switchT(#id, #parent, #enclMethod, #expr, [#statement_1, ...])
• synchronizedT (#id, #parent, #encl, #lock, #body)
• throwT (#id, #parent, #encl, #expr)
• tryT (#id, #parent, #encl, #body, [#catcher_1,...], #finalizer)
• typeCastT (#id, #parent, #encl, TYPE, #expr)
• typeTestT (#id, #parent, #encl, #condition, #expression)
• typeRefT(#id, #parent, #encl, #type) ← Formerly part of identT New since JTransformer 2.6.0_20080829…
• whileT(#id, #parent, #encl, #condition, #body) ← Formerly called whileLoopT Renamed since JTransformer 2.3.1_200804151649

• omitArrayDeclarationT(#id)
• inlineDeclarationT(#firstField, [#otherField1, ...]) ← New PEF Released in JT 2.9.0
• inlinedT(#id, #reference) ← New PEF Released in JT 2.9.0
• variableArgumentT(#id) ← New PEF Released in JT 2.9.0