392393394395396397398399
runtime.secure(4); ConsoleHolder holder = getHolder(runtime); if (holder.readline == null) { initReadline(runtime, holder); } CursorBuffer cb = holder.readline.getCursorBuffer(); return runtime.newString(cb.toString()).taint(context); }
404405406407408409410411
runtime.secure(4); ConsoleHolder holder = getHolder(runtime); if (holder.readline == null) { initReadline(runtime, holder); } CursorBuffer cb = holder.readline.getCursorBuffer(); return runtime.newFixnum(cb.cursor); }