Create a new type mapper.
Parameters: runtime - The runtime. Parameters: prefix - The class name prefix. Parameters: replaceType - The flag for replacing type with raw_type.
Test if a type is a variable type.
Parameters: o - The type to test. true if this type is a variable type, false otherwise.
makePatternMatchType
public PatternMatchType makePatternMatchType(Object left, Object right)(Code)
Make a pattern match type.
Parameters: left - The type of the left hand side. Parameters: right - The type of the right hand side.
processTypeVariables
public int processTypeVariables(Object o, int index)(Code)
Preprocess type variables in function type
Parameters: o - The function type to process Parameters: index - The starting index the number of type parameters
Get a java type node from a typical type
Parameters: o - The typical type object Parameters: objectToWild - To check if need to change Object to ? The corresponding java type node