com.google.javascript.jscomp.type

Class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

java.lang.Object

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

All Implemented Interfaces:

Visitor<JSType>

Direct Known Subclasses:

ChainableReverseAbstractInterpreter.RestrictByFalseTypeOfResultVisitor, ChainableReverseAbstractInterpreter.RestrictByOneTypeOfResultVisitor, ChainableReverseAbstractInterpreter.RestrictByTrueTypeOfResultVisitor

Enclosing class:

ChainableReverseAbstractInterpreter

abstract class ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor
extends java.lang.Object
implements Visitor<JSType>

A class common to all visitors that need to restrict the type based on typeof-like conditions.

Constructor Summary

Constructors

Constructor and Description
RestrictByTypeOfResultVisitor()

Method Summary

Modifier and Type	Method and Description
JSType	caseAllType() All type's case.
JSType	caseEnumElementType(EnumElementType enumElementType) Enum element type's case.
JSType	caseNamedType(NamedType type) Named type's case.
JSType	caseNoType(NoType type) Bottom type's case.
JSType	caseProxyObjectType(ProxyObjectType type) Proxy type's case.
JSType	caseTemplateType(TemplateType templateType) Template type's case.
JSType	caseTemplatizedType(TemplatizedType type) Templatized type's case.
protected abstract JSType	caseTopType(JSType topType) 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 java.lang.Object

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

Methods inherited from interface com.google.javascript.rhino.jstype.Visitor

caseBooleanType, caseFunctionType, caseNoObjectType, caseNullType, caseNumberType, caseObjectType, caseStringType, caseVoidType

Constructor Detail

RestrictByTypeOfResultVisitor

RestrictByTypeOfResultVisitor()

Method Detail

caseTopType

protected abstract JSType caseTopType(JSType topType)

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

Parameters:

topType - UNKNOWN_TYPE or ALL_TYPE

Returns:

the restricted type

See Also:

caseAllType(), caseUnknownType()

caseAllType

public JSType caseAllType()

Description copied from interface: Visitor

All type's case.

Specified by:

caseAllType in interface Visitor<JSType>

caseUnknownType

public JSType caseUnknownType()

Description copied from interface: Visitor

Unknown type's case.

Specified by:

caseUnknownType in interface Visitor<JSType>

caseUnionType

public JSType caseUnionType(UnionType type)

Description copied from interface: Visitor

Union type's case.

Specified by:

caseUnionType in interface Visitor<JSType>

caseNoType

public JSType caseNoType(NoType type)

Description copied from interface: Visitor

Bottom type's case.

Specified by:

caseNoType in interface Visitor<JSType>

caseEnumElementType

public JSType caseEnumElementType(EnumElementType enumElementType)

Description copied from interface: Visitor

Enum element type's case.

Specified by:

caseEnumElementType in interface Visitor<JSType>

caseTemplatizedType

public JSType caseTemplatizedType(TemplatizedType type)

Description copied from interface: Visitor

Templatized type's case.

Specified by:

caseTemplatizedType in interface Visitor<JSType>

caseTemplateType

public JSType caseTemplateType(TemplateType templateType)

Description copied from interface: Visitor

Template type's case.

Specified by:

caseTemplateType in interface Visitor<JSType>

caseNamedType

public JSType caseNamedType(NamedType type)

Description copied from interface: Visitor

Named type's case.

Specified by:

caseNamedType in interface Visitor<JSType>

caseProxyObjectType

public JSType caseProxyObjectType(ProxyObjectType type)

Description copied from interface: Visitor

Proxy type's case.

Specified by:

caseProxyObjectType in interface Visitor<JSType>