コード例 #1
0
ファイル: WhileExpr.java プロジェクト: gufengwyx8/Qizx 
 public int getFlags() {
   return UpdatingExpr.isUpdating(block) ? UPDATING : 0;
 }
コード例 #2
0
ファイル: WhileExpr.java プロジェクト: gufengwyx8/Qizx 
 public boolean isVacuous() {
   return UpdatingExpr.isVacuous(block);
 }