This method is equivalent to {@link #add}. @param e the element to add
156157158159160161162163164165166
for (i = _queueBack; (i < _queueArray.length); i++) { l.addLast(_queueArray[i]); } for (i = 0; (i < _queueFront); i++) { l.addLast(_queueArray[i]); } } else { for (i = _queueBack; (i < _queueFront); i++) { l.addLast(_queueArray[i]); }
160161162163164165166167168169170
for (i = 0; (i < _queueFront); i++) { l.addLast(_queueArray[i]); } } else { for (i = _queueBack; (i < _queueFront); i++) { l.addLast(_queueArray[i]); } } return l; }
174175176177178179180181182183184
while (classes.hasNext()) { SootClass superclass = (SootClass) classes.next(); if (!interfaceSet.contains(superclass) && !gray.contains(superclass)) { gray.addLast(superclass); } } } interfaceSet.add(s);
251252253254255256257258259260261
for (int i = 0; i < _Ilist.size(); i++) { Info info = (Info) _Ilist.get(i); if (!info._ineq.isSatisfied(_cpo)) { result.addLast(info._ineq); } } return result.iterator(); }
269270271272273274275276277278279
public Iterator variables() { LinkedList result = new LinkedList(); for (Enumeration e = _Clist.keys(); e.hasMoreElements();) { InequalityTerm variable = (InequalityTerm) e.nextElement(); result.addLast(variable); } return result.iterator(); }
357358359360361362363364365366367
for (Enumeration e = _Clist.keys(); e.hasMoreElements();) { InequalityTerm variable = (InequalityTerm) e.nextElement(); if ((value == null) || variable.getValue().equals(value)) { result.addLast(variable); } } return result.iterator(); }
408409410411412413414415416417418
if (info._inCvar) { if (info._ineq.isSatisfied(_cpo)) { info._inserted = false; } else { // insert to _NS _NS.addLast(Integer.valueOf(i)); info._inserted = true; } } }
488489490491492493494495496497498
if (info._inCvar) { if (info._ineq.isSatisfied(_cpo)) { info._inserted = false; } else { // insert to _NS _NS.addLast(Integer.valueOf(i)); info._inserted = true; allSatisfied = false; } } }
474475476477478479480481482483484
ids[virtualIndex++] = ids[i - 1]; numberOfRemovedElements++; break; case INCOMPARABLE: incomparables.addLast(Integer.valueOf(ids[i - 2])); incomparables.addLast(Integer.valueOf(ids[i - 1])); numberOfRemovedElements += 2; break; default:
475476477478479480481482483484485
numberOfRemovedElements++; break; case INCOMPARABLE: incomparables.addLast(Integer.valueOf(ids[i - 2])); incomparables.addLast(Integer.valueOf(ids[i - 1])); numberOfRemovedElements += 2; break; default: throw new GraphStateException(