Java ArrayList.remove示例

示例#1

文件： LPInterpreter.java 项目： hmottestad/jena

 /** Unwind the trail to given low water mark */
 public void unwindTrail(int mark) {
   for (int i = trail.size() - 1; i >= mark; i--) {
     Node_RuleVariable var = (Node_RuleVariable) trail.get(i);
     var.unbind();
     trail.remove(i);
   }
 }