abstract class ChainableReverseAbstractInterpreter.RestrictByFalseTypeOfResultVisitor extends ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
typeof
-like condition being false. All base cases return
their type. It is up to the subclasses to override the appropriate ones.Constructor and Description |
---|
RestrictByFalseTypeOfResultVisitor() |
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.
|
protected JSType |
caseTopType(JSType topType)
Abstracts away the similarities between visiting the unknown type and the
all type.
|
JSType |
caseVoidType()
Void type's case.
|
caseAllType, caseEnumElementType, caseNamedType, caseNoType, caseProxyObjectType, caseTemplateType, caseTemplatizedType, caseUnionType, caseUnknownType
protected JSType caseTopType(JSType topType)
ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
caseTopType
in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
topType
- UNKNOWN_TYPE
or ALL_TYPE
ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor.caseAllType()
,
ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor.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