不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
do       
/ E$ |! y" v- a  Q8 S5 h4 g/ T7 Z; X        waituntil EventController.simTime = Schedule[now_depart_num];
+ Z$ F: K. \6 \9 ?        if zhuZhan.empty = false
        then
# g# M" n- l; v, U                zhuZhan[1].move();
$ K7 ]: r! @. U8 R0 L: k/ [$ `                now_depart_num = now_depart_num + 1;               
* P+ @8 o* o. C        else
                waituntil zhuZhan.empty = false;
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
        end;                                       
end;
0 M6 Q) ?& b" f
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
! @4 d1 X) }/ f# I6 F# n若是增加一个局部变量，如下：
; n) s0 d" b. }& xis
              depart_time : time;
& p& h3 W8 x& V; B" N3 w5 t& Ydo
              depart_time := schedule[now_depart_num];
* }, w% c5 h' X& O& [' Q" _              waituntil EventController.simTime = depart_time;
0 h$ B" @% R+ H& u: H! q              。。。
又会出现syntax error near line 5 at <;>!
! h: B1 N* n' @* s) w
各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。

now_depart_num := 1;
begin_time := 0;
3 Y0 ]6 t/ p9 X) a8 }while 1 = 1 loop
! [1 W5 u: S+ u7 y; U. h) F depart_time := schedule[now_depart_num];
) U5 v% k" ?- M2 f3 M0 ? wait depart_time - begin_time;
....
$ S1 I. i. A* l- A+ ^# H3 p
+ n1 J/ p3 Z3 M! {; |- q begin_time := depart_time;
3 v( U5 `8 w- b* ~, N2 X8 ]+ h now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
" F6 W: V$ G6 K7 ~$ y/ |8 b( k1 I4 Bdepart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
每次等待以后把now_depart_num增加1，表格就往下走一行。
/ Z0 M7 J0 K9 g' C
2 C$ T6 b. U  T+ q& J另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。