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

Packages that use RuleWithPremises

Package	Description
org.eclipse.xsemantics.dsl.generator
org.eclipse.xsemantics.dsl.jvmmodel
org.eclipse.xsemantics.dsl.serializer
org.eclipse.xsemantics.dsl.xsemantics
org.eclipse.xsemantics.dsl.xsemantics.impl
org.eclipse.xsemantics.dsl.xsemantics.util

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

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

Modifier and Type	Method	Description
void	XsemanticsXbaseCompiler.compilePremises(RuleWithPremises rule, org.eclipse.xtext.xbase.compiler.output.ITreeAppendable result)
void	XsemanticsXbaseCompiler.compileRuleBody(RuleWithPremises rule, org.eclipse.xtext.common.types.JvmTypeReference resultType, org.eclipse.xtext.xbase.compiler.output.ITreeAppendable result)

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

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

Modifier and Type	Method	Description
protected void	XsemanticsJvmModelInferrer._assignBody(org.eclipse.xtext.common.types.JvmExecutable logicalContainer, RuleWithPremises rule)

Uses of RuleWithPremises in org.eclipse.xsemantics.dsl.serializer

Methods in org.eclipse.xsemantics.dsl.serializer with parameters of type RuleWithPremises

Modifier and Type	Method	Description
protected void	XsemanticsSemanticSequencer.sequence_RuleWithPremises(org.eclipse.xtext.serializer.ISerializationContext context, RuleWithPremises semanticObject)	Contexts: Rule returns RuleWithPremises RuleWithPremises returns RuleWithPremises Constraint: (override?='override'? name=ID conclusion=RuleConclusion premises=XBlockExpression)

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

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

Modifier and Type	Method	Description
RuleWithPremises	XsemanticsFactory.createRuleWithPremises()	Returns a new object of class 'Rule With Premises'.

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

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

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

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

Modifier and Type	Method	Description
RuleWithPremises	XsemanticsFactoryImpl.createRuleWithPremises()

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

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

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