fr.inria.aoste.trace

Interface AssertionState

All Superinterfaces:

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

All Known Implementing Classes:

AssertionStateImpl

public interface AssertionState
extends State

A representation of the model object 'Assertion State'.

The following features are supported:

• Is Violated

See Also:

TracePackage.getAssertionState()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isIsViolated() Returns the value of the 'Is Violated' attribute
void	setIsViolated(boolean value) Sets the value of the 'Is Violated' attribute

Methods inherited from interface fr.inria.aoste.trace.State

getReferedElement, setReferedElement

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

isIsViolated

boolean isIsViolated()

Returns the value of the 'Is Violated' attribute.

If the meaning of the 'Is Violated' attribute isn't clear, there really should be more of a description here...

Returns:

the value of the 'Is Violated' attribute.

See Also:

setIsViolated(boolean), TracePackage.getAssertionState_IsViolated()

setIsViolated

void setIsViolated(boolean value)

Sets the value of the 'Is Violated' attribute.

Parameters:

value - the new value of the 'Is Violated' attribute.

See Also:

isIsViolated()