ifclass IntRange svoid replaceTokens(LS tok, IntRange r, S s) { replaceTokens(tok, r.start, r.end, s); } endif svoid replaceTokens(LS tok, int i, int j, S s) { clearAllTokens(tok, i+1, j); tok.set(i, s); } svoid replaceTokens(LS tok, S s) { clearAllTokens(tok, 1, l(tok)); tok.set(0, s); }