Package org.eclipse.xsemantics.dsl.xsemantics

Interface CheckRule

All Superinterfaces:

org.eclipse.emf.ecore.EObject, Named, org.eclipse.emf.common.notify.Notifier, Overrider, UniqueByName

All Known Implementing Classes:

CheckRuleImpl

public interface CheckRule
extends Overrider

A representation of the model object 'Check Rule'.

The following features are supported:

• Name
• Element
• Premises

See Also:

XsemanticsPackage.getCheckRule()

Method Summary

Modifier and Type	Method	Description
RuleParameter	getElement()	Returns the value of the 'Element' containment reference.
java.lang.String	getName()	Returns the value of the 'Name' attribute.
org.eclipse.xtext.xbase.XExpression	getPremises()	Returns the value of the 'Premises' containment reference.
void	setElement(RuleParameter value)	Sets the value of the 'Element' containment reference.
void	setName(java.lang.String value)	Sets the value of the 'Name' attribute.
void	setPremises(org.eclipse.xtext.xbase.XExpression value)	Sets the value of the 'Premises' containment 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

Methods inherited from interface org.eclipse.xsemantics.dsl.xsemantics.Overrider

isOverride, setOverride

Method Detail

getName

java.lang.String getName()

Returns the value of the 'Name' attribute.

Specified by:

getName in interface Named

Returns:

the value of the 'Name' attribute.

See Also:

setName(String), XsemanticsPackage.getCheckRule_Name()

setName

void setName(java.lang.String value)

Sets the value of the 'Name' attribute.

Parameters:

value - the new value of the 'Name' attribute.

See Also:

getName()

getElement

RuleParameter getElement()

Returns the value of the 'Element' containment reference.

Returns:

the value of the 'Element' containment reference.

See Also:

setElement(RuleParameter), XsemanticsPackage.getCheckRule_Element()

setElement

void setElement(RuleParameter value)

Sets the value of the 'Element' containment reference.

Parameters:

value - the new value of the 'Element' containment reference.

See Also:

getElement()

getPremises

org.eclipse.xtext.xbase.XExpression getPremises()

Returns the value of the 'Premises' containment reference.

Returns:

the value of the 'Premises' containment reference.

See Also:

setPremises(XExpression), XsemanticsPackage.getCheckRule_Premises()

setPremises

void setPremises(org.eclipse.xtext.xbase.XExpression value)

Sets the value of the 'Premises' containment reference.

Parameters:

value - the new value of the 'Premises' containment reference.

See Also:

getPremises()