Libraries.Language.Compile.Symbol.TypeChecker Documentation

Inherits from: Libraries.Language.Object

Actions Documentation

Add(Libraries.Language.Compile.Symbol.Class clazz)

This action adds a class to the type checker, setting up operations for assignment or other aspects. This action also prepares any parent relationships in the type checker as well.

Parameters

AddAutoBoxedTypes()

results:Add(key, result)

CanInfer(Libraries.Language.Compile.Translate.QuorumOpcode opcode)

line 1513

Parameters

Return

Libraries.Language.Compile.Symbol.InferenceResult:

Check(Libraries.Language.Compile.Symbol.Type left, Libraries.Language.Compile.Symbol.Type right, Libraries.Language.Compile.Symbol.Operation op)

line 1584

Parameters

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

Check(Libraries.Language.Compile.Symbol.Type left, Libraries.Language.Compile.Symbol.Operation op)

line 1534

Parameters

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

Check(Libraries.Language.Compile.Symbol.Type left, Libraries.Language.Compile.Symbol.Type right, Libraries.Language.Compile.Symbol.Operation op, boolean assignment)

line 1567

Parameters

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

Check(Libraries.Language.Compile.Symbol.Type left, Libraries.Language.Compile.Symbol.Type right, Libraries.Language.Compile.Symbol.Operation op, boolean assignment, boolean local)

line 1559

Parameters

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

Compare(Libraries.Language.Object object)

This action compares two object hash codes and returns an integer. The result is larger if this hash code is larger than the object passed as a parameter, smaller, or equal. In this case, -1 means smaller, 0 means equal, and 1 means larger. This action was changed in Quorum 7 to return an integer, instead of a CompareResult object, because the previous implementation was causing efficiency issues.

Parameters

Return

integer: The Compare result, Smaller, Equal, or Larger.

Example

Object o
Object t
integer result = o:Compare(t) //1 (larger), 0 (equal), or -1 (smaller)

Equals(Libraries.Language.Object object)

This action determines if two objects are equal based on their hash code values.

Parameters

Return

boolean: True if the hash codes are equal and false if they are not equal.

Example

use Libraries.Language.Object
use Libraries.Language.Types.Text
Object o
Text t
boolean result = o:Equals(t)

GenerateTypeCheckKey(text left, text right, Libraries.Language.Compile.Symbol.Operation op, boolean assignment)

get the current parent

Parameters

Return

text:

GenerateTypeCheckKey(text left, text right, Libraries.Language.Compile.Symbol.Operation op, boolean assignment, boolean local)

line 1584. This is allowed, but nothing needs to be done at compile time

Parameters

Return

text:

GenerateTypeCheckingTable()

GetHashCode()

This action gets the hash code for an object.

Return

integer: The integer hash code of the object.

Example

Object o
integer hash = o:GetHashCode()

GetNarrowingConvertResult()

explicit cast from Integer to boolean 1739

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

GetNoConvertResult()

explicit cast from Integer to integer

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

GetOperation(integer value)

various number autoboxes

Parameters

  • integer value

Return

Libraries.Language.Compile.Symbol.Operation:

GetSubclassNarrowingConvertResult()

implicit cast integer to Integer

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

GetSubclassWideningConvertResult()

implicit cast from Integer to integer

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

GetSymbolTable()

Return

Libraries.Language.Compile.Symbol.SymbolTable

GetWideningConvertResult()

explicit cast from Integer to integer

Return

Libraries.Language.Compile.Symbol.TypeCheckResult:

SetSymbolTable(Libraries.Language.Compile.Symbol.SymbolTable table)

Parameters