不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
do       
. y/ S5 W8 H! f9 Q        waituntil EventController.simTime = Schedule[now_depart_num];
( l: F) y% y7 ]+ L" N/ g        if zhuZhan.empty = false
        then
: I6 O7 w. Q; w* x6 g: j                zhuZhan[1].move();
& _9 R& K  o8 ^5 T* |" R                now_depart_num = now_depart_num + 1;               
4 V  ^( v$ J5 X" r7 P( [2 V6 @        else
                waituntil zhuZhan.empty = false;
( |% c' u, S- j                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
        end;                                       
end;
; G, ?$ C" n8 Z+ D% @7 M8 C
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
is
! C( p4 O2 W- Z9 Y; f: i) w              depart_time : time;
do
7 D6 [  X) g/ [" Z# ]( r! I              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
( n: L) D$ h4 Y6 M- u2 @' z3 c              。。。
$ c% q4 H; @) h* m0 F- ~4 i# q6 j; p& u5 x又会出现syntax error near line 5 at <;>!

各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
: I3 ^2 _; w7 p, ]/ Y2 l) ^
# r" c2 O: n+ x, |0 m$ b7 R* @3 enow_depart_num := 1;
* R+ `8 S  }8 Ebegin_time := 0;
! ]6 p& r5 X) o. Lwhile 1 = 1 loop
: E; Y0 p! R+ K9 p6 K depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
( c. S- b- k7 H6 V" B! y; V ....
! i+ H: v4 W* ?- |
begin_time := depart_time;
  o1 W: F1 ~: O$ x now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
) g' e# d# W* W6 f! ^- d* sdepart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
- d0 L% n0 }4 A每次等待以后把now_depart_num增加1，表格就往下走一行。
  H% x6 R8 B1 y" b& a
另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。