23 lines
391 B
Plaintext
23 lines
391 B
Plaintext
program sncExample
|
|
double v;
|
|
assign v to "{user}:aiExample";
|
|
monitor v;
|
|
|
|
ss ss1 {
|
|
state init {
|
|
when (delay(10)) {
|
|
printf("sncExample: Startup delay over\n");
|
|
} state low
|
|
}
|
|
state low {
|
|
when (v > 5.0) {
|
|
printf("sncExample: Changing to high\n");
|
|
} state high
|
|
}
|
|
state high {
|
|
when (v <= 5.0) {
|
|
printf("sncExample: Changing to low\n");
|
|
} state low
|
|
}
|
|
}
|