ujf.verimag.bip.time
Class Timed2Untimed

java.lang.Object
  extended by 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

Field Summary
static java.lang.String TICKNAME
           
static java.lang.String TIMESTATE
           
 
Constructor Summary
Timed2Untimed()
           
 
Method Summary
 boolean isTimed(AtomType at)
           
 boolean isTimed(ComponentType ct)
           
 boolean isTimed(CompoundType ct)
           
 boolean markTimedComp(Module m)
           
 void untimed(Module m)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

Timed2Untimed

public Timed2Untimed()
Method Detail

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)