不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
- r& ?+ S: \2 x) `1 Vis       
8 L0 y$ V% [% Kdo       
7 Y' Y$ |$ i' ?+ a6 W8 v' V! O7 W        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
) P0 {7 K- u6 [3 F        then
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
        else
                waituntil zhuZhan.empty = false;
7 S' I. u" ^. R- ^- r                zhuZhan[1].move();
  R) L4 R1 K0 O' J. G                now_depart_num = now_depart_num + 1;
        end;                                       
% o, f" `$ o9 C+ {0 S  K9 Rend;
2 P) a6 |2 Z2 P# Y
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
+ _' Q6 r, l" {& Z/ b" t" H若是增加一个局部变量，如下：
9 a$ {. v8 d; J- jis
1 j5 W& e+ B8 T# t7 U              depart_time : time;
do
2 T6 o5 i# l$ E              depart_time := schedule[now_depart_num];
  e1 s* `7 p/ ]& o: Y              waituntil EventController.simTime = depart_time;
              。。。
又会出现syntax error near line 5 at <;>!

. ~& J) D# S' D: h  Z* I/ A各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
0 X' T! \. H. R( r, T! D
now_depart_num := 1;
) O# H$ ]# f# ], J9 obegin_time := 0;
+ i0 ^2 R3 i/ `2 P' c% _while 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
....
0 c4 ?3 y: R6 c7 D8 N' }% m
begin_time := depart_time;
8 y# c  [- U$ ~! B now_depart_num := now_depart_num + 1;
9 X7 }% T" z9 G7 I. S9 `' Y3 vend;

xiongbing2010

回复 2# SimChen谢谢楼上热心指导，只是我还是没有太明白，尤其是begin_time在程序中是起什么作用的？它是怎么从0变成now_depart_time的?

SimChen

我尽量用你的变量定义,增加了一个begin_time
depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
3 ?: z- {' ^4 a9 b  M每次等待以后把now_depart_num增加1，表格就往下走一行。
( `& C- G+ n( i( A+ B+ e& \( k
. }+ y- u+ C3 G6 B) L另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。