CaptureConversion
5.1.10: Capture Conversion
First, I wanted to store the upper and lower bound of fresh type variablesin the qualifier of TypeVar. However, these bounds can refer to the typevariables themselves, which can be recursive. To workaround this, the boundsare now stored in dynamic rules. Unfortunately, the bounds are now not partof the ATerm after serialization. Maybe there should be a representationfor declaring these fresh type variables.
Statistics
General
|
Lines of code
|
108
|
Stratego
|
Module number
|
1 (100% documented)
|
Constructor number
|
1 (0% documented)
|
Overlay number
|
0
|
Strategy number
|
7 (42% documented)
|
Rule number
|
3 (0% documented)
|
DynamicRule number
|
2 (50% documented)
|
Strategy details
|
ATerm
|
apply-capture-conversion-helper(ATerm tn)
|
No information available.
type
|
List(ActualTypeArg) -> List(ActualTypeArg)
|
|
|
ATerm
|
capture-conversion
|
Applies capture conversion if necessary.
|
|
ATerm
|
capture-set-open-wildcard-bounds(ATerm class, ATerm capturedargs)
|
File
|
CaptureConversion.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
class
|
Class Object
|
ATerm
capturedargs
|
List(ActualTypeArgument)
|
|
No information available.
type
|
OpenWildcard -> OpenWildcard
|
|
|