不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
% l0 t3 d. A( e* x" r9 G: f: wis       
" I5 h6 G+ N3 W2 W7 |- k- X& ?6 X3 hdo       
+ {) y& |. ?3 \4 d# X1 b        waituntil EventController.simTime = Schedule[now_depart_num];
3 [( O# `1 T+ O( g5 s( K        if zhuZhan.empty = false
/ r1 L9 j; J  C# [" ?        then
                zhuZhan[1].move();
5 v' ]8 Q" l5 P+ S! H  a* Y6 K9 T1 S3 ^                now_depart_num = now_depart_num + 1;               
        else
) M7 f# ?8 @% Z                waituntil zhuZhan.empty = false;
8 `* A% u' M4 Q+ {) h% t% s                zhuZhan[1].move();
% A1 z/ M0 X! X) X! E- p                now_depart_num = now_depart_num + 1;
) x( c' F# G- A. i1 u" a        end;                                       
) {% Z2 F$ b* [! a) t7 s, a" Z* N" Aend;

但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
/ ~8 r" \8 w+ c: h8 G6 Zis
' N; b8 }# O5 z* ~, R              depart_time : time;
do
              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
5 Z# `# g- w% v, s. W- r; {& G) w              。。。
又会出现syntax error near line 5 at <;>!
) H  |# {& o9 T1 z$ _6 m
各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
( i* t5 ^, v- a! V
; T; r' x$ U8 I  Q& know_depart_num := 1;
begin_time := 0;
while 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
; m0 J6 r  B$ W9 O3 G& y9 G2 n: w ....

begin_time := depart_time;
1 q- G! q! R1 }0 m now_depart_num := now_depart_num + 1;
4 h  u3 b" j: n, @% Kend;

xiongbing2010

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

SimChen

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

1 J( |* W5 ]$ I3 C- L8 v3 B另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。