abstract class ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor extends ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
typeof-like condition being true. All base cases return
null. It is up to the subclasses to override the appropriate ones.| Constructor and Description |
|---|
RestrictByTrueTypeOfResultVisitor() |
| Modifier and Type | Method and Description |
|---|---|
JSType |
caseBooleanType()
Boolean value type's case.
|
JSType |
caseFunctionType(FunctionType type)
Function type's case.
|
JSType |
caseNoObjectType()
Bottom Object type's case.
|
JSType |
caseNullType()
Null type's case.
|
JSType |
caseNumberType()
Number value type's case.
|
JSType |
caseObjectType(ObjectType type)
Object type's case.
|
JSType |
caseStringType()
String value type's case.
|
JSType |
caseVoidType()
Void type's case.
|
caseAllType, caseEnumElementType, caseNamedType, caseNoType, caseProxyObjectType, caseTemplateType, caseTemplatizedType, caseTopType, caseUnionType, caseUnknownTypepublic JSType caseNoObjectType()
Visitorpublic JSType caseBooleanType()
Visitorpublic JSType caseFunctionType(FunctionType type)
Visitorpublic JSType caseNullType()
Visitorpublic JSType caseNumberType()
Visitorpublic JSType caseObjectType(ObjectType type)
Visitorpublic JSType caseStringType()
Visitor