Interface Assertion
- All Superinterfaces:
AbstractAssertion
,org.eclipse.emf.ecore.EObject
,org.eclipse.emf.common.notify.Notifier
,Statement
- All Known Implementing Classes:
AssertionImpl
A representation of the model object 'Assertion'.
The following features are supported:
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Returns the value of the 'Default' attribute.void
setDefault
(boolean value) Sets the value of the 'Default
' attribute.Methods inherited from interface tools.refinery.language.model.problem.AbstractAssertion
getArguments, getRelation, getValue, setRelation, setValue
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 Details
-
isDefault
boolean isDefault()Returns the value of the 'Default' attribute. The default value is"false"
.- Returns:
- the value of the 'Default' attribute.
- See Also:
-
setDefault
void setDefault(boolean value) Sets the value of the 'Default
' attribute.- Parameters:
value
- the new value of the 'Default' attribute.- See Also:
-