Interface Overrider
-
- All Superinterfaces:
org.eclipse.emf.ecore.EObject,Named,org.eclipse.emf.common.notify.Notifier,UniqueByName
- All Known Subinterfaces:
AuxiliaryDescription,Axiom,CheckRule,Description,JudgmentDescription,Rule,RuleWithPremises
- All Known Implementing Classes:
AuxiliaryDescriptionImpl,AxiomImpl,CheckRuleImpl,DescriptionImpl,JudgmentDescriptionImpl,OverriderImpl,RuleImpl,RuleWithPremisesImpl
public interface Overrider extends UniqueByName
A representation of the model object 'Overrider'.The following features are supported:
- See Also:
XsemanticsPackage.getOverrider()
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanisOverride()Returns the value of the 'Override' attribute.voidsetOverride(boolean value)Sets the value of the 'Override' attribute.
-
-
-
Method Detail
-
isOverride
boolean isOverride()
Returns the value of the 'Override' attribute.- Returns:
- the value of the 'Override' attribute.
- See Also:
setOverride(boolean),XsemanticsPackage.getOverrider_Override()
-
setOverride
void setOverride(boolean value)
Sets the value of the 'Override' attribute.- Parameters:
value- the new value of the 'Override' attribute.- See Also:
isOverride()
-
-