ujf.verimag.bip.time
Class Timed2Untimed
java.lang.Object
ujf.verimag.bip.time.Timed2Untimed
public class Timed2Untimed
- extends java.lang.Object
- Author:
- arobert
module to transform the timed BIP to core BIP feature.
The rules used to do this transformation are:
- if a component as already the tick port use it without transformation. It
is view as a user timed component, or already transform by BIP compiler
for imported packages
- if an atomic component contains a timed transition:
- add the tick port
- add a time state with a loop transition triggered by the tick port
and with action : increment all timed variable.
- if a compound component contains another component with tick port, add
the tick port
- add the timed condition to the guard of the transition (clock in the interval)
- eager transition are translated to a priority between trigger and tick port
if the component is in the origin state of the transition
- nothing to add to the lazy transition
- delayable transition are translated to a priority between trigger and tick
port when the clock reach delay upper bound.
- connect all the tick portsx
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TICKNAME
public static final java.lang.String TICKNAME
- See Also:
- Constant Field Values
TIMESTATE
public static final java.lang.String TIMESTATE
- See Also:
- Constant Field Values
Timed2Untimed
public Timed2Untimed()
isTimed
public boolean isTimed(ComponentType ct)
isTimed
public boolean isTimed(AtomType at)
isTimed
public boolean isTimed(CompoundType ct)
markTimedComp
public boolean markTimedComp(Module m)
untimed
public void untimed(Module m)