For each type of abstract syntax tree (AST) node there is a specific Program Element Fact (PEF) type. This page lists all the PEF types for the Java 7 AST represented in JTransformer 4.1 ¹⁾. 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)

Their properties

• importOnDemandT(#id)

• classT(#id, #parent, 'name', #paramRef, [#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, #parent, 'modifier')
• externalT(#id)

Their inheritance relations

• implementsT(#id, #sub, #super)
• extendsT(#id, #sub, #super)

→ See New Type Representation in JTransformer 3

Types

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

Type Parameters

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

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

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

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

Their properties

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

• assignT(#id, #parent, #encl, #lhs, #expr)
• assignopT(#id, #parent, #encl, #lhs, 'operator', #expr)
• callT(#id, #parent, #encl, #receiver, [#arg_1,...], #method, [#type_param_1,...], #type)
• conditionalT (#id, #parent, #encl, #condition, #thenPart, #elsePart)
• fieldAccessT(#id, #parent, #encl, #receiver, #field, #type)
• identT(#id, #parent, #encl, #ref)
• indexedT(#id, #parent, #encl, #index, #arrayRef)
• literalT(#id, #parent, #encl, #type, 'value')
• localT(#id, #parent, #encl, #type, 'name', #init)
• newArrayT (#id, #parent, #encl, [#dim_1,...], [#elem_1,...], #type)
• newT (#id, #parent, #encl, #receiver, [#arg_1,...], #constructor, [#typeparam_1,...], #type, #anonClDef)
• operationT (#id, #parent, #encl, [#arg1,...], 'operatorName', pos)
• precedenceT(#id, #parent, #encl, #expr)
• selectT(#id, #parent, #encl, 'name', #selected, #type)
• staticTypeRefT(#id, #parent, #encl, #type)
• typeCastT (#id, #parent, #encl, #type, #expr)
• typeTestT (#id, #parent, #encl, #type, #expression)

Their properties

• superT(#id)
• thisT(#id)

• 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')
• 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, [#resource_1,...], #body, [#catcher_1,...], #finalizer)
• whileT(#id, #parent, #encl, #condition, #body)

Their properties

• variableArgumentT(#id)

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

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

JTransformer Annotations are special Java comments that JTransformer can parse and interprete. They can be attached also for elements for which there are no Java annotations (e.g. within an expression):

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

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

Their properties

• commentTextT(#id, 'comment text')

The following PEF types are relevant just for code reengineeing (recreation of Java source code from the internal representation). They convey information that is necessary to preserve to original layout of the source code:

• omit_arrayDeclarationT(#id)
• omit_fieldT(#id, #reference)
• omit_modifierT(#id)
• omit_parameterBoundT(#id, #element)
• omit_typeArgumentsT(#id)
• preserve_diamondT(#id)
• preserve_inlineDeclarationT(#firstField, [#otherField1, ...])
• preserve_markerAnnotationT(#id)
• preserve_qualifiedNameT(#id, #type, 'kind', [#headType1, ...])