question: private void addExprToTLA ( TLAExpr expr ) { Vector sv = expr . toStringVector ( ) ; Vector exprMapping = expr . toMappingVector ( ) ; int indent = tlacodeNextLine . length ( ) ; int nextLine = 0 ; if ( indent != 0 ) { MappingObject . shiftMappingVector ( exprMapping , indent ) ; tlacodeNextLine = tlacodeNextLine + ( ( String ) sv . elementAt ( 0 ) ) ; mappingVectorNextLine . addAll ( ( Vector ) exprMapping . elementAt ( 0 ) ) ; nextLine = 1 ; if ( sv . size ( ) > 1 ) { endCurrentLineOfTLA ( ) ; } } if ( sv . size ( ) > 1 ) { String spaces = NSpaces ( indent ) ; while ( nextLine < sv . size ( ) - 1 ) { tlacode . addElement ( spaces + ( ( String ) sv . elementAt ( nextLine ) ) ) ; mappingVector . addElement ( ( Vector ) exprMapping . elementAt ( nextLine ) ) ; nextLine ++ ; } tlacodeNextLine = spaces + ( ( String ) sv . elementAt ( nextLine ) ) ; mappingVectorNextLine = ( Vector ) exprMapping . elementAt ( nextLine ) ; } else if ( indent == 0 ) { tlacodeNextLine = tlacodeNextLine + ( ( String ) sv . elementAt ( 0 ) ) ; mappingVectorNextLine . addAll ( ( Vector ) exprMapping . elementAt ( 0 ) ) ; } }
target:  Adds the expression to tlacode / tlacodeNextLine and its mapping to mappingVector / mappingVectorNextLine.  It adds no space before the expression and leaves the last line of the expression (which could be its first line) at the end of  tlacodeNextLine.