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:

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()