class Types.Rewriter extends Types.UnaryVisitor<Type>
| Modifier and Type | Field and Description |
|---|---|
(package private) boolean |
high |
(package private) boolean |
rewriteTypeVars |
| Constructor and Description |
|---|
Types.Rewriter(boolean high,
boolean rewriteTypeVars) |
| Modifier and Type | Method and Description |
|---|---|
(package private) Type |
rewrite(Type t) |
Type |
visitCapturedType(Type.CapturedType t,
Void s) |
Type |
visitType(Type t,
Void s) |
Type |
visitTypeVar(Type.TypeVar t,
Void s) |
Type |
visitWildcardType(Type.WildcardType t,
Void s) |
visitvisitForAll, visitUndetVarvisit, visitArrayType, visitClassType, visitErrorType, visitMethodType, visitPackageTypeboolean high
boolean rewriteTypeVars
Types.Rewriter(boolean high, boolean rewriteTypeVars)
public Type visitCapturedType(Type.CapturedType t, Void s)
visitCapturedType in interface Type.Visitor<Type,Void>visitCapturedType in class Types.SimpleVisitor<Type,Void>public Type visitTypeVar(Type.TypeVar t, Void s)
visitTypeVar in interface Type.Visitor<Type,Void>visitTypeVar in class Types.DefaultTypeVisitor<Type,Void>public Type visitWildcardType(Type.WildcardType t, Void s)
visitWildcardType in interface Type.Visitor<Type,Void>visitWildcardType in class Types.DefaultTypeVisitor<Type,Void>