Uses of Interface
org.eclipse.xsemantics.dsl.xsemantics.Rule

Packages that use Rule

Package	Description
org.eclipse.xsemantics.dsl.generator
org.eclipse.xsemantics.dsl.jvmmodel
org.eclipse.xsemantics.dsl.typing
org.eclipse.xsemantics.dsl.util
org.eclipse.xsemantics.dsl.validation
org.eclipse.xsemantics.dsl.xsemantics
org.eclipse.xsemantics.dsl.xsemantics.impl
org.eclipse.xsemantics.dsl.xsemantics.util

Uses of Rule in org.eclipse.xsemantics.dsl.generator

Methods in org.eclipse.xsemantics.dsl.generator with parameters of type Rule

Modifier and Type	Method	Description
java.lang.CharSequence	XsemanticsGeneratorExtensions.additionalArgsForRule(Rule rule)
java.lang.CharSequence	XsemanticsGeneratorExtensions.applyRuleName(Rule rule)
org.eclipse.xtext.xbase.compiler.output.ITreeAppendable	XsemanticsGeneratorExtensions.compileReturnResult(Rule rule, org.eclipse.xtext.common.types.JvmTypeReference resultType, org.eclipse.xtext.xbase.compiler.output.ITreeAppendable result)
void	XsemanticsGeneratorExtensions.declareVariablesForOutputParams(Rule rule, org.eclipse.xtext.xbase.compiler.output.ITreeAppendable appendable)
java.lang.String	XsemanticsGeneratorExtensions.errorForRule(Rule rule)
java.lang.String	XsemanticsGeneratorExtensions.exceptionVarName(Rule rule)
java.lang.Iterable<RuleParameter>	XsemanticsGeneratorExtensions.inputEObjectParams(Rule rule)
java.lang.String	XsemanticsGeneratorExtensions.inputParameterNames(Rule rule)
java.lang.String	XsemanticsGeneratorExtensions.ruleEnvName(Rule rule)
java.lang.String	XsemanticsGeneratorExtensions.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)
java.lang.String	XsemanticsGeneratorExtensions.traceStringForRule(Rule rule)

Uses of Rule in org.eclipse.xsemantics.dsl.jvmmodel

Methods in org.eclipse.xsemantics.dsl.jvmmodel with parameters of type Rule

Modifier and Type	Method	Description
protected void	XsemanticsJvmModelInferrer._assignBody(org.eclipse.xtext.common.types.JvmExecutable logicalContainer, Rule rule)
void	XsemanticsJvmModelInferrer.assignBody(org.eclipse.xtext.common.types.JvmExecutable logicalContainer, Rule rule)
org.eclipse.xtext.common.types.JvmOperation	XsemanticsJvmModelInferrer.compileApplyMethod(Rule rule)
org.eclipse.xtext.common.types.JvmOperation	XsemanticsJvmModelInferrer.compileErrorSpecificationMethod(Rule rule)
org.eclipse.xtext.common.types.JvmOperation	XsemanticsJvmModelInferrer.compileImplMethod(Rule rule)
org.eclipse.xtend2.lib.StringConcatenationClient	XsemanticsJvmModelInferrer.errorInformationArgs(Rule rule)
java.util.List<org.eclipse.xtext.common.types.JvmFormalParameter>	XsemanticsJvmModelInferrer.inputParameters(Rule rule)
org.eclipse.xtext.common.types.JvmFormalParameter	XsemanticsJvmModelInferrer.paramForEnvironment(Rule rule)

Uses of Rule in org.eclipse.xsemantics.dsl.typing

Methods in org.eclipse.xsemantics.dsl.typing with parameters of type Rule

Modifier and Type	Method	Description
TupleType	XsemanticsTypeSystem.getInputTypes(Rule rule)

Uses of Rule in org.eclipse.xsemantics.dsl.util

Methods in org.eclipse.xsemantics.dsl.util that return Rule

Modifier and Type	Method	Description
Rule	XsemanticsUtils.containingRule(org.eclipse.emf.ecore.EObject element)

Methods in org.eclipse.xsemantics.dsl.util that return types with arguments of type Rule

Modifier and Type	Method	Description
java.lang.Iterable<Rule>	XsemanticsUtils.allRules(XsemanticsSystem system)
java.util.List<Rule>	XsemanticsUtils.allRulesByJudgmentDescription(XsemanticsSystem ts, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)
java.lang.Iterable<Rule>	XsemanticsUtils.filterRulesByJudgmentDescription(java.lang.Iterable<Rule> rules, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)
java.lang.Iterable<Rule>	XsemanticsUtils.filterRulesByJudgmentDescription(XsemanticsSystem ts, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)
java.lang.Iterable<Rule>	XsemanticsUtils.rulesForJudgmentDescription(JudgmentDescription judgmentDescription)

Methods in org.eclipse.xsemantics.dsl.util with parameters of type Rule

Modifier and Type	Method	Description
java.util.List<ExpressionInConclusion>	XsemanticsUtils.expressionsInConclusion(Rule rule)
org.eclipse.emf.common.util.EList<RuleParameter>	XsemanticsUtils.inputParams(Rule rule)
java.util.List<RuleConclusionElement>	XsemanticsUtils.outputConclusionElements(Rule rule)
java.util.List<RuleParameter>	XsemanticsUtils.outputParams(Rule rule)

Method parameters in org.eclipse.xsemantics.dsl.util with type arguments of type Rule

Modifier and Type	Method	Description
java.lang.Iterable<Rule>	XsemanticsUtils.filterRulesByJudgmentDescription(java.lang.Iterable<Rule> rules, java.lang.String judgmentSymbol, java.lang.Iterable<java.lang.String> relationSymbols)

Uses of Rule in org.eclipse.xsemantics.dsl.validation

Methods in org.eclipse.xsemantics.dsl.validation with parameters of type Rule

Modifier and Type	Method	Description
void	XsemanticsValidator.checkRule(Rule rule)

Uses of Rule in org.eclipse.xsemantics.dsl.xsemantics

Subinterfaces of Rule in org.eclipse.xsemantics.dsl.xsemantics

Modifier and Type	Interface	Description
interface	Axiom	A representation of the model object 'Axiom'.
interface	RuleWithPremises	A representation of the model object 'Rule With Premises'.

Methods in org.eclipse.xsemantics.dsl.xsemantics that return Rule

Modifier and Type	Method	Description
Rule	XsemanticsFactory.createRule()	Returns a new object of class 'Rule'.

Methods in org.eclipse.xsemantics.dsl.xsemantics that return types with arguments of type Rule

Modifier and Type	Method	Description
org.eclipse.emf.common.util.EList<Rule>	XsemanticsSystem.getRules()	Returns the value of the 'Rules' containment reference list.

Uses of Rule in org.eclipse.xsemantics.dsl.xsemantics.impl

Classes in org.eclipse.xsemantics.dsl.xsemantics.impl that implement Rule

Modifier and Type	Class	Description
class	AxiomImpl	An implementation of the model object 'Axiom'.
class	RuleImpl	An implementation of the model object 'Rule'.
class	RuleWithPremisesImpl	An implementation of the model object 'Rule With Premises'.

Fields in org.eclipse.xsemantics.dsl.xsemantics.impl with type parameters of type Rule

Modifier and Type	Field	Description
protected org.eclipse.emf.common.util.EList<Rule>	XsemanticsSystemImpl.rules	The cached value of the 'Rules' containment reference list.

Methods in org.eclipse.xsemantics.dsl.xsemantics.impl that return Rule

Modifier and Type	Method	Description
Rule	XsemanticsFactoryImpl.createRule()

Methods in org.eclipse.xsemantics.dsl.xsemantics.impl that return types with arguments of type Rule

Modifier and Type	Method	Description
org.eclipse.emf.common.util.EList<Rule>	XsemanticsSystemImpl.getRules()

Uses of Rule in org.eclipse.xsemantics.dsl.xsemantics.util

Methods in org.eclipse.xsemantics.dsl.xsemantics.util with parameters of type Rule

Modifier and Type	Method	Description
T	XsemanticsSwitch.caseRule(Rule object)	Returns the result of interpreting the object as an instance of 'Rule'.