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

research:jtransformer:api:java:pefs:4.1:outertypeparamst [2018/05/09 01:59]
127.0.0.1 external edit
research:jtransformer:api:java:pefs:4.1:outertypeparamst [2019/05/22 12:57] (current)
Günter Kniesel Fixed example (added complete example).
Line 22: Line 22:
 == == == ==
 <Code lang-java>​ <Code lang-java>​
-class A { +public ​class Outer<T{
-   +
-  B<String>.C field;+
  
 +   class C { }
 +
 +   class Inner {
 +      // This field'​s type is defined in the outer class:
 +      Outer<​String>​.C field;
 +   }
 } }
 </​Code>​ </​Code>​
Line 32: Line 36:
 === Its PEF Representation === === Its PEF Representation ===
 ==  == ==  ==
 +In the following, # is the prefix for an id and ... represents a value that is irrelevant in this example:
 <Code lang-prolog>​ <Code lang-prolog>​
-fieldT(#​field,​ #class, #type, '​field',​ '​null'​). +classT(#​classOuter,​ ..., '​Outer',​ [...], [..., #classC, #​classInner]). 
-parameterizedTypeT(#​type,​ #rawTypeC, []). + 
-outerTypeParamsT(#​type, #rawTypeB, [#TypeRefToString]).+classT(#​classC, ​    #​classOuter,​ '​C',​ [], [...]). 
 + 
 +classT(#​classInner,​ #​classOuter,​ '​Inner',​ [], [..., #field]). 
 +fieldT(#​field,​ #classInner, #type, '​field',​ '​null'​). 
 +parameterizedTypeT(#​type,​ #classC, [#​outerTypeParam]). 
 +outerTypeParamsT(#​outerTypeParam, #classOuter, [#IdOfClassString]).
 </​Code>​ </​Code>​
  
research/jtransformer/api/java/pefs/4.1/outertypeparamst.txt · Last modified: 2019/05/22 12:57 by Günter Kniesel

SEWiki, © 2019