Module xl.compiler

Package de.grogra.xl.compiler.xl16u.semantics

Class XL16USemanticRules

java.lang.Object

de.grogra.xl.compiler.xl16u.semantics.XL16USemanticRules

public final class XL16USemanticRules
extends Object

Method Summary

Modifier and Type	Method	Description
static XL16UAggregateDefault	aggregateEmptyDefault(XL16UAggregateKind aggregateKind, XL16UValueContract valueContract, XL16UValueContract weightContract)
static XL16UValueContract	aggregateResult(XL16UAggregateKind aggregateKind, XL16UValueContract valueContract)
static XL16UValueContract	aggregateResult(XL16UAggregateKind aggregateKind, XL16UValueContract valueContract, XL16UValueContract weightContract)
static XL16UValueContract	arithmetic(XL16UBinaryOperator operator, XL16UValueContract left, XL16UValueContract right)
static XL16UValueContract	arrayElementType(XL16UValueContract arrayContract)
static XL16UValueContract	checkArrayElementAssignment(XL16UValueContract arrayContract, XL16UValueContract elementValue)
static XL16UValueContract	checkAssignment(XL16UValueContract target, XL16UValueContract source)
static XL16UValueContract	checkBoundary(XL16UBoundaryKind kind, XL16UValueContract target, XL16UValueContract source)
static void	checkComparison(XL16UValueContract left, XL16UValueContract right)
static XL16UValueContract	checkParameter(XL16UValueContract parameter, XL16UValueContract argument)
static XL16UValueContract	checkReturn(XL16UValueContract returnContract, XL16UValueContract expression)
static XL16UValueContract	explicitCast(XL16UValueContract source, XL16UValueContract target)
static XL16UValueContract	inferVar(XL16UValueContract initializerResult)
static XL16URangeInterval	intersectRanges(XL16UNumericType numericType, XL16URangeInterval left, XL16URangeInterval right)
static XL16UNumericType	promote(XL16UNumericType left, XL16UNumericType right)
static XL16UUnit	resolvePreferredUnit(XL16UUnit explicitSymbol, XL16UUnit aliasDefault, XL16UUnit initializerInferred, XL16UUnit baseUnit)
static XL16UValueContract	selectionResult(XL16UValueContract left, XL16UValueContract right)

Methods inherited from class java.lang.Object

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

Method Details

promote

public static XL16UNumericType promote(XL16UNumericType left,
 XL16UNumericType right)

checkAssignment

public static XL16UValueContract checkAssignment(XL16UValueContract target,
 XL16UValueContract source)
                                          throws XL16USemanticViolation

Throws:

XL16USemanticViolation

checkParameter

public static XL16UValueContract checkParameter(XL16UValueContract parameter,
 XL16UValueContract argument)
                                         throws XL16USemanticViolation

Throws:

XL16USemanticViolation

checkReturn

public static XL16UValueContract checkReturn(XL16UValueContract returnContract,
 XL16UValueContract expression)
                                      throws XL16USemanticViolation

Throws:

XL16USemanticViolation

checkArrayElementAssignment

public static XL16UValueContract checkArrayElementAssignment(XL16UValueContract arrayContract,
 XL16UValueContract elementValue)
                                                      throws XL16USemanticViolation

Throws:

XL16USemanticViolation

checkBoundary

public static XL16UValueContract checkBoundary(XL16UBoundaryKind kind,
 XL16UValueContract target,
 XL16UValueContract source)
                                        throws XL16USemanticViolation

Throws:

XL16USemanticViolation

checkComparison

public static void checkComparison(XL16UValueContract left,
 XL16UValueContract right)
                            throws XL16USemanticViolation

Throws:

XL16USemanticViolation

arithmetic

public static XL16UValueContract arithmetic(XL16UBinaryOperator operator,
 XL16UValueContract left,
 XL16UValueContract right)
                                     throws XL16USemanticViolation

Throws:

XL16USemanticViolation

explicitCast

public static XL16UValueContract explicitCast(XL16UValueContract source,
 XL16UValueContract target)
                                       throws XL16USemanticViolation

Throws:

XL16USemanticViolation

selectionResult

public static XL16UValueContract selectionResult(XL16UValueContract left,
 XL16UValueContract right)
                                          throws XL16USemanticViolation

Throws:

XL16USemanticViolation

aggregateResult

public static XL16UValueContract aggregateResult(XL16UAggregateKind aggregateKind,
 XL16UValueContract valueContract)
                                          throws XL16USemanticViolation

Throws:

XL16USemanticViolation

aggregateResult

public static XL16UValueContract aggregateResult(XL16UAggregateKind aggregateKind,
 XL16UValueContract valueContract,
 XL16UValueContract weightContract)
                                          throws XL16USemanticViolation

Throws:

XL16USemanticViolation

aggregateEmptyDefault

public static XL16UAggregateDefault aggregateEmptyDefault(XL16UAggregateKind aggregateKind,
 XL16UValueContract valueContract,
 XL16UValueContract weightContract)
                                                   throws XL16USemanticViolation

Throws:

XL16USemanticViolation

arrayElementType

public static XL16UValueContract arrayElementType(XL16UValueContract arrayContract)
                                           throws XL16USemanticViolation

Throws:

XL16USemanticViolation

inferVar

public static XL16UValueContract inferVar(XL16UValueContract initializerResult)

resolvePreferredUnit

public static XL16UUnit resolvePreferredUnit(XL16UUnit explicitSymbol,
 XL16UUnit aliasDefault,
 XL16UUnit initializerInferred,
 XL16UUnit baseUnit)

intersectRanges

public static XL16URangeInterval intersectRanges(XL16UNumericType numericType,
 XL16URangeInterval left,
 XL16URangeInterval right)
                                          throws XL16USemanticViolation

Throws:

XL16USemanticViolation