com.google.javascript.jscomp.type

Class SemanticReverseAbstractInterpreter.RestrictByTrueInstanceOfResultVisitor

java.lang.Object

com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor

com.google.javascript.jscomp.type.SemanticReverseAbstractInterpreter.RestrictByTrueInstanceOfResultVisitor

All Implemented Interfaces:

Visitor<JSType>

Enclosing class:

SemanticReverseAbstractInterpreter

private class SemanticReverseAbstractInterpreter.RestrictByTrueInstanceOfResultVisitor
extends ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor

See Also:

SemanticReverseAbstractInterpreter.caseInstanceOf(com.google.javascript.rhino.Node, com.google.javascript.rhino.Node, com.google.javascript.jscomp.type.FlowScope, boolean)

Field Summary

Fields

Modifier and Type	Field and Description
private ObjectType	target

Constructor Summary

Constructors

Constructor and Description
RestrictByTrueInstanceOfResultVisitor(ObjectType target)

Method Summary

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.

Methods inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor

caseBooleanType, caseNoObjectType, caseNullType, caseNumberType, caseStringType, caseVoidType

Methods inherited from class com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

caseAllType, caseEnumElementType, caseNamedType, caseNoType, caseProxyObjectType, caseTemplateType, caseTemplatizedType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

target

private final ObjectType target

Constructor Detail

RestrictByTrueInstanceOfResultVisitor

RestrictByTrueInstanceOfResultVisitor(ObjectType target)

Method Detail

caseTopType

protected JSType caseTopType(JSType type)

Description copied from class: ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

Abstracts away the similarities between visiting the unknown type and the all type.

Specified by:

caseTopType in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

Parameters:

type - UNKNOWN_TYPE or ALL_TYPE

Returns:

the restricted type

See Also:

ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor.caseAllType(), ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor.caseUnknownType()

caseUnknownType

public JSType caseUnknownType()

Description copied from interface: Visitor

Unknown type's case.

Specified by:

caseUnknownType in interface Visitor<JSType>

Overrides:

caseUnknownType in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

caseObjectType

public JSType caseObjectType(ObjectType type)

Description copied from interface: Visitor

Object type's case.

Specified by:

caseObjectType in interface Visitor<JSType>

Overrides:

caseObjectType in class ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor

caseUnionType

public JSType caseUnionType(UnionType type)

Description copied from interface: Visitor

Union type's case.

Specified by:

caseUnionType in interface Visitor<JSType>

Overrides:

caseUnionType in class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

caseFunctionType

public JSType caseFunctionType(FunctionType type)

Description copied from interface: Visitor

Function type's case.

Specified by:

caseFunctionType in interface Visitor<JSType>

Overrides:

caseFunctionType in class ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor

applyCommonRestriction

private JSType applyCommonRestriction(JSType type)