blob: 739c6a1afb505a1cb718ad9c53e6c835853c66b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
<?php
require_once('uscxmlNativePHP.php');
// $exts = get_loaded_extensions();
// foreach ($exts as $e)
// {
// echo "Name: ".$e." --";
// print_r(get_extension_funcs($e));
// }
class MyMonitor extends InterpreterMonitor {
function beforeExitingStates($interpreter,$statesToExit) {
print "MyMonitor.beforeExitingStates()\n";
}
function afterExitingStates($interpreter) {
print "MyMonitor.afterExitingStates()\n";
}
function beforeEnteringStates($interpreter,$statesToEnter) {
print "MyMonitor.beforeEnteringStates()\n";
}
function afterEnteringStates($interpreter) {
print "MyMonitor.afterEnteringStates()\n";
}
function onStableConfiguration($interpreter) {
print "MyMonitor.onStableConfiguration()\n";
}
function beforeCompletion($interpreter) {
print "MyMonitor.beforeCompletion()\n";
}
function afterCompletion($interpreter) {
print "MyMonitor.afterCompletion()\n";
}
function beforeMicroStep($interpreter) {
print "MyMonitor.beforeMicroStep()\n";
}
function afterMicroStep($interpreter) {
print "MyMonitor.afterMicroStep()\n";
}
function beforeTakingTransitions($interpreter,$transitions) {
print "MyMonitor.beforeTakingTransitions()\n";
}
}
$monitor = new MyMonitor();
// run interpreter in blocking mode
$interpreter = Interpreter::fromURL('https://raw.githubusercontent.com/tklab-tud/uscxml/master/test/uscxml/test-invoked.scxml');
$interpreter->addMonitor($monitor);
$interpreter->interpret();
// interleave interpreter execution with this thread
$interpreter = Interpreter::fromURL('https://raw.githubusercontent.com/tklab-tud/uscxml/master/test/uscxml/test-invoked.scxml');
$parentQueue = new ParentQueue();
$interpreter->setParentQueue($parentQueue);
while($interpreter->step() > 0) {
$event = $parentQueue->pop();
print("Name: " . $event->getName() . "\n");
print("Type: " . $event->getType() . "\n");
print("Origin: " . $event->getOrigin() . "\n");
print("OriginType: " . $event->getOriginType() . "\n");
print("Content " . strlen($event->getContent()) . " bytes: \n'" . $event->getContent() . "'\n");
$namelist = $event->getNameList();
print("Namelist ".$namelist->size()." elements: \n");
$keys = $event->getNameListKeys();
for ($i = 0; $i < $keys->size(); $i++) {
print($keys->get($i) . "\t" . Data::toJSON($namelist->get($keys->get($i))) . "\n");
}
$params = $event->getParamMap();
print("Params ". $params->size() ." elements: \n");
$keys = $event->getParamMapKeys();
for ($i = 0; $i < $keys->size(); $i++) {
print($keys->get($i)."\n");
$paramList = $params->get($keys->get($i));
for ($j = 0; $j < $paramList->size(); $j++) {
print("\t" . Data::toJSON($paramList->get($i)) . "\n");
}
}
}
?>
|