🖉 #1004949 | BotCompany.de Repo

Editing Snippet ID:	#1004949
Snippet name:
Category, Type:
Content:	// "$1" is first code token, "$2" second code token etc. static S jreplaceExpandRefs(S s, L<S> tokref) { if (!contains(s, '$')) ret s; L<S> tok = javaTok(s); for (int i = 1; i < l(tok); i += 2) { S t = tok.get(i); if (t.startsWith("$") && isInteger(t.substring(1))) { S x = tokref.get(-1+parseInt(t.substring(1))*2); tok.set(i, x); } else if (t.equals("\\")) { tok.set(i, ""); i += 2; } } ret join(tok); }
Comment:
Public (visible to everyone):
Created:	2016-09-18 15:29:03