echarts.org - Re:TimerTransitions and runtime model

Main Menu

Login Form

Home

Forums

	ECharts	Forum Threaded View

Welcome, Guest

ECharts

Discuss

TimerTransitions and runtime model (0 viewing)

Favoured: 0

TOPIC: TimerTransitions and runtime model

Forum Tools

#295

Behrad (User)

Fresh Boarder

Posts: 10

TimerTransitions and runtime model 1 Year, 3 Months ago

When using timer transitions the only way that my machine works, is as follows:

Code: :


 user = new ExternalPort( "testControlPort" );
machine = new SimpleMachine( user );
user.input( "Message 1" );
user.input( "Message 2" );
machine.run();

BUT both (non-blocking and blocking) models down below doesn't work and program terminates without the timer transition to be fired!

Blocking:

Code: :


 MachineThread t = new MachineThread( machine );
t.start(); // setting this thread to be daemon also didn't work
user.input( "Message 1" );
user.input( "Message 2" );

Non-blocking:

Code: :


 
machine.run( user, "Message 1" );
machine.run( user, "Message 2" );

What happens to timers? How can I make delay transitions to work for the last two runtime models?

Report to moderator Logged

Logged

The administrator has disabled public write access.

#296

Gregory W. Bond (User)

Expert Boarder

Posts: 81

Re:TimerTransitions and runtime model 1 Year, 3 Months ago

works ok for me:

DelayMachine.ech:

Code: :


 
public machine DelayMachine {

    <* final ExternalPort port *>

    public DelayMachine(ExternalPort port) {
        this.port = port;
    }

    initial state S1;
    state S2;
    transition S1 - delay(2000) -> S2;
    state S3;
    transition S2 - port ? String -> S3;

}

DelayMachineTest.java:

Code: :


 
import org.echarts.MachineThread;
import org.echarts.ExternalPort;

public class DelayMachineTest {
    public static final void main(String[] args) {
        try {
            final ExternalPort port = new ExternalPort("port");
            new MachineThread(new DelayMachine(port)).start();
            port.input("Hello");
        } catch (Exception e) { e.printStackTrace(); }
    }
}

compile and execute:

Code: :


 
ech2java DelayMachine.ech
javac -g -classpath echarts.jar DelayMachine.java DelayMachineTest.java
java -classpath .:echarts.jar -Dorg.echarts.debugging=true DelayMachineTest

log:

Code: :


 
time: 2009.06.01 09:57:29:766 EDT (1243864649766)
event: MessageTransitionEvent
root: 656af1e9:1219c1c480c:-7fff
machine: 656af1e9:1219c1c480c:-7fff
state path: :(DelayMachine)
sequence: 656af1e9:1219c1c480c:-7ffd
transition: [S1] - delay(2000) -> [S2]
activated: 1243864647764
expired: 1243864649764
local state: 
{
    ...
    S2
    ...
}
ACTIVATION_TIME: 1243864647764
DURATION: 2000
EXPIRY_TIME: 1243864649764
MESSAGE_CLASS: org.echarts.TransitionTimeoutMessage
PORT_ID: 656af1e9:1219c1c480c:-7ffd
PORT_TYPE: TRANSITION_TIMER_PORT
############################################################
time: 2009.06.01 09:57:29:772 EDT (1243864649772)
event: MessageTransitionEvent
root: 656af1e9:1219c1c480c:-7fff
machine: 656af1e9:1219c1c480c:-7fff
state path: :(DelayMachine)
sequence: 656af1e9:1219c1c480c:-8000
transition: [S2] - port ? String (Hello) -> [S3]
local state: 
{
    ...
    S3
    ...
}
MESSAGE_CLASS: java.lang.String
PORT_ID: 656af1e9:1219c1c480c:-8000
PORT_NAME: port
PORT_TYPE: EXTERNAL_PORT
############################################################

Report to moderator Logged

Logged

The administrator has disabled public write access.

Forum List

ECharts

Discuss