ujf.verimag.bip.Extra.Time
Interface TimedConstraint

All Known Implementing Classes:

TimedConstraintImpl

public interface TimedConstraint

A representation of the model object 'Timed Constraint'.

The following features are supported:

• Clock
• Low Bound
• High Bound
• Time Specification

See Also:

TimePackage.getTimedConstraint()

Method Summary

VariableReference	getClock() Returns the value of the 'Clock' containment reference.
Expression	getHighBound() Returns the value of the 'High Bound' containment reference.
Expression	getLowBound() Returns the value of the 'Low Bound' containment reference.
TimeSpecification	getTimeSpecification() Returns the value of the 'Time Specification' container reference.
void	setClock(VariableReference value) Sets the value of the 'Clock' containment reference.
void	setHighBound(Expression value) Sets the value of the 'High Bound' containment reference.
void	setLowBound(Expression value) Sets the value of the 'Low Bound' containment reference.
void	setTimeSpecification(TimeSpecification value) Sets the value of the 'Time Specification' container reference.

Method Detail

getClock

VariableReference getClock()

Returns the value of the 'Clock' containment reference.

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

Returns:

the value of the 'Clock' containment reference.

See Also:

setClock(VariableReference), TimePackage.getTimedConstraint_Clock()

setClock

void setClock(VariableReference value)

Sets the value of the 'Clock' containment reference.

Parameters:

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

See Also:

getClock()

getLowBound

Expression getLowBound()

Returns the value of the 'Low Bound' containment reference.

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

Returns:

the value of the 'Low Bound' containment reference.

See Also:

setLowBound(Expression), TimePackage.getTimedConstraint_LowBound()

setLowBound

void setLowBound(Expression value)

Sets the value of the 'Low Bound' containment reference.

Parameters:

value - the new value of the 'Low Bound' containment reference.

See Also:

getLowBound()

getHighBound

Expression getHighBound()

Returns the value of the 'High Bound' containment reference.

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

Returns:

the value of the 'High Bound' containment reference.

See Also:

setHighBound(Expression), TimePackage.getTimedConstraint_HighBound()

setHighBound

void setHighBound(Expression value)

Sets the value of the 'High Bound' containment reference.

Parameters:

value - the new value of the 'High Bound' containment reference.

See Also:

getHighBound()

getTimeSpecification

TimeSpecification getTimeSpecification()

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

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

Returns:

the value of the 'Time Specification' container reference.

See Also:

setTimeSpecification(TimeSpecification), TimePackage.getTimedConstraint_TimeSpecification(), TimeSpecification.getTimedConstraint()

setTimeSpecification

void setTimeSpecification(TimeSpecification value)

Sets the value of the 'Time Specification' container reference.

Parameters:

value - the new value of the 'Time Specification' container reference.

See Also:

getTimeSpecification()