question: private Vector stringToTLATokens ( String token ) { Vector result = new Vector ( 3 ) ; String trimmedToken = token . trim ( ) ; int numberOfLeftTrimmedTokens = ( trimmedToken . length ( ) == 0 ) ? - 1 : token . indexOf ( trimmedToken . charAt ( 0 ) ) ; if ( numberOfLeftTrimmedTokens == - 1 ) { numberOfLeftTrimmedTokens = 0 ; trimmedToken = token ; } int objBegin = numberOfLeftTrimmedTokens ; result . addElement ( new MappingObject . BeginTLAToken ( objBegin ) ) ; result . addElement ( new MappingObject . EndTLAToken ( objBegin + trimmedToken . length ( ) ) ) ; return result ; }
target:  Returns the vector of MappingObjects containing the BeginTLAToken and EndTLAToken that are put in the mappingVector by a call of addOneLineOfTLA. The code was essentially copied from addOneTokenToTLA.