Package com.google.javascript.jscomp

Class ConformanceRules.BanUnresolvedType

java.lang.Object

com.google.javascript.jscomp.ConformanceRules.AbstractRule

com.google.javascript.jscomp.ConformanceRules.BanUnresolvedType

All Implemented Interfaces:

CheckConformance.Rule

Enclosing class:

ConformanceRules

public static final class ConformanceRules.BanUnresolvedType
extends ConformanceRules.AbstractRule

Banned accessing properties from objects that are unresolved forward-declared type names. For legacy reasons this is allowed but causes unexpected weaknesses in the type inference.

Constructor Summary

Constructors

Constructor	Description
BanUnresolvedType(AbstractCompiler compiler, com.google.javascript.jscomp.Requirement requirement)

Method Summary

Modifier and Type	Method	Description
protected ConformanceRules.ConformanceResult	checkConformance(NodeTraversal t, Node n)
protected boolean	isAllowlistedType(Node n)
protected boolean	isAssertionCall(Node n)
protected static boolean	isKnown(Node n)
protected boolean	isNativeObjectType(Node n)
protected static boolean	isTemplateType(Node n)
protected static boolean	isTop(Node n)
protected boolean	isTypeImmediatelyTightened(Node n)
protected static boolean	isUnknown(Node n)
protected boolean	isUsed(Node n)
protected @Nullable JSType	union(List<String> typeNames)

Methods inherited from class com.google.javascript.jscomp.ConformanceRules.AbstractRule

check, report, tsIsAllowlisted

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.jscomp.CheckConformance.Rule

getPrecondition

Constructor Details

BanUnresolvedType

public BanUnresolvedType(AbstractCompiler compiler,
 com.google.javascript.jscomp.Requirement requirement)
                  throws CheckConformance.InvalidRequirementSpec

Throws:

CheckConformance.InvalidRequirementSpec

Method Details

checkConformance

protected ConformanceRules.ConformanceResult checkConformance(NodeTraversal t,
 Node n)

Specified by:

checkConformance in class ConformanceRules.AbstractRule

Returns:

Whether the code represented by the Node conforms to the rule.

isAllowlistedType

protected boolean isAllowlistedType(Node n)

isKnown

protected static boolean isKnown(Node n)

isNativeObjectType

protected boolean isNativeObjectType(Node n)

isTop

protected static boolean isTop(Node n)

isUnknown

protected static boolean isUnknown(Node n)

isTemplateType

protected static boolean isTemplateType(Node n)

union

protected @Nullable JSType union(List<String> typeNames)

isAssertionCall

protected boolean isAssertionCall(Node n)

isTypeImmediatelyTightened

protected boolean isTypeImmediatelyTightened(Node n)

isUsed

protected boolean isUsed(Node n)