ujf.verimag.bip.Extra.Contracts
Interface ContractState

All Superinterfaces:

NamedElement, State

All Known Implementing Classes:

ContractStateImpl

public interface ContractState
extends State

A representation of the model object 'Contract State'.

The following features are supported:

• Is Accepting
• Invariant

See Also:

ContractsPackage.getContractState()

Method Summary

Expression	getInvariant() Returns the value of the 'Invariant' containment reference.
boolean	isIsAccepting() Returns the value of the 'Is Accepting' attribute.
void	setInvariant(Expression value) Sets the value of the 'Invariant' containment reference.
void	setIsAccepting(boolean value) Sets the value of the 'Is Accepting' attribute.

Methods inherited from interface ujf.verimag.bip.Core.Behaviors.State

getAlternativeIncoming, getIncoming, getOutgoing

Methods inherited from interface ujf.verimag.bip.Core.Behaviors.NamedElement

getName, getScope, setName, setScope

Method Detail

isIsAccepting

boolean isIsAccepting()

Returns the value of the 'Is Accepting' attribute.

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

Returns:

the value of the 'Is Accepting' attribute.

See Also:

setIsAccepting(boolean), ContractsPackage.getContractState_IsAccepting()

setIsAccepting

void setIsAccepting(boolean value)

Sets the value of the 'Is Accepting' attribute.

Parameters:

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

See Also:

isIsAccepting()

getInvariant

Expression getInvariant()

Returns the value of the 'Invariant' containment reference.

If the meaning of the 'Invariant' containment reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Invariant' containment reference.

See Also:

setInvariant(Expression), ContractsPackage.getContractState_Invariant()

setInvariant

void setInvariant(Expression value)

Sets the value of the 'Invariant' containment reference.

Parameters:

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

See Also:

getInvariant()