SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
research:jtransformer:api:java:pefs:2.9:methoddef [2010/12/13 13:37]
127.0.0.1 external edit
research:jtransformer:api:java:pefs:2.9:methoddef [2018/05/09 01:59] (current)
Line 1: Line 1:
 +=== methodDef(#​id,​ #class, '​name',​ [#​param_1,​...],​ TYPE, [#​exception_1,​...],​ #body) ===
  
 +A help-predicate which represents the set of [[methodt|methodT]],​ [[constructort|constructorT]] and [[classinitializert|classInitializerT]]\\
 +
 +=== Arguments ===
 +== ==
 +**#​id:​**\\ ​
 +the unique ID assigned to this fact.\\
 +\\ 
 +**#class:** [[classt|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|paramT]]\\ ​
 +list of IDs of the method parameters.\\ ​
 +\\ 
 +**TYPE:​**\\ ​
 +is a valid [[typeterm|typeterm]].\\ ​
 +\\ 
 +**[#​exception_1,​...]:​** [[classt|classT]]\\ ​
 +list of IDs of the thrown exceptions.\\ ​
 +\\ 
 +**#body:** [[blockt|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