Package org.eclipse.xsemantics.dsl.typing

Class XsemanticsTypeSystem

java.lang.Object

org.eclipse.xsemantics.dsl.typing.XsemanticsTypeSystem

public class XsemanticsTypeSystem
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
XsemanticsTypeSystem()

Method Summary

Modifier and Type	Method	Description
boolean	equals(TupleType tupleType1, TupleType tupleType2)
boolean	equals(AuxiliaryDescription aux1, AuxiliaryDescription aux2)
boolean	equals(JudgmentDescription j1, JudgmentDescription j2)
boolean	equals(org.eclipse.xtext.common.types.JvmTypeReference t1, org.eclipse.xtext.common.types.JvmTypeReference t2, org.eclipse.emf.ecore.EObject context)
TupleType	getInputTypes(AuxiliaryFunction aux)
TupleType	getInputTypes(Rule rule)
org.eclipse.xtext.common.types.JvmTypeReference	getType(org.eclipse.emf.ecore.EObject element)
boolean	isAbstractDeclarativeValidator(org.eclipse.xtext.common.types.JvmTypeReference type, org.eclipse.emf.ecore.EObject context)
boolean	isBooleanPremise(org.eclipse.xtext.xbase.XExpression expression)
boolean	isConformant(org.eclipse.xtext.common.types.JvmTypeReference expected, org.eclipse.xtext.common.types.JvmTypeReference actual, org.eclipse.emf.ecore.EObject context)
boolean	isEObject(org.eclipse.xtext.common.types.JvmTypeReference type, org.eclipse.emf.ecore.EObject context)
boolean	isEStructuralFeature(org.eclipse.xtext.common.types.JvmTypeReference type, org.eclipse.emf.ecore.EObject context)
boolean	isExpressionToCheck(org.eclipse.xtext.xbase.XExpression expression)
boolean	isPredicate(JudgmentDescription j)
boolean	isPredicate(RuleInvocation ruleInvocation)
boolean	isSubtype(org.eclipse.xtext.common.types.JvmTypeReference t1, org.eclipse.xtext.common.types.JvmTypeReference t2, org.eclipse.emf.ecore.EObject context)
boolean	isValidSuperSystem(org.eclipse.xtext.common.types.JvmTypeReference type, org.eclipse.emf.ecore.EObject context)
protected org.eclipse.xtext.xbase.typesystem.references.StandardTypeReferenceOwner	newTypeReferenceOwner(org.eclipse.emf.ecore.EObject context)
org.eclipse.xtext.common.types.JvmTypeReference	ruleFailedExceptionType(org.eclipse.emf.ecore.EObject o)
org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference	toLightweightTypeReference(org.eclipse.xtext.common.types.JvmTypeReference typeRef, org.eclipse.emf.ecore.EObject context)

Methods inherited from class java.lang.Object

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

Constructor Detail

XsemanticsTypeSystem

public XsemanticsTypeSystem()

Method Detail

getType

public org.eclipse.xtext.common.types.JvmTypeReference getType(org.eclipse.emf.ecore.EObject element)

getInputTypes

public TupleType getInputTypes(Rule rule)

getInputTypes

public TupleType getInputTypes(AuxiliaryFunction aux)

equals

public boolean equals(TupleType tupleType1,
                      TupleType tupleType2)

equals

public boolean equals(JudgmentDescription j1,
                      JudgmentDescription j2)

equals

public boolean equals(AuxiliaryDescription aux1,
                      AuxiliaryDescription aux2)

equals

public boolean equals(org.eclipse.xtext.common.types.JvmTypeReference t1,
                      org.eclipse.xtext.common.types.JvmTypeReference t2,
                      org.eclipse.emf.ecore.EObject context)

isConformant

public boolean isConformant(org.eclipse.xtext.common.types.JvmTypeReference expected,
                            org.eclipse.xtext.common.types.JvmTypeReference actual,
                            org.eclipse.emf.ecore.EObject context)

isEObject

public boolean isEObject(org.eclipse.xtext.common.types.JvmTypeReference type,
                         org.eclipse.emf.ecore.EObject context)

isAbstractDeclarativeValidator

public boolean isAbstractDeclarativeValidator(org.eclipse.xtext.common.types.JvmTypeReference type,
                                              org.eclipse.emf.ecore.EObject context)

isEStructuralFeature

public boolean isEStructuralFeature(org.eclipse.xtext.common.types.JvmTypeReference type,
                                    org.eclipse.emf.ecore.EObject context)

isValidSuperSystem

public boolean isValidSuperSystem(org.eclipse.xtext.common.types.JvmTypeReference type,
                                  org.eclipse.emf.ecore.EObject context)

isBooleanPremise

public boolean isBooleanPremise(org.eclipse.xtext.xbase.XExpression expression)

isExpressionToCheck

public boolean isExpressionToCheck(org.eclipse.xtext.xbase.XExpression expression)

isSubtype

public boolean isSubtype(org.eclipse.xtext.common.types.JvmTypeReference t1,
                         org.eclipse.xtext.common.types.JvmTypeReference t2,
                         org.eclipse.emf.ecore.EObject context)

toLightweightTypeReference

public org.eclipse.xtext.xbase.typesystem.references.LightweightTypeReference toLightweightTypeReference(org.eclipse.xtext.common.types.JvmTypeReference typeRef,
                                                                                                         org.eclipse.emf.ecore.EObject context)

newTypeReferenceOwner

protected org.eclipse.xtext.xbase.typesystem.references.StandardTypeReferenceOwner newTypeReferenceOwner(org.eclipse.emf.ecore.EObject context)

isPredicate

public boolean isPredicate(JudgmentDescription j)

isPredicate

public boolean isPredicate(RuleInvocation ruleInvocation)

ruleFailedExceptionType

public org.eclipse.xtext.common.types.JvmTypeReference ruleFailedExceptionType(org.eclipse.emf.ecore.EObject o)