15.12.2.7: Inferring Type Arguments based on Actual Arguments
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.
|
|
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).
|
|
ATerm
|
lub-ST-MEC
|
File
|
Lub.str
|
Author
|
unknown
|
Since
|
unknown
|
|
No information available.
type
|
List(Type) -> (IndexedSet(Type), IndexedSet(Type))
|
|
|