SDA SE Wiki

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

User Tools

Site Tools


Type Terms

In the 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 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.

Type terms have been repleced by typerefT facts in JTransformer 3.0
research/jtransformer/api/java/pefs/2.9/typeterm.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019