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:typeterm [2011/10/18 20:26]
127.0.0.1 external edit
research:jtransformer:api:java:pefs:2.9:typeterm [2018/05/09 01:59] (current)
Line 1: Line 1:
 +====== Type Terms ======
 +
 +In the [[prologast|Program Element Facts]] that represent nodes of the Java AST,  ​
 +types are represented by so called //type terms//. A type term is a term of the form
 +
 +  * ''​type''​(''​basic'',​ //name//, //​array_dimension//​) or
 +  * ''​type''​(''​class'',​ #//​id//, ​ //​array_dimension//​) or
 +
 +If the first argument of a type term has the value 
 +  * ''​basic''​ then the second argument is the name of a //basic type// (e.g. ''​int''​);​ \\
 +  * ''​class''​ then the second argument is the id of a //class or interface// represented by a [[classt|classT]] fact;\\
 +
 +The third argument (array_dimension) is a positive integer or 0. If its is 0 then the type is not an array type. 
 +If the value of the third argument is positive then it indicates the dimension of the array. ​
 +
 +<​note>​Type terms have been repleced by [[..:​3.0:​typereft|typerefT]] facts in JTransformer 3.0</​note>​
 +
 +
 +
 +
 +
  
research/jtransformer/api/java/pefs/2.9/typeterm.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019