typeErrors
typeErrors provides checker-specific diagnostic formatting.
Constructors
Section titled “Constructors”Constructor
Section titled “Constructor”new typeErrors(
errs):typeErrors
Parameters
Section titled “Parameters”Errors
Returns
Section titled “Returns”typeErrors
Properties
Section titled “Properties”
readonlyerrs:Errors
Methods
Section titled “Methods”fieldTypeMismatch()
Section titled “fieldTypeMismatch()”fieldTypeMismatch(
id,location,name,field,value):void
fieldTypeMismatch reports an incompatible message field initializer type.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
string
Type
Type
Returns
Section titled “Returns”void
incompatibleType()
Section titled “incompatibleType()”incompatibleType(
id,location,expr,previous,next):void
incompatibleType reports conflicting type assignments for the same expression id.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
Expr
previous
Section titled “previous”Type
Type
Returns
Section titled “Returns”void
noMatchingOverload()
Section titled “noMatchingOverload()”noMatchingOverload(
id,location,name,args,isInstance):void
noMatchingOverload reports a failed overload resolution.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
string
Type[]
isInstance
Section titled “isInstance”boolean
Returns
Section titled “Returns”void
notAComprehensionRange()
Section titled “notAComprehensionRange()”notAComprehensionRange(
id,location,type):void
notAComprehensionRange reports an invalid comprehension range type.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
Type
Returns
Section titled “Returns”void
notAMessageType()
Section titled “notAMessageType()”notAMessageType(
id,location,typeName):void
notAMessageType reports a resolved type that cannot be instantiated as a message literal.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
typeName
Section titled “typeName”string
Returns
Section titled “Returns”void
notAnOptionalFieldSelection()
Section titled “notAnOptionalFieldSelection()”notAnOptionalFieldSelection(
id,location,field):void
notAnOptionalFieldSelection reports an invalid optional-select field operand.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
Expr
Returns
Section titled “Returns”void
notAnOptionalFieldSelectionCall()
Section titled “notAnOptionalFieldSelectionCall()”notAnOptionalFieldSelectionCall(
id,location,err):void
notAnOptionalFieldSelectionCall reports an invalid optional-select helper invocation.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
string
Returns
Section titled “Returns”void
notAType()
Section titled “notAType()”notAType(
id,location,typeName):void
notAType reports a resolved identifier that does not refer to a CEL type.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
typeName
Section titled “typeName”string
Returns
Section titled “Returns”void
referenceRedefinition()
Section titled “referenceRedefinition()”referenceRedefinition(
id,location,expr,previous,next):void
referenceRedefinition reports conflicting reference metadata for the same expression id.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
Expr
previous
Section titled “previous”string
overloadIds
Section titled “overloadIds”string[]
string
overloadIds
Section titled “overloadIds”string[]
Returns
Section titled “Returns”void
typeDoesNotSupportFieldSelection()
Section titled “typeDoesNotSupportFieldSelection()”typeDoesNotSupportFieldSelection(
id,location,type):void
typeDoesNotSupportFieldSelection reports an unsupported field selection target.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
Type
Returns
Section titled “Returns”void
typeMismatch()
Section titled “typeMismatch()”typeMismatch(
id,location,expected,actual):void
typeMismatch reports a mismatch between expected and actual types.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
expected
Section titled “expected”Type
actual
Section titled “actual”Type
Returns
Section titled “Returns”void
undeclaredReference()
Section titled “undeclaredReference()”undeclaredReference(
id,location,container,name):void
undeclaredReference reports an unknown identifier.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
container
Section titled “container”string
string
Returns
Section titled “Returns”void
undefinedField()
Section titled “undefinedField()”undefinedField(
id,location,field):void
undefinedField reports an unknown message field name.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
string
Returns
Section titled “Returns”void
unexpectedASTType()
Section titled “unexpectedASTType()”unexpectedASTType(
id,location,kind,typeName):void
unexpectedASTType reports an invalid AST shape for the current checker step.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
string
typeName
Section titled “typeName”string
Returns
Section titled “Returns”void
unexpectedFailedResolution()
Section titled “unexpectedFailedResolution()”unexpectedFailedResolution(
id,location,typeName):void
unexpectedFailedResolution reports an impossible provider resolution failure.
Parameters
Section titled “Parameters”number
location
Section titled “location”Location
typeName
Section titled “typeName”string
Returns
Section titled “Returns”void