| Modifier and Type | Interface and Description |
|---|---|
| public interface | TypeEnvironment
A typing context that knows how to "resolve" the generic parameters of a
|
| Modifier and Type | Class and Description |
|---|---|
| pack-priv class | ApproximatingTypeEnvironment
A |
| public class | CompoundTypeEnvironment
A composition of two |
| public class | |
| public class | IdentityTypeEnvironment
Substitutes a |
| public class | |
| pack-priv class | SimpleTypeEnvironment
Binds formal type arguments (typically T, E, etc.) to actual types. |
| public class | TypeEnvironmentFactory
Returns the type context for a given |
| pack-priv class | TypeFactory
This class instances our own |
| public class | |
| public class |