public class Solver
extends java.lang.Object
Constructor and Description |
---|
Solver() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
static JType |
solve(ImplementationMap imap,
java.util.Map<java.lang.String,JType> substitutions,
JType texpr)
The main solver function.
|
static java.util.Map<java.lang.String,JType> |
solveClassTyvars(ImplementationMap imap,
JTfun T0)
Let JTFun C args be T0.
|
static JType |
solveJTvar(ImplementationMap imap,
java.util.Map<java.lang.String,JType> substitutions,
JTvar tvar)
Solving a type expression of the form of a type-variable.
|
static JType |
solveJwildcard(ImplementationMap imap,
java.util.Map<java.lang.String,JType> substitutions,
Jwildcard wcard)
Solving a type expression of the form of a type-variable.
|
public static JType solve(ImplementationMap imap, java.util.Map<java.lang.String,JType> substitutions, JType texpr)
public static JType solveJTvar(ImplementationMap imap, java.util.Map<java.lang.String,JType> substitutions, JTvar tvar)
public static JType solveJwildcard(ImplementationMap imap, java.util.Map<java.lang.String,JType> substitutions, Jwildcard wcard)
public static java.util.Map<java.lang.String,JType> solveClassTyvars(ImplementationMap imap, JTfun T0)
public static void main(java.lang.String[] args)