SDA SE Wiki

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

User Tools

Site Tools



intersectionTypeT(#id, #rawType, [#type_1,...])

Represents the intersection type in a type cast. See the Java Language Specification.

Arguments

#id: id
the unique ID assigned to this fact.

[#type_1,…]: Type reference
the ids of all the types in the intersection.

Sample Java Source

Comparable<String> c = (Comparable<String> & Serializable) o;

Its PEF Representation

lobalT(#Local, ... 'c', ...).
typeCastT(#TypeCast, #Local, ..., #IntersectionType, ...).
intersectionTypeT(#IntersectionType, [#ComparableString, #RefToSerializable]).

AST Specification

ast_node_type_spec(intersectionTypeT,[
     ast_arg(id,      mult(1,1,no ),  id,  [intersectionTypeT]),
     ast_arg(types,   mult(0,*,ord ), id,  [type_inst])
]).
research/jtransformer/api/java/pefs/4.2/intersectiontypet.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019