不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
' C* L0 d# ?4 }# U* Ois       
do       
. G: @( @$ K5 _7 m        waituntil EventController.simTime = Schedule[now_depart_num];
% k5 {5 C& A+ `' y) Y: ^( c" l        if zhuZhan.empty = false
        then
. T2 A1 T: _- e2 D; e                zhuZhan[1].move();
$ n7 L' q0 n9 Y- m                now_depart_num = now_depart_num + 1;               
        else
                waituntil zhuZhan.empty = false;
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
        end;                                       
) M5 B* O& M2 f) c5 |$ @/ lend;
% ~# ~" N! P9 b+ E8 a. w. V& y
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
4 S( x  S+ K) }, r" n若是增加一个局部变量，如下：
is
              depart_time : time;
do
              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
1 r# [$ s3 s9 |+ F) }& u* O; y              。。。
又会出现syntax error near line 5 at <;>!
0 \5 q% N, Z6 L  N1 Y, G2 c2 ~* W
各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
* T# L' q" O: n- ]5 U  Y
9 B3 N7 |" i' K1 Z+ Q5 Tnow_depart_num := 1;
( i+ _8 Z( \0 [) V6 jbegin_time := 0;
6 Y4 h( C% X1 {while 1 = 1 loop
depart_time := schedule[now_depart_num];
5 ]3 b+ [$ v) N+ N" r5 C wait depart_time - begin_time;
....

4 D1 \! P9 b, |( D begin_time := depart_time;
now_depart_num := now_depart_num + 1;
7 @/ L+ o$ W8 G8 F  m* C( eend;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
( A- ]' a5 j. H# b  U  a: M3 Kdepart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
; _: X# D$ j& }' @& O& v每次等待以后把now_depart_num增加1，表格就往下走一行。
# V- m) v8 w9 c- ^
另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。