Package org.eclipse.xsemantics.dsl.generator

Class XsemanticsGeneratorExtensions

  • public class XsemanticsGeneratorExtensions
extends java.lang.Object

    • Field Detail

      • associations

        @Inject
protected org.eclipse.xtext.xbase.jvmmodel.IJvmModelAssociations associations

      • RESULT_GET_METHODS

        protected static final java.util.ArrayList<java.lang.String> RESULT_GET_METHODS

    • Constructor Detail

      • XsemanticsGeneratorExtensions

        public XsemanticsGeneratorExtensions()

    • Method Detail

      • getResultGetMethods

        public static java.util.ArrayList<java.lang.String> getResultGetMethods()

      • toJavaFullyQualifiedName

        public org.eclipse.xtext.naming.QualifiedName toJavaFullyQualifiedName​(XsemanticsSystem ts)

      • toJavaFullyQualifiedName

        public java.lang.String toJavaFullyQualifiedName​(Named e)

      • toJavaClassName

        public java.lang.String toJavaClassName​(Named e)

      • toValidatorPackage

        public java.lang.String toValidatorPackage​(XsemanticsSystem ts)

      • toValidatorJavaClassName

        public java.lang.String toValidatorJavaClassName​(XsemanticsSystem ts)

      • toValidatorJavaFullyQualifiedName

        public java.lang.String toValidatorJavaFullyQualifiedName​(XsemanticsSystem ts)

      • ruleIssueString

        public java.lang.String ruleIssueString​(Named e)

      • polymorphicDispatcherField

        public java.lang.CharSequence polymorphicDispatcherField​(UniqueByName e)

      • relationSymbolsArgs

        public java.lang.String relationSymbolsArgs​(JudgmentDescription judgmentDescription)

      • polymorphicDispatcherImpl

        public java.lang.CharSequence polymorphicDispatcherImpl​(JudgmentDescription judgmentDescription)

      • polymorphicDispatcherBuildMethod

        public java.lang.CharSequence polymorphicDispatcherBuildMethod​(JudgmentDescription judgmentDescription)

      • polymorphicDispatcherBuildMethodSuffix

        public int polymorphicDispatcherBuildMethodSuffix​(JudgmentDescription judgmentDescription)

      • polymorphicDispatcherImpl

        public java.lang.CharSequence polymorphicDispatcherImpl​(AuxiliaryDescription aux)

      • polymorphicDispatcherNumOfArgs

        public java.lang.CharSequence polymorphicDispatcherNumOfArgs​(JudgmentDescription judgmentDescription)

      • polymorphicDispatcherNumOfArgs

        public java.lang.CharSequence polymorphicDispatcherNumOfArgs​(AuxiliaryDescription aux)

      • entryPointMethodName

        public java.lang.CharSequence entryPointMethodName​(Description desc)

      • succeededMethodName

        public java.lang.CharSequence succeededMethodName​(JudgmentDescription judgmentDescription)

      • inputParameterName

        public java.lang.String inputParameterName​(InputParameter param)

      • environmentName

        public java.lang.CharSequence environmentName()

      • entryPointInternalMethodName

        public java.lang.CharSequence entryPointInternalMethodName​(JudgmentDescription judgmentDescription)

      • entryPointInternalMethodName

        public java.lang.CharSequence entryPointInternalMethodName​(AuxiliaryDescription aux)

      • additionalArgs

        public java.lang.CharSequence additionalArgs()

      • ruleApplicationTraceName

        public java.lang.CharSequence ruleApplicationTraceName()

      • ruleApplicationSubtraceName

        public java.lang.CharSequence ruleApplicationSubtraceName()

      • exceptionVarName

        public java.lang.CharSequence exceptionVarName​(UniqueByName e)

      • exceptionVarName

        public java.lang.String exceptionVarName​(Rule rule)

      • exceptionVarName

        public java.lang.String exceptionVarName​(AuxiliaryFunction aux)

      • suffixStartingFrom2

        public java.lang.String suffixStartingFrom2​(JudgmentDescription judgmentDescription)

      • throwExceptionMethod

        public java.lang.CharSequence throwExceptionMethod​(UniqueByName e)

      • cacheConditionMethod

        public java.lang.CharSequence cacheConditionMethod​(Cachable c)

      • throwRuleFailedExceptionMethod

        public java.lang.CharSequence throwRuleFailedExceptionMethod()

      • newTraceMethod

        public java.lang.CharSequence newTraceMethod​(java.lang.CharSequence trace)

      • applyRuleName

        public java.lang.CharSequence applyRuleName​(Rule rule)

      • applyAuxFunName

        public java.lang.CharSequence applyAuxFunName​(AuxiliaryFunction aux)

      • additionalArgsForRule

        public java.lang.CharSequence additionalArgsForRule​(Rule rule)

      • additionalArgsForRuleInvocation

        public java.lang.CharSequence additionalArgsForRuleInvocation​(RuleInvocation ruleInvocation)

      • ruleEnvName

        public java.lang.String ruleEnvName​(Rule rule)

      • addToTraceMethod

        public org.eclipse.xtend2.lib.StringConcatenationClient addToTraceMethod​(java.lang.CharSequence trace,
                                                                         java.lang.CharSequence toAdd)

      • addAsSubtraceMethod

        public java.lang.CharSequence addAsSubtraceMethod​(java.lang.CharSequence trace,
                                                  java.lang.CharSequence subtrace)

      • traceStringForRule

        public java.lang.String traceStringForRule​(Rule rule)

      • stringForRule

        public java.lang.String stringForRule​(Rule rule,
                                      org.eclipse.xtext.xbase.lib.Functions.Function1<? super RuleConclusionElement,​? extends java.lang.CharSequence> forOutput,
                                      org.eclipse.xtext.xbase.lib.Functions.Function1<? super RuleConclusionElement,​? extends java.lang.CharSequence> forInput)

      • traceStringForAuxiliaryFun

        public java.lang.String traceStringForAuxiliaryFun​(AuxiliaryFunction aux)

      • ruleNameInvocation

        public java.lang.CharSequence ruleNameInvocation​(java.lang.String ruleName)

      • auxFunNameInvocation

        public java.lang.CharSequence auxFunNameInvocation​(java.lang.String ruleName)

      • wrapInStringReprForEnv

        public java.lang.CharSequence wrapInStringReprForEnv​(java.lang.CharSequence s)

      • stringRepresentationForEnv

        public java.lang.CharSequence stringRepresentationForEnv()

      • stringRepresentation

        public java.lang.CharSequence stringRepresentation()

      • wrapInStringRepr

        public java.lang.CharSequence wrapInStringRepr​(java.lang.CharSequence s)

      • resultVariableForTrace

        public java.lang.CharSequence resultVariableForTrace()

      • sneakyThrowRuleFailedException

        public java.lang.String sneakyThrowRuleFailedException()

      • ruleConclusionInputParamForError

        public java.lang.String ruleConclusionInputParamForError​(RuleConclusionElement element)

      • inputParameterNames

        public java.lang.String inputParameterNames​(Rule rule)

      • inputParameterNames

        public java.lang.String inputParameterNames​(AuxiliaryFunction aux)

      • errorForRule

        public java.lang.String errorForRule​(Rule rule)

      • errorForAuxiliaryFun

        public java.lang.String errorForAuxiliaryFun​(AuxiliaryFunction aux)

      • ruleConclusionOutputParamForError

        public java.lang.String ruleConclusionOutputParamForError​(RuleConclusionElement element)

      • javaString

        public java.lang.String javaString​(java.lang.String s)

      • resultType

        public void resultType​(JudgmentDescription judgmentDescription,
                       org.eclipse.xtext.xbase.compiler.IAppendable b)

      • resultType

        public org.eclipse.xtext.common.types.JvmTypeReference resultType​(JudgmentDescription e)

      • resultType

        public org.eclipse.xtext.common.types.JvmTypeReference resultType​(AuxiliaryDescription e)

      • resultType

        public org.eclipse.xtext.common.types.JvmTypeReference resultType​(AuxiliaryFunction e)

      • resultJvmTypeReferences

        public java.util.ArrayList<org.eclipse.xtext.common.types.JvmTypeReference> resultJvmTypeReferences​(JudgmentDescription e)

      • resultType

        public void resultType​(CheckRule checkRule,
                       org.eclipse.xtext.xbase.compiler.IAppendable b)

      • resultType

        public org.eclipse.xtext.common.types.JvmTypeReference resultType​(CheckRule checkRule)

      • errorInformationType

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

      • exceptionType

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

      • emptyEnvironmentInvocation

        public java.lang.String emptyEnvironmentInvocation()

      • environmentEntryInvocation

        public java.lang.String environmentEntryInvocation()

      • environmentCompositionInvocation

        public java.lang.String environmentCompositionInvocation()

      • methodName

        public java.lang.String methodName​(CheckRule rule)

      • associatedAuxiliaryDescription

        public AuxiliaryDescription associatedAuxiliaryDescription​(org.eclipse.xtext.common.types.JvmIdentifiableElement e)

      • declareVariablesForOutputParams

        public void declareVariablesForOutputParams​(Rule rule,
                                            org.eclipse.xtext.xbase.compiler.output.ITreeAppendable appendable)

      • declareVariableForOutputParam

        public org.eclipse.xtext.xbase.compiler.output.ITreeAppendable declareVariableForOutputParam​(RuleParameter ruleParam,
                                                                                             org.eclipse.xtext.xbase.compiler.output.ITreeAppendable appendable)

      • expressionInConclusionMethodName

        public java.lang.String expressionInConclusionMethodName​(ExpressionInConclusion e)

      • compileReturnResult

        public org.eclipse.xtext.xbase.compiler.output.ITreeAppendable compileReturnResult​(Rule rule,
                                                                                   org.eclipse.xtext.common.types.JvmTypeReference resultType,
                                                                                   org.eclipse.xtext.xbase.compiler.output.ITreeAppendable result)

      • escapeJavaStringChars

        public java.lang.String escapeJavaStringChars​(java.lang.String s)

      • inputEObjectParams

        public java.lang.Iterable<RuleParameter> inputEObjectParams​(Rule rule)

      • inputEObjectParams

        public java.lang.Iterable<org.eclipse.xtext.common.types.JvmFormalParameter> inputEObjectParams​(AuxiliaryFunction aux)