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

Packages that use ReferToJudgment

Package	Description
org.eclipse.xsemantics.dsl.util
org.eclipse.xsemantics.dsl.xsemantics
org.eclipse.xsemantics.dsl.xsemantics.impl
org.eclipse.xsemantics.dsl.xsemantics.util

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

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

Modifier and Type	Method	Description
JudgmentDescription	XsemanticsUtils.getJudgmentDescription(ReferToJudgment e)

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

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

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

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

Modifier and Type	Method	Description
ReferToJudgment	XsemanticsFactory.createReferToJudgment()	Returns a new object of class 'Refer To Judgment'.

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

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

Modifier and Type	Class	Description
class	AxiomImpl	An implementation of the model object 'Axiom'.
class	ReferToJudgmentImpl	An implementation of the model object 'Refer To Judgment'.
class	RuleImpl	An implementation of the model object 'Rule'.
class	RuleInvocationImpl	An implementation of the model object 'Rule Invocation'.
class	RuleWithPremisesImpl	An implementation of the model object 'Rule With Premises'.

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

Modifier and Type	Method	Description
ReferToJudgment	XsemanticsFactoryImpl.createReferToJudgment()

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

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

Modifier and Type	Method	Description
T	XsemanticsSwitch.caseReferToJudgment(ReferToJudgment object)	Returns the result of interpreting the object as an instance of 'Refer To Judgment'.