com.google.javascript.jscomp.type

Class ChainableReverseAbstractInterpreter.RestrictByOneTypeOfResultVisitor

java.lang.Object

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

com.google.javascript.jscomp.type.ChainableReverseAbstractInterpreter.RestrictByOneTypeOfResultVisitor

All Implemented Interfaces:

Visitor<JSType>

Enclosing class:

ChainableReverseAbstractInterpreter

private class ChainableReverseAbstractInterpreter.RestrictByOneTypeOfResultVisitor
extends ChainableReverseAbstractInterpreter.RestrictByTypeOfResultVisitor

See Also:

ChainableReverseAbstractInterpreter.getRestrictedByTypeOfResult(com.google.javascript.rhino.jstype.JSType, java.lang.String, boolean)

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	resultEqualsValue true if the typeOf result is known to equal value; false if it is known not to equal value.
private java.lang.String	value A value known to be equal or not equal to the result of the typeOf operation.

Constructor Summary

Constructors

Constructor and Description
RestrictByOneTypeOfResultVisitor(java.lang.String value, boolean resultEqualsValue)

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.
private boolean	matchesExpectation(java.lang.String result) Computes whether the given result of a typeof operator matches expectations, i.e.

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

Field Detail

value

private final java.lang.String value

A value known to be equal or not equal to the result of the typeOf operation.

resultEqualsValue

private final boolean resultEqualsValue

true if the typeOf result is known to equal value; false if it is known not to equal value.

Constructor Detail

RestrictByOneTypeOfResultVisitor

RestrictByOneTypeOfResultVisitor(java.lang.String value,
                                 boolean resultEqualsValue)

Method Detail

matchesExpectation

private boolean matchesExpectation(java.lang.String result)

Computes whether the given result of a typeof operator matches expectations, i.e. whether a type that gives such a result should be kept.

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.