不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
do       
        waituntil EventController.simTime = Schedule[now_depart_num];
0 e! l. n. p% a  S0 V        if zhuZhan.empty = false
        then
5 a4 w5 P6 h9 j" [                zhuZhan[1].move();
& O9 K* L" i( R                now_depart_num = now_depart_num + 1;               
        else
                waituntil zhuZhan.empty = false;
! {; k! L8 ?- J5 b                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
% `: i( _7 X+ E( q  P% U        end;                                       
end;
: d) F4 m8 I4 g0 @$ i) }& z
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
5 R) I$ {; u9 U若是增加一个局部变量，如下：
1 ?, G4 m3 g( t. x. iis
8 ~: [% I! {" m+ q6 ?0 ?+ u) c              depart_time : time;
do
              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
. B/ ^4 W) J6 I- [              。。。
% W- d9 b6 w7 S又会出现syntax error near line 5 at <;>!
) X$ ]  q7 S% I: j* a  I
+ r5 N) ]4 G" b6 o! G各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
; b0 N6 g: P0 m7 o1 E3 _
now_depart_num := 1;
begin_time := 0;
; Q1 Q4 U2 T0 Q# D6 z4 Dwhile 1 = 1 loop
* C& u2 {& Z& f: m depart_time := schedule[now_depart_num];
. i7 r) l- z% H- G5 l; J/ E wait depart_time - begin_time;
1 [/ D, U; f) l' L4 K ....

. Y: x" h+ y( q begin_time := depart_time;
6 x' i9 [" ]" X  J( c- S, U7 T! s now_depart_num := now_depart_num + 1;
0 P; c1 Y# I1 i2 y: g4 _end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
4 k8 \9 p2 y) B. x) T# z0 {, u每次等待以后把now_depart_num增加1，表格就往下走一行。

9 P5 R. u' U. f  k; Y0 N& P$ s另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。