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, caseUnknownType
public JSType caseNoObjectType()
Visitor
public JSType caseBooleanType()
Visitor
public JSType caseFunctionType(FunctionType type)
Visitor
public JSType caseNullType()
Visitor
public JSType caseNumberType()
Visitor
public JSType caseObjectType(ObjectType type)
Visitor
public JSType caseStringType()
Visitor