676677678679680681682683684685686
if (lineEndBAP != 0) { sequence.add (new KnuthGlue(lineEndBAP, 0, 0, new LeafPosition(this, -1), true)); } sequence.endSequence(); sequence = new InlineKnuthSequence(); returnList.add(sequence); } }
777778779780781782783784785786787
if (lineEndBAP != 0) { sequence.add (new KnuthGlue(lineEndBAP, 0, 0, new LeafPosition(this, -1), true)); } sequence.endSequence(); sequence = new InlineKnuthSequence(); returnList.add(sequence); } if (((List)returnList.getLast()).size() == 0) {
650651652653654655656657658659660
751752753754755756757758759760761
600601602603604605606607608609610
if (lineEndBAP != 0) { sequence.add (new KnuthGlue(lineEndBAP, 0, 0, new LeafPosition(this, -1), true)); } sequence.endSequence(); sequence = new InlineKnuthSequence(); returnList.add(sequence); // advance to the next character iNextStart++;
587588589590591592593594595596597