private class SemanticReverseAbstractInterpreter.RestrictByTrueInstanceOfResultVisitor extends ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor
Modifier and Type | Field and Description |
---|---|
private ObjectType |
target |
Constructor and Description |
---|
RestrictByTrueInstanceOfResultVisitor(ObjectType target) |
Modifier and Type | Method and Description |
---|---|
private JSType |
applyCommonRestriction(JSType type) |
JSType |
caseFunctionType(FunctionType type)
Function type's case.
|
JSType |
caseObjectType(ObjectType type)
Object type's case.
|
protected JSType |
caseTopType(JSType type)
Abstracts away the similarities between visiting the unknown type and the
all type.
|
JSType |
caseUnionType(UnionType type)
Union type's case.
|
JSType |
caseUnknownType()
Unknown type's case.
|
caseBooleanType, caseNoObjectType, caseNullType, caseNumberType, caseStringType, caseVoidType
caseAllType, caseEnumElementType, caseNamedType, caseNoType, caseProxyObjectType, caseTemplateType, caseTemplatizedType
private final ObjectType target
RestrictByTrueInstanceOfResultVisitor(ObjectType target)
protected JSType caseTopType(JSType type)
ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
caseTopType
in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
type
- UNKNOWN_TYPE
or ALL_TYPE
ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor.caseAllType()
,
ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor.caseUnknownType()
public JSType caseUnknownType()
Visitor
caseUnknownType
in interface Visitor<JSType>
caseUnknownType
in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
public JSType caseObjectType(ObjectType type)
Visitor
caseObjectType
in interface Visitor<JSType>
caseObjectType
in class ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor
public JSType caseUnionType(UnionType type)
Visitor
caseUnionType
in interface Visitor<JSType>
caseUnionType
in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
public JSType caseFunctionType(FunctionType type)
Visitor
caseFunctionType
in interface Visitor<JSType>
caseFunctionType
in class ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor