不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
: Q1 k& j& q2 s- X1 O; Z& o. Ris       
) O4 i7 q& X1 o4 Ydo       
* |  W" M" a1 \3 I9 D        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
0 }9 D5 \% V0 o) a& Z        then
0 h; u0 g. ?5 ~& a/ l( @+ T                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
        else
                waituntil zhuZhan.empty = false;
9 p+ Z' f) ?, T' f; T                zhuZhan[1].move();
8 o2 g9 z9 \, b2 a+ l* A                now_depart_num = now_depart_num + 1;
        end;                                       
end;

8 t3 J/ X5 l# E( A( c8 }/ t2 s+ _( o但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
( @0 C# f1 V+ B) K& `6 T9 k若是增加一个局部变量，如下：
is
! N' Y1 A) \3 J2 q              depart_time : time;
! T4 i; N- M2 d- Y6 L- E. a, Xdo
1 W; Y( M5 R/ n- i% U, ^: K2 }3 H              depart_time := schedule[now_depart_num];
- N2 @0 x/ P+ F6 r2 ^* F5 d3 a. W              waituntil EventController.simTime = depart_time;
              。。。
4 H8 O& @0 P7 w2 k/ v; h  C8 Z又会出现syntax error near line 5 at <;>!
& t: i; c  d& h) c5 M  _
" ~6 b0 ]3 U2 V. t9 R+ H各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
9 M( }( L4 ^. Z( A. O% Q2 o& C
now_depart_num := 1;
begin_time := 0;
while 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
" Q; V, W) }, e1 a/ d ....

begin_time := depart_time;
now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
) x4 }  Q, @) _( u' W' C- v+ e# T! F每次等待以后把now_depart_num增加1，表格就往下走一行。

# w% M% D* u: w另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。