ujf.verimag.bip.Extra.Time
Interface TimeSpecification

All Known Implementing Classes:

TimeSpecificationImpl

public interface TimeSpecification

A representation of the model object 'Specification'.

The following features are supported:

• Urgency
• Transition
• Timed Constraint

See Also:

TimePackage.getTimeSpecification()

Method Summary

	getTimedConstraint() Returns the value of the 'Timed Constraint' containment reference list.
AbstractTransition	getTransition() Returns the value of the 'Transition' container reference.
UrgencyKind	getUrgency() Returns the value of the 'Urgency' attribute.
void	setTransition(AbstractTransition value) Sets the value of the 'Transition' container reference.
void	setUrgency(UrgencyKind value) Sets the value of the 'Urgency' attribute.

Method Detail

getUrgency

UrgencyKind getUrgency()

Returns the value of the 'Urgency' attribute. The literals are from the enumeration UrgencyKind.

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

Returns:

the value of the 'Urgency' attribute.

See Also:

UrgencyKind, setUrgency(UrgencyKind), TimePackage.getTimeSpecification_Urgency()

setUrgency

void setUrgency(UrgencyKind value)

Sets the value of the 'Urgency' attribute.

Parameters:

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

See Also:

UrgencyKind, getUrgency()

getTransition

AbstractTransition getTransition()

Returns the value of the 'Transition' container reference. It is bidirectional and its opposite is 'Time Specification'.

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

Returns:

the value of the 'Transition' container reference.

See Also:

setTransition(AbstractTransition), TimePackage.getTimeSpecification_Transition(), AbstractTransition.getTimeSpecification()

setTransition

void setTransition(AbstractTransition value)

Sets the value of the 'Transition' container reference.

Parameters:

value - the new value of the 'Transition' container reference.

See Also:

getTransition()

getTimedConstraint

 getTimedConstraint()

Returns the value of the 'Timed Constraint' containment reference list. The list contents are of type TimedConstraint. It is bidirectional and its opposite is 'Time Specification'.

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

Returns:

the value of the 'Timed Constraint' containment reference list.

See Also:

TimePackage.getTimeSpecification_TimedConstraint(), TimedConstraint.getTimeSpecification()