Package org.eclipse.xsemantics.dsl.typing

Class XsemanticsTypeSystemGen

java.lang.Object

org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

org.eclipse.xsemantics.dsl.typing.XsemanticsTypeSystemGen

public class XsemanticsTypeSystemGen
extends org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	AUXILIARYDESCRIPTIONTYPE
static java.lang.String	EXPRESSIONINCONCLUSIONTYPE
static java.lang.String	INPUTPARAMETERTYPE
static java.lang.String	JVMFORMALPARAMETERTYPE
static java.lang.String	OUTPUTPARAMETERTYPE
static java.lang.String	RULEPARAMETERTYPE
static java.lang.String	XEXPRESSIONTYPE
static java.lang.String	XVARIABLEDECLARATIONTYPE

Fields inherited from class org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

INDEX_OF_AUX_PARAMETERS, INDEX_OF_RULE_PARAMETERS, stringRepresentation

Constructor Summary

Constructors

Constructor	Description
XsemanticsTypeSystemGen()

Method Summary

Modifier and Type	Method	Description
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleAuxiliaryDescriptionType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, AuxiliaryDescription aux)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleExpressionInConclusionType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ExpressionInConclusion e)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleInputParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, InputParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleJvmFormalParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.xtext.common.types.JvmFormalParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleOutputParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, OutputParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleRuleParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RuleParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleXExpressionType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.xtext.xbase.XExpression e)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	applyRuleXVariableDeclarationType(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.xtext.xbase.XVariableDeclaration e)
org.eclipse.xtext.common.types.util.TypeReferences	getTypeReferences()
org.eclipse.xtext.xbase.typesystem.IBatchTypeResolver	getTypeResolver()
void	init()
void	setTypeReferences(org.eclipse.xtext.common.types.util.TypeReferences typeReferences)
void	setTypeResolver(org.eclipse.xtext.xbase.typesystem.IBatchTypeResolver typeResolver)
org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	type(org.eclipse.emf.ecore.EObject exp)
org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	type(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.emf.ecore.EObject exp)
org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	type(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.emf.ecore.EObject exp)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, AuxiliaryDescription aux)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ExpressionInConclusion e)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, InputParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, OutputParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RuleParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.xtext.common.types.JvmFormalParameter p)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.xtext.xbase.XExpression e)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.xtext.xbase.XVariableDeclaration e)
protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference>	typeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.emf.ecore.EObject exp)
protected void	typeThrowException(java.lang.String _error, java.lang.String _issue, java.lang.Exception _ex, org.eclipse.emf.ecore.EObject exp, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)

Methods inherited from class org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

addAsSubtrace, addToList, addToTrace, auxFunName, buildPolymorphicDispatcher, buildPolymorphicDispatcher1, buildPolymorphicDispatcher2, buildPolymorphicDispatcher3, checkAssignableTo, checkNotNull, checkParamsNotNull, clone, createRuleFailedException, emptyEnvironment, env, environmentAccess, environmentComposition, environmentEntry, extractRuleFailedException, failed, getAll, getAllNodesInRelation, getAllNodesInRelation, getCache, getEObject, getFromCache, getList, getPredicate, isResultAssignableTo, newRuleFailedException, newRuleFailedException, newRuleFailedException, newRuleFailedException, newRuleFailedException, newTrace, noSuchMethodException, noSuchMethodException, resultForFailure, resultForFailure2, resultForFailure3, ruleName, sneakyThrowRuleFailedException, sneakyThrowRuleFailedException, stringRep, stringRepForEnv, stringRepForParams, stringRepForParams, throwForExplicitFail, throwForExplicitFail, throwRuleFailedException, trimIfNotNull

Methods inherited from class java.lang.Object

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

Field Detail

XEXPRESSIONTYPE

public static final java.lang.String XEXPRESSIONTYPE

See Also:

Constant Field Values

XVARIABLEDECLARATIONTYPE

public static final java.lang.String XVARIABLEDECLARATIONTYPE

See Also:

Constant Field Values

EXPRESSIONINCONCLUSIONTYPE

public static final java.lang.String EXPRESSIONINCONCLUSIONTYPE

See Also:

Constant Field Values

RULEPARAMETERTYPE

public static final java.lang.String RULEPARAMETERTYPE

See Also:

Constant Field Values

INPUTPARAMETERTYPE

public static final java.lang.String INPUTPARAMETERTYPE

See Also:

Constant Field Values

OUTPUTPARAMETERTYPE

public static final java.lang.String OUTPUTPARAMETERTYPE

See Also:

Constant Field Values

JVMFORMALPARAMETERTYPE

public static final java.lang.String JVMFORMALPARAMETERTYPE

See Also:

Constant Field Values

AUXILIARYDESCRIPTIONTYPE

public static final java.lang.String AUXILIARYDESCRIPTIONTYPE

See Also:

Constant Field Values

Constructor Detail

XsemanticsTypeSystemGen

public XsemanticsTypeSystemGen()

Method Detail

init

public void init()

getTypeReferences

public org.eclipse.xtext.common.types.util.TypeReferences getTypeReferences()

setTypeReferences

public void setTypeReferences(org.eclipse.xtext.common.types.util.TypeReferences typeReferences)

getTypeResolver

public org.eclipse.xtext.xbase.typesystem.IBatchTypeResolver getTypeResolver()

setTypeResolver

public void setTypeResolver(org.eclipse.xtext.xbase.typesystem.IBatchTypeResolver typeResolver)

type

public org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> type(org.eclipse.emf.ecore.EObject exp)

type

public org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> type(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
                                                                                                   org.eclipse.emf.ecore.EObject exp)

type

public org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> type(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
                                                                                                   org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                   org.eclipse.emf.ecore.EObject exp)

typeInternal

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
                                                                                                              org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                              org.eclipse.emf.ecore.EObject exp)

typeThrowException

protected void typeThrowException(java.lang.String _error,
                                  java.lang.String _issue,
                                  java.lang.Exception _ex,
                                  org.eclipse.emf.ecore.EObject exp,
                                  org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          org.eclipse.xtext.xbase.XExpression e)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleXExpressionType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleXExpressionType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                          org.eclipse.xtext.xbase.XExpression e)
                                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          org.eclipse.xtext.xbase.XVariableDeclaration e)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleXVariableDeclarationType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleXVariableDeclarationType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                                   org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                                   org.eclipse.xtext.xbase.XVariableDeclaration e)
                                                                                                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          ExpressionInConclusion e)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleExpressionInConclusionType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleExpressionInConclusionType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                                     org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                                     ExpressionInConclusion e)
                                                                                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          RuleParameter p)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleRuleParameterType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleRuleParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                            org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                            RuleParameter p)
                                                                                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          InputParameter p)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleInputParameterType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleInputParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                             org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                             InputParameter p)
                                                                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          OutputParameter p)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleOutputParameterType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleOutputParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                              org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                              OutputParameter p)
                                                                                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          org.eclipse.xtext.common.types.JvmFormalParameter p)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleJvmFormalParameterType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleJvmFormalParameterType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                                 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                                 org.eclipse.xtext.common.types.JvmFormalParameter p)
                                                                                                                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeImpl

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> typeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                          org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                          AuxiliaryDescription aux)
                                                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleAuxiliaryDescriptionType

protected org.eclipse.xsemantics.runtime.Result<org.eclipse.xtext.common.types.JvmTypeReference> applyRuleAuxiliaryDescriptionType(org.eclipse.xsemantics.runtime.RuleEnvironment G,
                                                                                                                                   org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
                                                                                                                                   AuxiliaryDescription aux)
                                                                                                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException