不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
" c$ }5 h, \. m0 h, v. `# }is       
do       
        waituntil EventController.simTime = Schedule[now_depart_num];
1 T7 m) Z' i0 ~# x2 }* J7 t        if zhuZhan.empty = false
        then
! |0 j, E9 F6 _, I                zhuZhan[1].move();
1 U# |$ O$ g' ?/ l( j% N                now_depart_num = now_depart_num + 1;               
        else
+ R4 N- K4 i% X: c4 E" d                waituntil zhuZhan.empty = false;
( W0 D$ f1 }' g% v0 R! I# Y+ M% X                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
  [2 p5 N1 d+ U+ r        end;                                       
3 O# _; K5 v$ _end;
% S8 n' {: u# ~( O
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
is
              depart_time : time;
do
              depart_time := schedule[now_depart_num];
, T2 `: M( T) b4 j8 c              waituntil EventController.simTime = depart_time;
              。。。
8 j& i( @6 Z) e1 t  l$ c5 Z0 u  A又会出现syntax error near line 5 at <;>!
0 E8 Z! M$ j) [6 }
  z: _" M7 L: \1 B' R0 J9 x各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
( U  i3 `/ [4 Z. n
  J! q/ G2 q* jnow_depart_num := 1;
  d  h3 L, _* x2 B" ?6 _begin_time := 0;
1 u- h) h, @, l# _4 o$ g2 Vwhile 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
....
; n7 o/ d' D4 \" ?0 i
begin_time := depart_time;
$ N- |' d& \: H, o4 h6 f now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

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

8 G2 Z+ E4 d) T, E3 _( ?! m) W另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。