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 Changes JTranformer 2.5 -> 2.6
• 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 Changes JTranformer 2.5 -> 2.6
• 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, #class,#body) ← Added in JT 2.8 Up to 2.8.0 it was part of methodDefT
• enumConstantT(#id, #parent, #encl, 'name', #args) ← 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', [#bound_1, ...]) ← 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')
• markerT (#id, #comment, 'kind', ['args']) ← Added in JT 3.1 used for the JTransformer Annotation, described in 'Adding analysis predicates to JT'

• 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)

• sourceT(#id, 'comment')

See New type system in AST Version 3.0

• arrayTypeT(#id, #parent, #type, 'dim')
• basicTypeT(#id, 'name')
• outerTypeParamsT(#id, #rawType, [#param1, ...])
• parameterizedTypeT(#id, #parent, #rawType, [#typeParam_1, ...])
• typeParamT(#id, #parent, 'name', [#bound_1, ...])
• typeRefT(#id, #parent, #encl, #referencedType) ← Formerly part of identT New since JTransformer 2.6.0_20080829, changed in JTransformer 3.0
• wildCardT(#id, #parent, 'kind', bounds)

• 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,...], #type, #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', #selected, #typeRef)
• 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, #type, #expression)
• typeRefT(#id, #parent, #encl, #referencedType) ← 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

• inlineDeclarationT(#firstField, [#otherField1, ...]) ← supported since JTransformer 2.9.0
• inlinedT(#id, #reference) ← supported since JTransformer 2.9.0
• noParameterBoundT(#id) ← Java 5 Syntax Element - supported since JTransformer 3.0
• omitArrayDeclarationT(#id)
• typeParamInstsT(#id, [#paramRef_1, ...]) ← Java 5 Syntax Element - supported since JTransformer 3.0
• typeParamsT(#id, [#paramRef_1, ...]) ← Java 5 Syntax Element - supported since JTransformer 3.0
• variableArgumentT(#id) ← Java 5 Syntax Element - supported since JTransformer 2.9.0.