Package org.eclipse.xsemantics.dsl.xsemantics

Interface ReferToJudgment

All Superinterfaces:

org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier

All Known Subinterfaces:

Axiom, Rule, RuleInvocation, RuleWithPremises

All Known Implementing Classes:

AxiomImpl, ReferToJudgmentImpl, RuleImpl, RuleInvocationImpl, RuleWithPremisesImpl

public interface ReferToJudgment
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'Refer To Judgment'.

The following features are supported:

• judgment

See Also:

XsemanticsPackage.getReferToJudgment()

Method Summary

Modifier and Type	Method	Description
JudgmentDescription	get_judgment()	Returns the value of the 'judgment' reference.
java.lang.String	getJudgmentSymbol()
org.eclipse.emf.common.util.EList<java.lang.String>	getRelationSymbols()
boolean	isSet_judgment()	Returns whether the value of the 'judgment' reference is set.
void	set_judgment(JudgmentDescription value)	Sets the value of the 'judgment' reference.
void	unset_judgment()	Unsets the value of the 'judgment' reference.

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Method Detail

get_judgment

JudgmentDescription get_judgment()

Returns the value of the 'judgment' reference.

Returns:

the value of the 'judgment' reference.

See Also:

isSet_judgment(), unset_judgment(), set_judgment(JudgmentDescription), XsemanticsPackage.getReferToJudgment__judgment()

set_judgment

void set_judgment(JudgmentDescription value)

Sets the value of the 'judgment' reference.

Parameters:

value - the new value of the 'judgment' reference.

See Also:

isSet_judgment(), unset_judgment(), get_judgment()

unset_judgment

void unset_judgment()

Unsets the value of the 'judgment' reference.

See Also:

isSet_judgment(), get_judgment(), set_judgment(JudgmentDescription)

isSet_judgment

boolean isSet_judgment()

Returns whether the value of the 'judgment' reference is set.

Returns:

whether the value of the 'judgment' reference is set.

See Also:

unset_judgment(), get_judgment(), set_judgment(JudgmentDescription)

getJudgmentSymbol

java.lang.String getJudgmentSymbol()

getRelationSymbols

org.eclipse.emf.common.util.EList<java.lang.String> getRelationSymbols()