不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
do       
        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
5 q/ U# l+ K! w; u; Y. w. n3 j        then
. C. A4 \$ O/ I                zhuZhan[1].move();
2 t& R, @! U* F8 W) {4 {                now_depart_num = now_depart_num + 1;               
        else
                waituntil zhuZhan.empty = false;
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
" Z! U4 ^& N7 z& t4 h6 ]! y' J        end;                                       
( W3 J: E6 L4 y, M9 Q( cend;
" Q( f4 |& d  s# y$ N( w
6 V3 S. P, K, R. s9 b) X但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
is
              depart_time : time;
do
' W  z% _+ J0 ~- O) [1 o, M7 I$ L              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
$ o7 x- k% R8 O" L7 c              。。。
9 z! c4 Q4 q8 m! f又会出现syntax error near line 5 at <;>!
2 P8 E- X# k6 Q9 t) _- t
各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

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

) ]- m7 O% [' t: dnow_depart_num := 1;
; Z1 E1 y, Q" n' u7 z! wbegin_time := 0;
while 1 = 1 loop
9 Y4 A% e! F) I/ s0 I$ | depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
; x( d& m' h* j8 R/ D; }/ E ....
) {3 N4 {7 p1 f+ K6 d
begin_time := depart_time;
now_depart_num := now_depart_num + 1;
" P& q0 k* P. h4 ^6 D% `end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
每次等待以后把now_depart_num增加1，表格就往下走一行。
1 t: G. U/ s& C* u4 y: ~0 K8 I$ h
另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。