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));
  }
}

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 ) ) ; } }
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 .
