For each type of abstract syntax tree (AST) nodes there is a specific type of Program Element Facts (PEFs). This page lists all the PEF types for the Java AST (up to Java 7) which refer to JTransformer 3.x ¹⁾. Each PEF type is described in detail on a separate page, linked below.

→ See the language-independent model elements.

• packageT(#id, 'fullname')
• compilationUnitT(#id, #package, #fileS, [#import_1, ...], [#def_1, ...] )
• importT(#id, #parent, #import)

• classT(#id, #parent, 'name', [#def_1,...])

Their properties

• interfaceT(#class) ← An interface type is a class with the 'interfaceT' property
• annotationTypeT(#id) ← An annotation type is a class with the 'annotationTypeT' property
• enumT(#class) ← An enumeration type is a class with the 'enumT' property

• modifierT(#id, 'modifier')
• externT(#id)

Their relations

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

→ See New Type Representation in JTransformer 3

Types

• arrayTypeT(#id, #parent, #type, 'dim')
• basicTypeT(#id, 'name')
• classT(#id, #parent, 'name', [#def_1,...])
• parameterizedTypeT(#id, #parent, #rawType, [#typeParam_1, ...])

Type Parameters

• outerTypeParamsT(#id, #rawType, [#param1, ...])
• typeParamT(#id, #parent, 'name', [#bound_1, ...])
• wildCardT(#id, #parent, 'kind', bounds)

Type References

• typeRefT(#id, #parent, #encl, #referencedType)

• enumConstantT(#id, #parent, #encl, 'name', #args)
• fieldT(#id, #class, #type, 'name', #init)

• classInitializerT(#id, #class,#body)
• constructorT(#id, #class, [#param_1,...], [#exception_1,...], #body)
• methodT(#id, #class, 'name', [#param_1,...], #type, [#exception_1,...], #body)

• paramT(#id, #parent, #type, 'name')

Their properties

• modifierT(#id, 'modifier')

• assignT(#id, #parent, #encl, #lhs, #expr)
• assignopT(#id, #parent, #encl, #lhs, 'operator', #expr)
• callT(#id, #parent, #encl, #expr, 'name', [#arg_1,...], #method)
• conditionalT (#id, #parent, #encl, #condition, #thenPart, #elsePart)
• getFieldT(#id, #parent, #encl, #receiver, 'name', #field)
• identT(#id, #parent, #encl, 'name', #symbol)
• indexedT(#id, #parent, #encl, #index, #arrayRef)
• literalT(#id, #parent, #encl, #type, 'value')
• newArrayT (#id, #parent, #encl, [#dim_1,...], [#elem_1,...], #type)
• newClassT (#id, #parent, #encl, #constructor, [#arg_1,...], #type, #anonClDef, #encltype)
• operationT (#id, #parent, #encl, [#arg1,...], 'operatorName', pos)
• precedenceT(#id, #parent, #encl, #expr)
• selectT(#id, #parent, #encl, 'name', #selected, #typeRef)
• typeCastT (#id, #parent, #encl, #type, #expr)
• typeTestT (#id, #parent, #encl, #type, #expression)
• typeRefT(#id, #parent, #encl, #referencedType)

• assertT(#id, #parent, #enclMethod, #condition, #msg)
• blockT(#id, #parent, #enclMethod, [#statement_1,...])
• breakT(#id, #parent, #encl, 'label', #target)
• caseT(#id, #parent, #encl, #label)
• catchT (#id, #parent, #enclMethod, #param, #body)
• continueT(#id, #parent, #enclMethod, 'label', #target)
• doWhileT(#id, #parent, #enclMethod, #condition, #body)
• execT(#id, #parent, #encl, #expr)
• forT (#id, #parent, #encl, [#init_1,...], #condition, [#step_1,...], #body)
• foreachT (#id, #parent, #encl, #param, #expression, #body)
• ifT (#id, #parent, #encl, #condition, #thenPart, #elsePart)
• labelT (#id, #parent, #encl, #body, 'name')
• localT(#id, #parent, #encl, #type, 'name', #init)
• nopT(#id, #parent, #encl).
• returnT(#id, #parent, #encl, #expr)
• 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)
• whileT(#id, #parent, #encl, #condition, #body)

Their properties

• inlineDeclarationT(#firstField, [#otherField1, ...])
• inlinedT(#id, #reference)
• noParameterBoundT(#id)
• omitArrayDeclarationT(#id)
• typeParamInstsT(#id, [#paramRef_1, ...])
• typeParamsT(#id, [#paramRef_1, ...])
• variableArgumentT(#id)

• annotationTypeT(#id)
• annotationMemberT(#id, #parent, #type, 'name', #default)

• annotationT(#id, #parent, #encl, #annotationType, [#keyValue_1,..] )
• memberValueT(#id, #parent, #annotationMember, #valueLiteral)

Their properties

• markerAnnotationT(#id)

Their relations

• annotatedT(#annotated, #annotation)

• markerT (#id, #comment, 'kind', ['args'])

• commentT(#id, #parent, 'comment type')

Their properties

• sourceT(#id, 'comment text')