com.google.javascript.jscomp.type

Class ChainableReverseAbstractInterpreter.RestrictByFalseTypeOfResultVisitor

java.lang.Object

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

com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter.RestrictByFalseTypeOfResultVisitor

All Implemented Interfaces:

Visitor<JSType>

Direct Known Subclasses:

SemanticReverseAbstractInterpreter.RestrictByFalseInstanceOfResultVisitor

Enclosing class:

ChainableReverseAbstractInterpreter

abstract class ChainableReverseAbstractInterpreter.RestrictByFalseTypeOfResultVisitor
extends ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

A class common to all visitors that need to restrict the type based on some typeof-like condition being false. All base cases return their type. It is up to the subclasses to override the appropriate ones.

Constructor Summary

Constructors

Constructor and Description
RestrictByFalseTypeOfResultVisitor()

Method Summary

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.

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

RestrictByFalseTypeOfResultVisitor

RestrictByFalseTypeOfResultVisitor()

Method Detail

caseTopType

protected JSType caseTopType(JSType topType)

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:

topType - UNKNOWN_TYPE or ALL_TYPE

Returns:

the restricted type

See Also:

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

caseNoObjectType

public JSType caseNoObjectType()

Description copied from interface: Visitor

Bottom Object type's case.

caseBooleanType

public JSType caseBooleanType()

Description copied from interface: Visitor

Boolean value type's case.

caseFunctionType

public JSType caseFunctionType(FunctionType type)

Description copied from interface: Visitor

Function type's case.

caseNullType

public JSType caseNullType()

Description copied from interface: Visitor

Null type's case.

caseNumberType

public JSType caseNumberType()

Description copied from interface: Visitor

Number value type's case.

caseObjectType

public JSType caseObjectType(ObjectType type)

Description copied from interface: Visitor

Object type's case.

caseStringType

public JSType caseStringType()

Description copied from interface: Visitor

String value type's case.

caseVoidType

public JSType caseVoidType()

Description copied from interface: Visitor

Void type's case.