不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
8 ]( o3 t! m# yis       
do       
        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
        then
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
  W$ D0 ~3 ?' f* z1 k+ n        else
                waituntil zhuZhan.empty = false;
* {) w# D! i) j3 K7 d                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
        end;                                       
end;
6 b  Q% q/ k, a6 p' m9 _4 B, Y. Z4 ]
) S/ [$ J, U! z0 ^) L但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
8 G6 y) W: J! w6 G; v  Y1 {( ]is
              depart_time : time;
do
, i* M" q& D( K- }4 `2 Y8 L              depart_time := schedule[now_depart_num];
( {, X3 N. N) k& n8 y              waituntil EventController.simTime = depart_time;
% r) `4 j4 _/ p! H) B3 W              。。。
/ W, v! o8 ^. c6 M- ?又会出现syntax error near line 5 at <;>!
) L1 i% `, k, u# o1 Q1 T$ C( a
5 P3 y: I3 F9 ?/ w6 o$ t* }各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
3 O' T7 w4 _0 C/ l. ?
8 V5 r# A6 U7 a+ @now_depart_num := 1;
( ]* f1 B, ?% nbegin_time := 0;
while 1 = 1 loop
depart_time := schedule[now_depart_num];
( u( q. y" W$ g3 [: l. _2 e wait depart_time - begin_time;
8 L) K" g9 w5 O ....
% u. b& W0 Z5 y9 G) R& M& i! ~& Z+ t6 S
begin_time := depart_time;
  k9 D, k& P6 Q7 ^) j; v* f4 Q now_depart_num := now_depart_num + 1;
+ W; U2 c$ _0 _5 A5 H8 Q3 rend;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
每次等待以后把now_depart_num增加1，表格就往下走一行。

% I1 M3 B& p# m. d# n另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。