methodDef(#id, #class, 'name', [#param_1,...], TYPE, [#exception_1,...], #body)

A help-predicate which represents the set of methodT, constructorT and classInitializerT

Arguments

#id:
the unique ID assigned to this fact.

#class: classT
ID of the parent/declaring class.

'name':
1) name of the method declared in this method declaration or
2) '<init>' (constructor declaration) or
3) '<clinit>' (initializer declaration).

[#param_1,…]: paramT
list of IDs of the method parameters.

TYPE:
is a valid typeterm.

[#exception_1,…]: classT
list of IDs of the thrown exceptions.

#body: blockT, null
ID of the block.

research/jtransformer/api/java/pefs/2.9/methoddef.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019