Lub

File Lub.str
Author Martin Bravenboer
Since unknown

15.12.2.7: Inferring Type Arguments based on Actual Arguments




Statistics


General
Lines of code 178
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 11 (81% documented)
Rule number 4 (0% documented)
DynamicRule number 0



Strategy summary


is-type-expression n/a Lub.str
iset-remove-all(Strategy s) Removes all elements from set that satisfy s Lub.str
lub n/a Lub.str
lub-Candidate(ATerm supertypes) n/a Lub.str
lub-CandidateInvocation(ATerm supertypes) n/a Lub.str
lub-Inv(ATerm supertypes) n/a Lub.str
lub-lci n/a Lub.str
lub-lci n/a Lub.str
lub-MEC n/a Lub.str
lub-ST-EST(ATerm st, ATerm est) Returns the set of (erased) super types (ST and EST) Lub.str
lub-ST-MEC n/a Lub.str

Rule summary


lub-lci n/a Lub.str
lub-lci n/a Lub.str
lub-lcta n/a Lub.str
lub-lcta n/a Lub.str



Strategy details


ATerm is-type-expression
File Lub.str
Author unknown
Since unknown
 

No information available.


todo Implement: simple is-Type should be enough?

 
ATerm iset-remove-all(Strategy s)
File Lub.str
Author unknown
Since unknown
 

Removes all elements from set that satisfy s.


type IndexedSet -> IndexedSet

 
ATerm lub
File Lub.str
Author unknown
Since unknown
 

No information available.


todo Handle infinite types.
type List(Type) -> Type

 
ATerm lub-Candidate(ATerm supertypes)
File Lub.str
Author unknown
Since unknown
 

No information available.


todo Member types: tn can be type.

 
ATerm lub-Inv(ATerm supertypes)
File Lub.str
Author unknown
Since unknown
 
Parameters
ATerm supertypes List(Type)

No information available.


type Type -> List(Type)

 
ATerm lub-lci
File Lub.str
Author unknown
Since unknown
 

No information available.


todo This (trivial) case seems to be missing in the JLS. Report.

 
ATerm lub-MEC
File Lub.str
Author unknown
Since unknown
 

No information available.


type List(Type) -> IndexedSet(Type)

 
ATerm lub-ST-EST(ATerm st, ATerm est)
File Lub.str
Author unknown
Since unknown
 
Parameters
ATerm st IndexedSet(Type)

Returns the set of (erased) super types (ST and EST).


type Type -> List(Type)

 
ATerm lub-ST-MEC
File Lub.str
Author unknown
Since unknown
 

No information available.


type List(Type) -> (IndexedSet(Type), IndexedSet(Type))