Warning : session_start(): open(/var/lib/php/sessions/sess_8dofvc1d9nao9gn85q79t04fie, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51 Warning : session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51 lvEditing;
transient public AutoCompletion autoCompletion;
transient public ReliableSingleThread rstAutoComplete = dm_rst(this, new Runnable() {
public void run() {
try {
installAutoComplete();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "installAutoComplete();";
}
});
transient public boolean installAutoComplete_first = false;
transient public Set autoComplete_lastSet;
transient public int autoCompleteRefreshDelay = 1000;
transient public JFastLogView_noWrap transpilationErrorBox;
transient public ReliableSingleThread persistLater = rstWithDelay(10.0, new Runnable() {
public void run() {
try {
persistMe();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "persistMe();";
}
});
transient public JButton saveAndTranspileButton;
public void load(String field) {
}
public A setAndSave(String field, A value) {
return setFieldAndReturn(field, value);
}
public A setAndSaveIfChanged(String field, A value) {
return setFieldAndReturn(field, value);
}
public boolean warnOnDelete() {
return neq(e.getText(), unnull(remoteText));
}
public void reset() {
cleanMeUp();
autoCompletion = null;
autoComplete_lastSet = null;
start();
}
public void start() {
swing(() -> {
AutoCloseable __13 = enter();
try {
installAutoComplete_first = true;
lvEditing = dm_fieldLiveValue("editing");
e = new EditorFrame2();
e._setFont(deriveFont(loadFont(fontID), e._getFont().getSize()));
e._setFontSize(fontSize);
main.onChangeAndNow(e.textArea, rstAutoComplete);
e.textArea.getInputMap().put(ctrlKeyStroke(KeyEvent.VK_S), abstractAction("Save", runnableThread(new Runnable() {
public void run() {
try {
saveThen(null);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveThen(null)";
}
})));
e.setText(savedText);
load("caretPos");
setCaretPosition(e.textArea, caretPos);
} finally {
_close(__13);
}
});
}
public JComponent visualize() {
return e.panel;
}
public void enhanceFrame(Container f) {
super.enhanceFrame(f);
e.prepareFrame(((JInternalFrame) f));
minimalFrameSize(((JInternalFrame) f), 400, 400);
reload();
makeMenus(f);
awtCalcEvery(((JInternalFrame) f).getRootPane(), 1000, new Runnable() {
public void run() {
try {
update();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "update();";
}
});
onPossiblyInternalFrameDeactivated(((JInternalFrame) f).getRootPane(), new Runnable() {
public void run() {
try {
fullUpdate();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "fullUpdate();";
}
});
}
public void makeMenus(Container f) {
if (f == null)
return;
boolean wasEmpty = countComponents(getMenuBar(f)) < 2;
addMenu(f, "&View", "Bigger font", new Runnable() {
public void run() {
try {
e._setFontSize(setAndSave("fontSize", e._getFontSize() + 1));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "e._setFontSize(setAndSave(fontSize := e._getFontSize()+1))";
}
}, "Smaller font", new Runnable() {
public void run() {
try {
e._setFontSize(setAndSave("fontSize", max(1, e._getFontSize() - 1)));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "e._setFontSize(setAndSave(fontSize := max(1, e._getFontSize()-1)))";
}
}, "---", "Show snippet in browser", runnableThread(new Runnable() {
public void run() {
try {
showInBrowser();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "showInBrowser();";
}
}));
addMenu(f, "&New", "New text", new Runnable() {
public void run() {
try {
newText();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "newText();";
}
}, "New window", runnableThread(new Runnable() {
public void run() {
try {
dm_showNewModule(dm_moduleLibID());
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "dm_showNewModule(dm_moduleLibID())";
}
}));
addMenu(f, "&Load", "Load snippet...", new Runnable() {
public void run() {
try {
selectSnippetID(new VF1() {
public void get(String snippetID) {
try {
_loadSnippet(snippetID);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_loadSnippet(snippetID)";
}
});
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "selectSnippetID(new VF1() { public void get(String snippetID) ctex { ...";
}
}, "Load file...", new Runnable() {
public void run() {
try {
selectFile("File to load", new VF1() {
public void get(File f) {
try {
_loadFile(f);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_loadFile(f)";
}
});
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "selectFile(\"File to load\", new VF1() { public void get(File f) ctex { ...";
}
}, "Reload", runnableThread(new Runnable() {
public void run() {
try {
if (editing != null) {
reload();
main.setText(e.textArea, remoteText);
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "// TODO: single thread\r\n if (editing != null) {\r\n reload();\r\n ...";
}
}));
LiveValue lvSaveCmd = mapLiveValue(new F1() {
public String get(Object editing) {
try {
return editing instanceof String ? "Save snippet " + editing : editing instanceof File ? "Save file " + f2s((File) editing) : "{Save}";
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "editing instanceof S ? \"Save snippet \" + editing\r\n : editing instanceo...";
}
}, String.class, lvEditing);
addMenu(f, "&Save", lvSaveCmd, runnableThread(new Runnable() {
public void run() {
try {
saveThen(null);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveThen(null)";
}
}), "Save as snippet...", new Runnable() {
public void run() {
try {
saveAsSnippet();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveAsSnippet();";
}
}, "Save as file...", new Runnable() {
public void run() {
try {
saveAsFile();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveAsFile();";
}
}, "Rename snippet...", runnableThread(new Runnable() {
public void run() {
try {
renameTheSnippet();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "renameTheSnippet();";
}
}));
addMenu(f, "&Transpile", "Save & Quick Transpile", new Runnable() {
public void run() {
try {
transpile(false);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "transpile(false)";
}
}, "Save & Medium Transpile", new Runnable() {
public void run() {
try {
transpile(true);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "transpile(true)";
}
}, "---", "Show transpilation", new Runnable() {
public void run() {
try {
showTranspilation();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "showTranspilation();";
}
});
addMenu(f, "&Activate", eq(snippetType, snippetType_JavaXDesktop()) ? "Run" : null, runnableThread(new Runnable() {
public void run() {
try {
runIt();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "runIt();";
}
}), isString(editing) ? "Load Module" : null, runnableThread(new Runnable() {
public void run() {
try {
_loadModule();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_loadModule();";
}
}), isString(editing) ? "Reload Module" : null, runnableThread(new Runnable() {
public void run() {
try {
_reloadModule();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_reloadModule();";
}
}), haveMuricaPassword() ? "Reload on server" : null, runnableThread(new Runnable() {
public void run() {
try {
_butterReload();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_butterReload();";
}
}), haveMuricaPassword() ? "Transpile quick & reload on server" : null, runnableThread(new Runnable() {
public void run() {
try {
transpileAndButterReload(false);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "transpileAndButterReload(false)";
}
}), haveMuricaPassword() ? "Transpile medium & reload on server" : null, runnableThread(new Runnable() {
public void run() {
try {
transpileAndButterReload(true);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "transpileAndButterReload(true)";
}
}));
if (wasEmpty) {
addToContainer(getMenuBar(f), Box.createHorizontalGlue());
addToContainer(getMenuBar(f), jbutton("Save", runnableThread(new Runnable() {
public void run() {
try {
saveThen(null);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveThen(null)";
}
})), setToolTip("Save & medium-transpile", setBorderPainted(false, saveAndTranspileButton = jimagebutton("#1102952", runnableThread(new Runnable() {
public void run() {
try {
transpile(true);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "transpile(true)";
}
})))));
}
}
public void reload() {
if (editing instanceof String)
_loadSnippet_noSet((String) editing);
else if (editing instanceof File)
_loadFile_noSet((File) editing);
}
public void update() {
update(internalFrameActive(e.panel));
}
public void fullUpdate() {
update(true);
}
public void update(boolean full) {
if (e == null)
return;
String text = e.getText();
int cp = getCaretPosition(e.textArea);
if (neq(savedText, text)) {
setAndSave("savedText", text);
setAndSave("caretPos", cp);
} else if (cp != caretPos) {
caretPos = cp;
persistLater.trigger();
}
if (!full)
return;
String status = remoteText != null && neq(remoteText, text) ? "Changes. " : "";
Pair p = testBracketHygieneExt(text);
status += p == null ? "Hygienic" : p.b;
silentStatus(trim(status));
}
public void status(String s) {
silentStatus(infoBoxAndReturn(s));
}
public void silentStatus(String s) {
e.setStatus(s);
}
public void saveThen(Runnable next) {
final String text = dropCarriageReturn(getText());
if (editing instanceof String) {
status("Saving snippet...");
{
startThread(new Runnable() {
public void run() {
try {
final String page = editSnippet(((String) editing), text);
remoteText = text;
status("Saved snippet: " + page);
callF(next);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "final String page = editSnippet(((String) editing), text);\r\n remoteTex...";
}
});
}
} else if (editing instanceof File) {
status("Saving file...");
{
startThread(new Runnable() {
public void run() {
try {
saveTextFile(((File) editing), text);
remoteText = text;
status("Saved file");
callF(next);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveTextFile(((File) editing), text);\r\n remoteText = text;\r\n st...";
}
});
}
}
}
public void renameTheSnippet() {
AutoCloseable __14 = enter();
try {
if (!(editing instanceof String)) {
infoBox("Not editing a snippet");
return;
}
String snippetID = (String) editing;
inputText("Rename snippet " + snippetID, snippetTitle(snippetID), new VF1() {
public void get(String name) {
try {
renameSnippet(snippetID, snippetTitle = name);
setModuleName("Editing: " + snippetID + " - " + quote(snippetTitle));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "renameSnippet(snippetID, snippetTitle = name);\r\n setModuleName(\"Editing:...";
}
});
} finally {
_close(__14);
}
}
public void _butterReload() {
{
long _startTime_11 = sysNow();
try {
butterReload((String) editing);
} finally {
_startTime_11 = sysNow() - _startTime_11;
saveTiming(_startTime_11);
}
}
infoBox("Reloaded in " + lastTiming_format100ms());
}
public void transpileAndButterReload(boolean medium) {
transpile(medium, "onSuccess", new Runnable() {
public void run() {
try {
_butterReload();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_butterReload();";
}
});
}
public void transpile(boolean medium, Object... __) {
saveThen(new Runnable() {
public void run() {
try {
_transpile(medium, __);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_transpile(medium, __)";
}
});
}
public void _transpile(boolean medium, Object... __) {
Runnable onSuccess = (Runnable) (optPar("onSuccess", __));
status("Transpiling...");
String toTranspile = or(mainTranspilationSnippetFromSrc(getText()), (String) editing);
String msg = "Transpiling " + toTranspile + "...";
infoBox(msg);
startThread(msg, new Runnable() {
public void run() {
try {
try {
Pair p;
{
AutoCloseable __15 = tempDisableButton(saveAndTranspileButton);
try {
p = transpileHereOrOnServer(toTranspile, medium, "alwaysHere", alwaysTranspileHere);
} finally {
_close(__15);
}
}
swingLater(new Runnable() {
public void run() {
try {
if (p.a) {
status("Transpiled OK!");
hideWindow(transpilationErrorBox);
transpilationErrorBox = null;
callFInNewThread(onSuccess);
} else {
String text = htmlDecode(htmlDecode(p.b));
status("Transpilation error. " + text);
boolean first = transpilationErrorBox == null;
transpilationErrorBox = maximizeFrame(scrollAllTheWayDown(showText_fast_noWrap(transpilationErrorBox, "Transpilation Error", text)));
if (first) {
setFrameIcon("#1101268", transpilationErrorBox);
addButtonsToWindow(transpilationErrorBox, "Medium transpile", new Runnable() {
public void run() {
try {
_transpile(true);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_transpile(true)";
}
});
}
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "if (p.a) {\r\n status(\"Transpiled OK!\");\r\n hideWindow(tra...";
}
});
} catch (Throwable e) {
printStackTrace(e);
status("Transpilation problem. " + e);
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "try {\r\n Pair p;\r\n {\r\n AutoCloseable ...";
}
});
}
public void _loadSnippet(String snippetID) {
AutoCloseable __16 = enter();
try {
_loadSnippet_noSet(snippetID);
e.textArea.setText(remoteText);
} finally {
_close(__16);
}
}
public void _loadSnippet_noSet(String snippetID) {
remoteText = loadSnippet(snippetID);
setField("snippetType", getSnippetType(snippetID));
setAndSave("editing", snippetID);
setModuleName("Editing: " + snippetID + " - " + quote(snippetTitle = snippetTitle(snippetID)));
print("_loadSnippet_noSet: Making menus for " + dm_frame() + " of " + className(dm_vis()));
makeMenus(dm_frame());
}
public void _loadFile(File f) {
_loadFile_noSet(f);
e.textArea.setText(remoteText);
}
public void _loadFile_noSet(File f) {
remoteText = loadTextFile(f);
setField("snippetType", null);
setAndSave("editing", f);
setModuleName("Editing: " + f2s(f));
makeMenus(dm_frame());
}
public void newText() {
setAndSave("editing", null);
remoteText = null;
setField("snippetType", null);
String lastText = e.getText();
if (nempty(lastText))
logQuotedWithDate("saved-texts.log", lastText);
e.setText("");
setModuleName(programTitle());
}
public void cleanMeUp() {
update(false);
}
public void installAutoComplete() {
if (installAutoComplete_first)
installAutoComplete_first = false;
else
sleep(autoCompleteRefreshDelay);
Set set = concatListsToSet(allJavaKeywords(), standardFunctionNames(), deepWords(getText()), deepWords(snippetTitle));
if (eq(set, autoComplete_lastSet))
return;
autoComplete_lastSet = set;
final DefaultCompletionProvider provider = new DefaultCompletionProvider();
provider.addCompletions(map(new F1() {
public Completion get(String s) {
try {
return new BasicCompletion(provider, s);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "new BasicCompletion(provider, s)";
}
}, set));
{
swing(() -> {
if (autoCompletion == null) {
(autoCompletion = new AutoCompletion(provider)).install(e.textArea);
call(autoCompletion, "setHideOnCompletionProviderChange", false);
} else
autoCompletion.setCompletionProvider(provider);
});
}
}
public void newWindow() {
copyFields(this, new SFEditor(), "fontSize").start();
}
public void runIt() {
if (editing instanceof String)
nohupJavax((String) editing);
}
public void saveAsSnippet() {
JTextField tfTitle = jtextfield(snippetTitle);
JComboBox cbType = jComboBox_javaxTypes();
JCheckBox cbPublic = jCheckBox("Public", true);
renameSubmitButton("Create snippet", showFormTitled("Save as new snippet", "Title:", tfTitle, "Type:", cbType, "", cbPublic, runnableThread(new Runnable() {
public void run() {
try {
{
AutoCloseable __17 = tempShowLoadingAnimation();
try {
int type = parseFirstInt(getSelectedItem(cbType));
String title = getTextTrim(tfTitle);
String snippetID = createSnippet(getText(), title, type, isChecked(cbPublic));
_loadSnippet_noSet(snippetID);
} finally {
_close(__17);
}
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "{ temp tempShowLoadingAnimation(); \r\n int type = parseFirstInt(getSe...";
}
})));
}
public void saveAsFile() {
inputFilePath("Save as...", optCast(File.class, editing), new VF1() {
public void get(File f) {
try {
saveTextFile(f, getText());
_loadFile_noSet(f);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveTextFile(f, getText());\r\n _loadFile_noSet(f);";
}
});
}
public String getText() {
return e.getText();
}
public void _reloadModule() {
AutoCloseable __18 = enter();
try {
dm_reloadAllModulesWithSnippetID((String) editing);
} finally {
_close(__18);
}
}
public void _loadModule() {
AutoCloseable __19 = enter();
try {
dm_addDynamicModuleDialog2((String) editing);
} finally {
_close(__19);
}
}
public String snippetID() {
return optCast(String.class, editing);
}
public void showTranspilation() {
AutoCloseable __20 = enter();
try {
if (snippetID() == null)
return;
showText("Transpilation of " + snippetID(), getServerTranspiledWithoutLibs(snippetID()));
} finally {
_close(__20);
}
}
public void showInBrowser() {
if (snippetID() == null)
return;
openInBrowser(snippetLink(snippetID()));
}
public void setText(String text) {
AutoCloseable __21 = enter();
try {
e.textArea.setText(text);
} finally {
_close(__21);
}
}
}
static public boolean _moduleClass_SFEditor = true;
static public String programID;
static public void _onLoad_initUtils() {
utils.__javax = javax();
}
static public void _onLoad_defaultClassFinder() {
setDefaultClassFinder(new F1() {
public Class get(String name) {
Class c = findClass_fullName(name);
if (c != null)
return c;
if (name.startsWith("main$"))
return loadableUtils.utils.findClass_fullName("loadableUtils.utils" + name.substring(4));
return null;
}
});
}
static public ThreadLocal dynamicObjectIsLoading_threadLocal() {
return DynamicObject_loading;
}
static volatile public Concepts mainConcepts;
static public Concepts db_mainConcepts() {
if (mainConcepts == null)
mainConcepts = newConceptsWithClassFinder(getDBProgramID());
return mainConcepts;
}
static public void cleanMeUp_concepts() {
if (db_mainConcepts() != null)
db_mainConcepts().cleanMeUp();
}
static public ReliableSingleThread dm_rst(Runnable r) {
return dm_rst(dm_current_mandatory(), r);
}
static public ReliableSingleThread dm_rst(DynModule mod, Runnable r) {
return dm_rst(mod, new ReliableSingleThread(r));
}
static public ReliableSingleThread dm_rst(DynModule mod, ReliableSingleThread rst) {
rst.enter = dm_rEnter(mod);
return rst;
}
static public ReliableSingleThread rstWithDelay(final int delay, final Runnable r) {
return new ReliableSingleThread(new Runnable() {
public void run() {
try {
sleep(delay);
callF(r);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "sleep(delay);\r\n callF(r);";
}
});
}
static public ReliableSingleThread rstWithDelay(double seconds, Runnable r) {
return rstWithDelay(toMS_int(seconds), r);
}
static public boolean neq(Object a, Object b) {
return !eq(a, b);
}
static public String unnull(String s) {
return s == null ? "" : s;
}
static public Collection unnull(Collection l) {
return l == null ? emptyList() : l;
}
static public List unnull(List l) {
return l == null ? emptyList() : l;
}
static public int[] unnull(int[] l) {
return l == null ? emptyIntArray() : l;
}
static public char[] unnull(char[] l) {
return l == null ? emptyCharArray() : l;
}
static public double[] unnull(double[] l) {
return l == null ? emptyDoubleArray() : l;
}
static public Map unnull(Map l) {
return l == null ? emptyMap() : l;
}
static public Iterable unnull(Iterable i) {
return i == null ? emptyList() : i;
}
static public A[] unnull(A[] a) {
return a == null ? (A[]) emptyObjectArray() : a;
}
static public BitSet unnull(BitSet b) {
return b == null ? new BitSet() : b;
}
static public Pt unnull(Pt p) {
return p == null ? new Pt() : p;
}
static public Symbol unnull(Symbol s) {
return s == null ? emptySymbol() : s;
}
static public Pair unnull(Pair p) {
return p != null ? p : new Pair(null, null);
}
static public int unnull(Integer i) {
return i == null ? 0 : i;
}
static public long unnull(Long l) {
return l == null ? 0L : l;
}
static public double unnull(Double l) {
return l == null ? 0.0 : l;
}
static public Object swing(Object f) {
return swingAndWait(f);
}
static public void swing(Runnable f) {
swingAndWait(f);
}
static public A swing(F0 f) {
return (A) swingAndWait(f);
}
static public A swing(IF0 f) {
return (A) swingAndWait(f);
}
static public SimpleLiveValue dm_fieldLiveValue(String fieldName) {
return dm_fieldLiveValue(dm_current_mandatory(), fieldName);
}
static public SimpleLiveValue dm_fieldLiveValue(DynModule module, String fieldName) {
Lock __0 = module.lock;
lock(__0);
try {
AutoCloseable __2 = module.enter();
try {
Class type = getFieldType(module, fieldName);
final SimpleLiveValue value = new SimpleLiveValue(type, get(module, fieldName));
dm_watchField(fieldName, new Runnable() {
public void run() {
try {
Object o = get(module, fieldName);
value.set(o);
;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ifdef dm_fieldLiveValue_debug\r\n print(\"dm_fieldLiveValue: setting \" + fi...";
}
});
value.onChange(new Runnable() {
public void run() {
try {
module.setField(fieldName, value.get());
;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ifdef dm_fieldLiveValue_debug\r\n print(\"dm_fieldLiveValue: setting 2 \" + ...";
}
});
return value;
} finally {
_close(__2);
}
} finally {
unlock(__0);
}
}
static public SimpleLiveValue dm_fieldLiveValue(String fieldName, DynModule module) {
return dm_fieldLiveValue(module, fieldName);
}
static public Font deriveFont(Font font, float size) {
return font == null ? null : font.deriveFont(size);
}
static public Font loadFont(String snippetID) {
try {
return loadFont(snippetID, 12f);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public Font loadFont(InputStream in) {
try {
return Font.createFont(Font.TRUETYPE_FONT, in);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public Font loadFont(String snippetID, float fontSize) {
return loadFont(loadLibrary(snippetID), fontSize);
}
static public Font loadFont(File f, float fontSize) {
try {
return Font.createFont(Font.TRUETYPE_FONT, f).deriveFont(fontSize);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public Font loadFont(InputStream in, float fontSize) {
try {
return Font.createFont(Font.TRUETYPE_FONT, in).deriveFont(fontSize);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public void onChangeAndNow(JComponent c, Object r) {
onUpdateAndNow(c, r);
}
static public void onChangeAndNow(List l, Object r) {
onUpdateAndNow(l, r);
}
static public JComboBox onChangeAndNow(JComboBox cb, IVF1 f) {
onChange(cb, f);
{
if (f != null)
f.get(getSelectedItem_typed(cb));
}
return cb;
}
static public A onChangeAndNow(A tabs, Runnable r) {
if (r != null) {
onChange(tabs, r);
r.run();
}
return tabs;
}
static public KeyStroke ctrlKeyStroke(int keyCode) {
return KeyStroke.getKeyStroke(keyCode, InputEvent.CTRL_MASK);
}
static public AbstractAction abstractAction(String name, final Object runnable) {
return new AbstractAction(name) {
public void actionPerformed(ActionEvent evt) {
pcallF(runnable);
}
};
}
static public Runnable runnableThread(final Runnable r) {
return new Runnable() {
public void run() {
try {
startThread(r);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "startThread(r)";
}
};
}
static public Object load(String varName) {
readLocally(varName);
return get(mc(), varName);
}
static public Object load(String progID, String varName) {
readLocally(progID, varName);
return get(mc(), varName);
}
static public void setCaretPosition(final JTextComponent c, final int pos) {
if (c != null) {
swing(() -> {
try {
int _pos = max(0, min(l(c.getText()), pos));
c.setCaretPosition(_pos);
} catch (Throwable __e) {
printStackTrace(__e);
}
});
}
}
static public void _close(AutoCloseable c) {
if (c != null)
try {
c.close();
} catch (Throwable e) {
if (c instanceof javax.imageio.stream.ImageOutputStream)
return;
else
throw rethrow(e);
}
}
static public void minimalFrameSize(Component c, int w, int h) {
Container f = getPIFrame(c);
if (f != null)
setSize(f, max(w, getWidth(f)), max(h, getHeight(f)));
}
static public SingleThread awtCalcEvery(JFrame f, int delay, int firstDelay, final Object runnable) {
return awtCalcRegularly(f, delay, firstDelay, runnable);
}
static public SingleThread awtCalcEvery(JComponent c, int delay, int firstDelay, final Object runnable) {
return awtCalcRegularly(c, delay, firstDelay, runnable);
}
static public SingleThread awtCalcEvery(JFrame f, int delay, final Object runnable) {
return awtCalcRegularly(f, delay, delay, runnable);
}
static public SingleThread awtCalcEvery(JComponent c, int delay, Runnable runnable) {
return awtCalcRegularly(c, delay, delay, runnable);
}
static public SingleThread awtCalcEvery(JComponent c, int delay, final Object runnable) {
return awtCalcRegularly(c, delay, delay, runnable);
}
static public SingleThread awtCalcEvery(JComponent c, double delay, Runnable runnable) {
return awtCalcEvery(c, delay, (Object) runnable);
}
static public SingleThread awtCalcEvery(JComponent c, double delay, Object runnable) {
return awtCalcEvery(c, toMS_int(delay), runnable);
}
static public SingleThread awtCalcEvery(JComponent c, double firstDelay, double delay, final Object runnable) {
return awtCalcEvery(c, toMS_int(delay), toMS_int(firstDelay), runnable);
}
static public void onPossiblyInternalFrameDeactivated(Component c, final Object r) {
JInternalFrame iF = getInternalFrame(c);
if (iF != null) {
onInternalFrameDeactivated(iF, r);
return;
}
Frame f = getAWTFrame(c);
if (f != null)
f.addWindowListener(new WindowAdapter() {
public void windowDeactivated(WindowEvent e) {
try {
callF(r);
} catch (Throwable __e) {
messageBox(__e);
}
}
});
}
static public int countComponents(Container c) {
return numberOfChildren(c);
}
static public JMenuBar getMenuBar(Component c) {
return (JMenuBar) call(getPossiblyInternalFrame(c), "getJMenuBar");
}
static public ThreadLocal addMenu_addIfEmpty = new ThreadLocal();
static public JMenu addMenu(final Component c, final String menuName, final Object... items) {
final RootPaneContainer frame = getPossiblyInternalFrame(c);
return (JMenu) swing(new F0() {
public Object get() {
try {
JMenuBar bar = addMenuBar((Component) frame);
Pair p = jmenu_autoMnemonic(menuName);
JMenu menu = getMenuNamed(bar, p.a);
boolean isNew = menu == null;
if (isNew)
menu = new JMenu(p.a);
else
menu.removeAll();
menu.setMnemonic(p.b);
fillJMenu(menu, items);
if (isNew) {
if (!isFalse(addMenu_addIfEmpty.get()) || menuItemCount(menu) > 0) {
bar.add(menu);
revalidate((Component) frame);
}
}
return menu;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JMenuBar bar = addMenuBar((Component) frame);\r\n Pair p = jmenu_aut...";
}
});
}
static public A setAndSave(String var, A value) {
set(mc(), var, value);
save(var);
return value;
}
static public int max(int a, int b) {
return Math.max(a, b);
}
static public int max(int a, int b, int c) {
return max(max(a, b), c);
}
static public long max(int a, long b) {
return Math.max((long) a, b);
}
static public long max(long a, long b) {
return Math.max(a, b);
}
static public double max(int a, double b) {
return Math.max((double) a, b);
}
static public float max(float a, float b) {
return Math.max(a, b);
}
static public double max(double a, double b) {
return Math.max(a, b);
}
static public int max(Collection c) {
int x = Integer.MIN_VALUE;
for (int i : c) x = max(x, i);
return x;
}
static public double max(double[] c) {
if (c.length == 0)
return Double.MIN_VALUE;
double x = c[0];
for (int i = 1; i < c.length; i++) x = Math.max(x, c[i]);
return x;
}
static public float max(float[] c) {
if (c.length == 0)
return Float.MAX_VALUE;
float x = c[0];
for (int i = 1; i < c.length; i++) x = Math.max(x, c[i]);
return x;
}
static public byte max(byte[] c) {
byte x = -128;
for (byte d : c) if (d > x)
x = d;
return x;
}
static public short max(short[] c) {
short x = -0x8000;
for (short d : c) if (d > x)
x = d;
return x;
}
static public int max(int[] c) {
int x = Integer.MIN_VALUE;
for (int d : c) if (d > x)
x = d;
return x;
}
static public > A max(A a, A b) {
return cmp(a, b) >= 0 ? a : b;
}
static public String dm_showNewModule(String moduleLibID) {
return (String) dm_callOS("makeNewModule", moduleLibID, true);
}
static public String dm_moduleLibID() {
return programID() + "/" + shortClassName(dm_current_mandatory_generic());
}
static public String dm_moduleLibID(Object mod) {
if (mod == null)
return null;
mod = dm_getModule(mod);
if (hasSuperclassShortNamed(mod, "DynModule"))
return programID(mod) + "/" + shortClassName(mod);
return null;
}
static public void selectSnippetID(final VF1 onSelect) {
new SnippetSelectForm(onSelect).go();
}
static public void selectSnippetID(String title, final VF1 onSelect) {
SnippetSelectForm form = new SnippetSelectForm(onSelect);
form.go();
possiblyInternalFrameTitle(form.frame, title);
}
static public void selectFile(final String msg, VF1 action) {
selectFile(msg, userDir(), action);
}
static public void selectFile(final String msg, final File defaultFile, VF1 action) {
inputFilePath(msg, defaultFile, action);
}
static public boolean setText_opt = true;
static public A setText(A c, Object text) {
setText((JComponent) c, text);
return c;
}
static public A setText(final A c, Object text) {
final String s = strUnnull(text);
{
swing(() -> {
c.getEditor().setItem(s);
});
}
return c;
}
static public void setText(JLabel c, Object text) {
setText((JComponent) c, text);
}
static public JButton setText(JButton c, Object text) {
setText((JComponent) c, jlabel_textAsHTML_center_ifNeeded(strUnnull(text)));
return c;
}
static public A setText(final A c, Object text) {
if (c == null)
return null;
final String s = strUnnull(text);
{
swing(() -> {
if (!setText_opt || neq(callOpt(c, "getText"), s))
call(c, "setText", s);
});
}
return c;
}
static public LiveValue mapLiveValue(final F1 f, final Class type, final LiveValue lv) {
return new LiveValue() {
public Class getType() {
return type;
}
public B get() {
return callF(f, lv.get());
}
public LiveValue onChange(Runnable l) {
lv.onChange(l);
return this;
}
public LiveValue removeChangeListener(Runnable l) {
lv.removeChangeListener(l);
return this;
}
};
}
static public LiveValue mapLiveValue(LiveValue lv, Class type, F1 f) {
return mapLiveValue(f, type, lv);
}
static public String f2s(File f) {
return f == null ? null : f.getAbsolutePath();
}
static public String f2s(String s) {
return f2s(newFile(s));
}
static public String f2s(java.nio.file.Path p) {
return p == null ? null : f2s(p.toFile());
}
static public boolean eq(Object a, Object b) {
return a == b || a != null && b != null && a.equals(b);
}
static public boolean eq(Symbol a, String b) {
return eq(str(a), b);
}
static public int snippetType_JavaXDesktop() {
return 55;
}
static public boolean isString(Object o) {
return o instanceof String;
}
static public boolean haveMuricaPassword() {
return nempty(muricaPassword());
}
static public void addToContainer(Container a, Component... b) {
if (a == null)
return;
{
swing(() -> {
for (Component c : unnullForIteration(b)) if (c != null)
a.add(c);
});
}
}
static public JButton jbutton(String text, Runnable action) {
return newButton(text, action);
}
static public JButton jbutton(String text, Object action) {
return newButton(text, action);
}
static public JButton jbutton(String text) {
return newButton(text, null);
}
static public JButton jbutton(Action action) {
return swingNu(JButton.class, action);
}
static public A setToolTip(A c, Object toolTip) {
return setToolTipText(c, toolTip);
}
static public A setToolTip(Object toolTip, A c) {
return setToolTipText(c, toolTip);
}
static public void setToolTip(TrayIcon trayIcon, String toolTip) {
setTrayIconToolTip(trayIcon, toolTip);
}
static public A setBorderPainted(boolean b, A a) {
if (a != null) {
swing(() -> {
a.setBorderPainted(b);
});
}
return a;
}
static public JButton jimagebutton(String imageID, Object action) {
return jimageButton(imageID, action);
}
static public JButton jimagebutton(String imageID) {
return jimageButton(imageID);
}
static public boolean internalFrameActive(Component c) {
final JInternalFrame f = getInternalFrame(c);
return f != null && swing(new F0() {
public Boolean get() {
try {
return f.isSelected();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return f.isSelected();";
}
});
}
static public int getCaretPosition(final JTextComponent c) {
return c == null ? 0 : swing(new F0() {
public Integer get() {
try {
return c.getCaretPosition();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return c.getCaretPosition();";
}
});
}
static public Pair testBracketHygieneExt(String s) {
return testBracketHygiene2(s);
}
static public Pair testBracketHygieneExt(String s, String op, String close) {
return testBracketHygiene2(s, op, close);
}
static public String trim(String s) {
return s == null ? null : s.trim();
}
static public String trim(StringBuilder buf) {
return buf.toString().trim();
}
static public String trim(StringBuffer buf) {
return buf.toString().trim();
}
static public String infoBoxAndReturn(String s) {
infoBox(s);
return s;
}
static public String dropCarriageReturn(String s) {
return replace(s, "\r", "");
}
static public String getText(final AbstractButton c) {
return c == null ? "" : (String) swingAndWait(new F0() {
public Object get() {
try {
return c.getText();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return c.getText();";
}
});
}
static public String getText(final JTextComponent c) {
return c == null ? "" : (String) swingAndWait(new F0() {
public Object get() {
try {
return c.getText();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return c.getText();";
}
});
}
static public String getText(final JLabel l) {
return l == null ? "" : (String) swingAndWait(new F0() {
public Object get() {
try {
return l.getText();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return l.getText();";
}
});
}
static public String getText(final JComboBox cb) {
if (cb == null)
return null;
if (isEditableComboBox(cb))
return unnull((String) cb.getEditor().getItem());
else
return str(cb.getSelectedItem());
}
static public Thread startThread(Object runnable) {
return startThread(defaultThreadName(), runnable);
}
static public Thread startThread(String name, Runnable runnable) {
runnable = wrapAsActivity(runnable);
return startThread(newThread(runnable, name));
}
static public Thread startThread(String name, Object runnable) {
runnable = wrapAsActivity(runnable);
return startThread(newThread(toRunnable(runnable), name));
}
static public Thread startThread(Thread t) {
_registerThread(t);
t.start();
return t;
}
static public String editSnippet(String id, String text) {
if (isLocalSnippetID(id)) {
saveLocalSnippet(id, text);
return "Snippet saved";
}
return editSnippet(id, text, standardCredentialsUser(), standardCredentialsPass());
}
static public String editSnippet(String id, String text, String user, String pass) {
if (!isSnippetID(id))
throw fail("Need snippet ID");
Map query = litmap("id", parseSnippetID(id), "text", text, "_user", user, "_pass", pass, "len", lUtf8(text));
String url = tb_mainServer() + "/tb-int/update_snippet_text.php";
String page = doPost(query, url);
if (!page.contains("OK"))
throw fail("Error editing snippet " + id + ": " + quote(page));
return page + " - edited " + fsI(id);
}
static public Object callF(Object f, Object... args) {
try {
if (f instanceof String)
return callMC((String) f, args);
return x30_util.callF(f, args);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public A callF(F0 f) {
return f == null ? null : f.get();
}
static public A callF(IF0 f) {
return f == null ? null : f.get();
}
static public B callF(F1 f, A a) {
return f == null ? null : f.get(a);
}
static public B callF(IF1 f, A a) {
return f == null ? null : f.get(a);
}
static public void callF(VF1 f, A a) {
if (f != null)
f.get(a);
}
static public Object callMC(String method, Object... args) {
return call(mc(), method, args);
}
static public Object call(Object o) {
return callF(o);
}
static public Object call(Object o, String method, Object... args) {
return call_withVarargs(o, method, args);
}
static public File saveTextFile(String fileName, String contents) throws IOException {
File file = new File(fileName);
mkdirsForFile(file);
String tempFileName = fileName + "_temp";
File tempFile = new File(tempFileName);
if (contents != null) {
if (tempFile.exists())
try {
String saveName = tempFileName + ".saved." + now();
copyFile(tempFile, new File(saveName));
} catch (Throwable e) {
printStackTrace(e);
}
FileOutputStream fileOutputStream = newFileOutputStream(tempFile.getPath());
OutputStreamWriter outputStreamWriter = new OutputStreamWriter(fileOutputStream, "UTF-8");
PrintWriter printWriter = new PrintWriter(outputStreamWriter);
printWriter.print(contents);
printWriter.close();
}
if (file.exists() && !file.delete())
throw new IOException("Can't delete " + fileName);
if (contents != null)
if (!tempFile.renameTo(file))
throw new IOException("Can't rename " + tempFile + " to " + file);
vmBus_send("wroteFile", file);
return file;
}
static public File saveTextFile(File fileName, String contents) {
try {
saveTextFile(fileName.getPath(), contents);
return fileName;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public JWindow infoBox(Object text) {
return infoMessage(strOrNull(text));
}
static public JWindow infoBox(String text) {
return infoMessage(text);
}
static public JWindow infoBox(String text, double seconds) {
return infoMessage(text, seconds);
}
static public JWindow infoBox(Throwable e) {
return infoMessage(e);
}
static public void inputText(final String msg, final Object action) {
inputText(msg, "", action);
}
static public void inputText(final String msg, final String defaultText, final Object action) {
final Object threadInfo = _threadInfo();
swingLater(new Runnable() {
public void run() {
try {
final JTextField tf = jtextfield(defaultText);
String title = joinStrings(" | ", msg, programName());
JComponent form = showFormTitled(title, unnull(msg), tf, new Runnable() {
public void run() {
try {
vmBus_send("inputtingText_OK", threadInfo, msg, tf);
callF_thread(action, getTextTrim(tf));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "vmBus_send(\"inputtingText_OK\", threadInfo, msg, tf);\r\n callF_thread(ac...";
}
});
renameSubmitButton(form, "OK");
vmBus_send("inputtingText", threadInfo, msg, tf);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "final JTextField tf = jtextfield(defaultText);\r\n String title = joinString...";
}
});
}
static public void inputText(String msg, String defaultText, IVF1 action) {
inputText(msg, defaultText, (Object) action);
}
static public void inputText(String msg, IVF1 action) {
inputText(msg, (Object) action);
}
static public String snippetTitle(String id) {
return getSnippetTitle(id);
}
static public String snippetTitle(long id) {
return getSnippetTitle(id);
}
static public String renameSnippet(String id, String title) {
if (isLocalSnippetID(id)) {
setLocalSnippetTitle(id, title);
return "Renamed";
}
return postPageWithCredentials(tb_mainServer() + "/tb-int/update_snippet_title.php", "id", parseSnippetID(id), "title", title);
}
static public String quote(Object o) {
if (o == null)
return "null";
return quote(str(o));
}
static public String quote(String s) {
if (s == null)
return "null";
StringBuilder out = new StringBuilder((int) (l(s) * 1.5 + 2));
quote_impl(s, out);
return out.toString();
}
static public void quote_impl(String s, StringBuilder out) {
out.append('"');
int l = s.length();
for (int i = 0; i < l; i++) {
char c = s.charAt(i);
if (c == '\\' || c == '"')
out.append('\\').append(c);
else if (c == '\r')
out.append("\\r");
else if (c == '\n')
out.append("\\n");
else if (c == '\t')
out.append("\\t");
else if (c == '\0')
out.append("\\0");
else
out.append(c);
}
out.append('"');
}
static public long sysNow() {
ping();
return System.nanoTime() / 1000000;
}
static public String butterReload(String botID) {
return assertContainsIC(postPage("https://botcompany.de/1007572/raw/" + psI(botID), muricaCredentials()), "OK, reloaded");
}
static public ThreadLocal saveTiming_last = new ThreadLocal();
static public void saveTiming(long ms) {
print(ms + " ms");
saveTiming_noPrint(ms);
}
static public void saveTiming_noPrint(long ms) {
saveTiming_last.set(ms);
}
static public ThreadLocal saveTiming_tl() {
return saveTiming_last;
}
static public String lastTiming_format100ms() {
return renderElapsedTimePleasantly_100ms(lastTiming());
}
static public A optPar(ThreadLocal tl, A defaultValue) {
A a = tl.get();
if (a != null) {
tl.set(null);
return a;
}
return defaultValue;
}
static public A optPar(ThreadLocal tl) {
return optPar(tl, null);
}
static public Object optPar(Object[] params, String name) {
return optParam(params, name);
}
static public Object optPar(String name, Object[] params) {
return optParam(params, name);
}
static public Object optPar(String name, Map params) {
return optParam(name, params);
}
static public A optPar(Object[] params, String name, A defaultValue) {
return optParam(params, name, defaultValue);
}
static public A optPar(String name, Object[] params, A defaultValue) {
return optParam(params, name, defaultValue);
}
static public A or(A a, A b) {
return a != null ? a : b;
}
static public String mainTranspilationSnippetFromSrc(String src) {
return regexpFirstGroup("^!transpileMainSnippet\\s+(#\\d+)", trimmedJavaLineComments(src));
}
static public AutoCloseable tempDisableButton(final JButton b) {
if (b == null)
return null;
boolean wasEnabled = swing(new F0() {
public Boolean get() {
try {
boolean wasEnabled = isEnabled(b);
if (wasEnabled)
disableButton(b);
return wasEnabled;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "bool wasEnabled = isEnabled(b);\r\n if (wasEnabled)\r\n disableButton(b);...";
}
});
if (!wasEnabled)
return null;
return new AutoCloseable() {
public String toString() {
return "enableButton(b);";
}
public void close() throws Exception {
enableButton(b);
}
};
}
static public Pair transpileHereOrOnServer(String snippetID, boolean medium, Object... __) {
boolean alwaysHere = boolPar("alwaysHere", __);
String mode = medium ? "medium" : "quick";
return !alwaysHere && haveMuricaPassword() ? transpileOnBestServer(snippetID, mode) : transpileForServer_returnPair(snippetID, mode);
}
static public void swingLater(long delay, final Object r) {
javax.swing.Timer timer = new javax.swing.Timer(toInt(delay), actionListener(wrapAsActivity(r)));
timer.setRepeats(false);
timer.start();
}
static public void swingLater(Object r) {
SwingUtilities.invokeLater(toRunnable(r));
}
static public void hideWindow(final Component c) {
final Window w = getWindow(c);
if (w != null) {
swing(() -> {
w.setVisible(false);
});
}
}
static public void callFInNewThread(Object f, Object... args) {
callF_thread(f, args);
}
static public String htmlDecode(String input) {
return htmldecode(input);
}
static public A maximizeFrame(A c) {
JFrame f = swing(new F0() {
public JFrame get() {
try {
JFrame f = getFrame(c);
if (f != null)
f.setExtendedState(JFrame.MAXIMIZED_BOTH);
return f;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JFrame f = getFrame(c);\r\n if (f != null)\r\n f.setExtendedState(JFrame....";
}
});
if (f != null && !isAWTThread()) {
Dimension d = maximumWindowBounds().getSize();
long start = sysNow();
while (licensed()) {
try {
if (f.getWidth() >= d.getWidth() - 100 && f.getHeight() >= d.getHeight() - 100)
break;
if (sysNow() >= start + 100) {
warn("maximizeFrame timeout");
break;
}
} catch (Throwable __e) {
printStackTrace(__e);
}
sleep(1);
}
}
return c;
}
static public boolean scrollAllTheWayDown_bruteForce = true;
static public A scrollAllTheWayDown(A c) {
if (c != null) {
swing(() -> {
int h = c.getHeight() - 1;
if (scrollAllTheWayDown_bruteForce)
h = max(h, 100000);
c.scrollRectToVisible(new Rectangle(0, h, 1, 1));
});
}
return c;
}
static public JFastLogView_noWrap showText_fast_noWrap(String title, Object text) {
return showText_fast_noWrap(null, title, text);
}
static public JFastLogView_noWrap showText_fast_noWrap(JFastLogView_noWrap view, String title, Object text) {
if (view != null) {
view.setText(str(text));
return view;
}
view = jFastLogView_noWrap(str(text));
makeFrame(title, jscroll_copyBackground(view));
return view;
}
static public JFastLogView_noWrap showText_fast_noWrap(Object text) {
return showText_fast_noWrap(autoFrameTitle(), text);
}
static public A setFrameIcon(A c, String imageID) {
setFrameIconLater(c, imageID);
return c;
}
static public A setFrameIcon(String imageID, A c) {
return setFrameIcon(c, imageID);
}
static public void addButtonsToWindow(Component c, Object... buttonParams) {
addToWindowWithMargin(c, jcenteredbuttons(buttonParams));
}
static public A printStackTrace(A e) {
if (e != null)
print(getStackTrace(e));
return e;
}
static public void printStackTrace() {
printStackTrace(new Throwable());
}
static public void printStackTrace(String msg) {
printStackTrace(new Throwable(msg));
}
static public void printStackTrace(String msg, Throwable e) {
printStackTrace(new Throwable(msg, e));
}
static public int getSnippetType(String id) {
if (!isSnippetID(id))
return 0;
return getSnippetType(psI(id));
}
static public int getSnippetType(long id) {
IResourceLoader rl = vm_getResourceLoader();
if (rl != null)
return rl.getSnippetType(fsI(id));
return getSnippetType_noResourceLoader(id);
}
static public int getSnippetType_noResourceLoader(long id) {
try {
if (isLocalSnippetID(id))
return localSnippetType(id);
if (isGeneralFileServerSnippet(id))
return snippetType_data();
if (isImageServerSnippet(id))
return snippetType_image();
return parseInt(trim(loadPageSilently(new URL(tb_mainServer() + "/tb-int/getfield.php?id=" + id + "&field=type" + standardCredentials()))));
} catch (Exception __e) {
throw rethrow(__e);
}
}
static volatile public StringBuffer local_log = new StringBuffer();
static public boolean printAlsoToSystemOut = true;
static volatile public Appendable print_log = local_log;
static volatile public int print_log_max = 1024 * 1024;
static volatile public int local_log_max = 100 * 1024;
static public boolean print_silent = false;
static public Object print_byThread_lock = new Object();
static volatile public ThreadLocal print_byThread;
static volatile public Object print_allThreads;
static volatile public Object print_preprocess;
static public void print() {
print("");
}
static public A print(String s, A o) {
print(combinePrintParameters(s, o));
return o;
}
static public A print(A o) {
ping_okInCleanUp();
if (print_silent)
return o;
String s = o + "\n";
print_noNewLine(s);
return o;
}
static public void print_noNewLine(String s) {
try {
Object f = getThreadLocal(print_byThread_dontCreate());
if (f == null)
f = print_allThreads;
if (f != null)
if (isFalse(f instanceof F1 ? ((F1) f).get(s) : callF(f, s)))
return;
} catch (Throwable e) {
System.out.println(getStackTrace(e));
}
print_raw(s);
}
static public void print_raw(String s) {
if (print_preprocess != null)
s = (String) callF(print_preprocess, s);
s = fixNewLines(s);
Appendable loc = local_log;
Appendable buf = print_log;
int loc_max = print_log_max;
if (buf != loc && buf != null) {
print_append(buf, s, print_log_max);
loc_max = local_log_max;
}
if (loc != null)
print_append(loc, s, loc_max);
if (printAlsoToSystemOut)
System.out.print(s);
vmBus_send("printed", mc(), s);
}
static public void print_autoRotate() {
}
static public Container dm_frame() {
return dm_frame(dm_current_generic());
}
static public Container dm_frame(Object module) {
return (Container) getPossiblyInternalFrame(dm_vis(module));
}
static public String className(Object o) {
return getClassName(o);
}
static public JComponent dm_vis(Object module) {
return dm_getVisualization(module);
}
static public JComponent dm_vis() {
return dm_getVisualization();
}
static public String loadTextFile(String fileName) {
return loadTextFile(fileName, null);
}
static public String loadTextFile(File f, String defaultContents) {
return loadTextFile(f, defaultContents, "UTF-8");
}
static public String loadTextFile(File f, String defaultContents, String encoding) {
try {
checkFileNotTooBigToRead(f);
if (f == null || !f.exists())
return defaultContents;
FileInputStream fileInputStream = new FileInputStream(f);
InputStreamReader inputStreamReader = new InputStreamReader(fileInputStream, encoding);
return loadTextFile(inputStreamReader);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public static String loadTextFile(File fileName) {
return loadTextFile(fileName, null);
}
static public String loadTextFile(String fileName, String defaultContents) {
return fileName == null ? defaultContents : loadTextFile(newFile(fileName), defaultContents);
}
static public String loadTextFile(Reader reader) throws IOException {
StringBuilder builder = new StringBuilder();
try {
char[] buffer = new char[1024];
int n;
while (-1 != (n = reader.read(buffer))) builder.append(buffer, 0, n);
} finally {
reader.close();
}
return str(builder);
}
static public boolean nempty(Collection c) {
return !empty(c);
}
static public boolean nempty(CharSequence s) {
return !empty(s);
}
static public boolean nempty(Object[] o) {
return !empty(o);
}
static public boolean nempty(byte[] o) {
return !empty(o);
}
static public boolean nempty(int[] o) {
return !empty(o);
}
static public boolean nempty(BitSet bs) {
return !empty(bs);
}
static public boolean nempty(Map m) {
return !empty(m);
}
static public boolean nempty(Iterator i) {
return i != null && i.hasNext();
}
static public boolean nempty(MultiMap mm) {
return mm != null && !mm.isEmpty();
}
static public boolean nempty(Object o) {
return !empty(o);
}
static public boolean nempty(Rect r) {
return r != null && r.w != 0 && r.h != 0;
}
static public boolean nempty(MultiSet ms) {
return ms != null && !ms.isEmpty();
}
static public void logQuotedWithDate(String s) {
logQuotedWithTime(s);
}
static public void logQuotedWithDate(String logFile, String s) {
logQuotedWithTime(logFile, s);
}
static public void logQuotedWithDate(File logFile, String s) {
logQuotedWithTime(logFile, s);
}
static public String programTitle() {
return getProgramName();
}
static volatile public boolean sleep_noSleep = false;
static public void sleep(long ms) {
ping();
if (ms < 0)
return;
if (isAWTThread() && ms > 100)
throw fail("Should not sleep on AWT thread");
try {
Thread.sleep(ms);
} catch (Exception e) {
throw new RuntimeException(e);
}
}
static public void sleep() {
try {
if (sleep_noSleep)
throw fail("nosleep");
print("Sleeping.");
sleepQuietly();
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public HashSet concatListsToSet(Collection ... lists) {
HashSet l = new HashSet();
for (Collection list : lists) if (list != null)
l.addAll(list);
return l;
}
static public HashSet concatListsToSet(Collection> lists) {
HashSet l = new HashSet();
for (Collection list : lists) if (list != null)
l.addAll(list);
return l;
}
static public Collection allJavaKeywords() {
return isJavaKeyword_keywords;
}
static public Set standardFunctionNames() {
return keys(stdFunctions_cached());
}
static public List deepWords(String s) {
return words2(s);
}
static public List map(Iterable l, Object f) {
return map(f, l);
}
static public List map(Object f, Iterable l) {
List x = emptyList(l);
if (l != null)
for (Object o : l) {
ping();
x.add(callF(f, o));
}
return x;
}
static public List map(Iterable l, F1 f) {
return map(f, l);
}
static public List map(F1 f, Iterable l) {
List x = emptyList(l);
if (l != null)
for (A o : l) {
ping();
x.add(callF(f, o));
}
return x;
}
static public List map(IF1 f, Iterable l) {
return map(l, f);
}
static public List map(Iterable l, IF1 f) {
List x = emptyList(l);
if (l != null)
for (A o : l) {
ping();
x.add(f.get(o));
}
return x;
}
static public List map(IF1 f, A[] l) {
return map(l, f);
}
static public List map(A[] l, IF1 f) {
List x = emptyList(l);
if (l != null)
for (A o : l) {
ping();
x.add(f.get(o));
}
return x;
}
static public List map(Object f, Object[] l) {
return map(f, asList(l));
}
static public List map(Object[] l, Object f) {
return map(f, l);
}
static public List map(Object f, Map map) {
return map(map, f);
}
static public List map(Map map, Object f) {
List x = new ArrayList();
if (map != null)
for (Object _e : map.entrySet()) {
ping();
Map.Entry e = (Map.Entry) _e;
x.add(callF(f, e.getKey(), e.getValue()));
}
return x;
}
static public List map(Map map, IF2 f) {
return map(map, (Object) f);
}
static public List map(IF1 f, A data1, A... moreData) {
List x = emptyList(l(moreData) + 1);
x.add(f.get(data1));
if (moreData != null)
for (A o : moreData) {
ping();
x.add(f.get(o));
}
return x;
}
static public A copyFields(Object x, A y, String... fields) {
if (empty(fields)) {
Map map = objectToMap(x);
for (String field : map.keySet()) setOpt(y, field, map.get(field));
} else
for (String field : fields) {
Object o = getOpt(x, field);
if (o != null)
setOpt(y, field, o);
}
return y;
}
static public A copyFields(Object x, A y, Collection fields) {
return copyFields(x, y, asStringArray(fields));
}
static public void nohupJavax(final String javaxargs) {
{
startThread(new Runnable() {
public void run() {
try {
call(hotwireOnce("#1008562"), "nohupJavax", javaxargs);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "call(hotwireOnce(\"#1008562\"), \"nohupJavax\", javaxargs);";
}
});
}
}
static public void nohupJavax(final String javaxargs, final String vmArgs) {
{
startThread(new Runnable() {
public void run() {
try {
call(hotwireOnce("#1008562"), "nohupJavax", javaxargs, vmArgs);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "call(hotwireOnce(\"#1008562\"), \"nohupJavax\", javaxargs, vmArgs);";
}
});
}
}
static public JTextField jtextfield() {
return jTextField();
}
static public JTextField jtextfield(String text) {
return jTextField(text);
}
static public JTextField jtextfield(Object o) {
return jTextField(o);
}
static public JComboBox jComboBox_javaxTypes() {
return jcombobox("[57] JavaX Dynamic Module", "[42] Include", "[55] JavaX Desktop");
}
static public JCheckBox jCheckBox() {
return swingNu(JCheckBox.class);
}
static public JCheckBox jCheckBox(boolean checked) {
return swingNu(JCheckBox.class, "", checked);
}
static public JCheckBox jCheckBox(String text, boolean checked) {
return swingNu(JCheckBox.class, text, checked);
}
static public JCheckBox jCheckBox(String text) {
return swingNu(JCheckBox.class, text);
}
static public JCheckBox jCheckBox(String text, boolean checked, Object onChange) {
JCheckBox cb = jCheckBox(text, checked);
cb.setText(text);
return cb;
}
static public JCheckBox jCheckBox(boolean checked, final Object onChange) {
final JCheckBox cb = jCheckBox(checked);
cb.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent e) {
pcallF(onChange, cb.isSelected());
}
});
return cb;
}
static public JCheckBox jCheckBox(boolean checked, String text, IVF1 onChangeAndNow) {
var cb = jCheckBox(text, checked);
onChangeAndNow(cb, new Runnable() {
public void run() {
try {
onChangeAndNow.get(isChecked(cb));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "onChangeAndNow.get(isChecked(cb));";
}
});
return cb;
}
static public A renameSubmitButton(A form, String newName) {
renameButton(form, showFormSubmitButtonName(), newName);
return form;
}
static public A renameSubmitButton(String newName, A form) {
return renameSubmitButton(form, newName);
}
static public int showForm_defaultGap = 4;
static public int showForm_gapBetweenColumns = 10;
static public JPanel showFormTitled(final String title, final Object... _parts) {
JDesktopPane desktop = mainDesktopPane();
if (desktop != null)
return showInternalFrameFormTitled(desktop, title, _parts);
return swing(new F0() {
public JPanel get() {
try {
final Var frame = new Var();
JPanel panel = showForm_makePanel(false, _parts);
showForm_makeFrame(title, panel);
frame.set(getFrame(panel));
return panel;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "final new Var frame;\r\n JPanel panel = showForm_makePanel(false, _p...";
}
});
}
static public JPanel showForm_makePanel(Boolean internalFrame, Object... _parts) {
List out = showForm_arrange1(showForm_makeComponents(internalFrame, _parts));
return vstackWithSpacing(out, showForm_defaultGap);
}
static public AutoCloseable tempShowLoadingAnimation() {
return tempShowLoadingAnimation("Hold on user...");
}
static public AutoCloseable tempShowLoadingAnimation(String text) {
try {
return tempDisposeWindow(showAnimationInTopRightCorner("#1003543", text));
} catch (Throwable __e) {
return null;
}
}
static public int parseFirstInt(String s) {
return parseInt(jextract("", s));
}
static public int parseFirstInt(Iterable l) {
return parseInt(firstIntegerString(l));
}
static public String getSelectedItem(JList l) {
return (String) l.getSelectedValue();
}
static public String getSelectedItem(JComboBox cb) {
return strOrNull(cb.getSelectedItem());
}
static public String getTextTrim(JTextComponent c) {
return trim(getText(c));
}
static public String getTextTrim(JComboBox cb) {
return trim(getText(cb));
}
static public String getTextTrim(JComponent c) {
if (c instanceof JLabel)
return trim(((JLabel) c).getText());
if (c instanceof JComboBox)
return getTextTrim((JComboBox) c);
return getTextTrim((JTextComponent) c);
}
static public Snippet createSnippet(Snippet s) {
s.id = createSnippet(s.text, s.title, parseSnippetType(s.type));
return s;
}
static public String createSnippet(String text, String title, int type) {
return createSnippet(text, title, type, true);
}
static public String createSnippet(String text, String title, int type, boolean isPublic) {
return createSnippet(text, title, type, standardCredentialsUser(), standardCredentialsPass(), isPublic);
}
static public String createSnippet(String text, String title, int type, String user, String pass) {
return createSnippet(text, title, type, user, pass, true);
}
static public String createSnippet(String text, String title, int type, String user, String pass, boolean isPublic) {
String addURL = tb_mainServer() + "/tb-int/add_snippet.php";
Map query = litmap("type", type, "high", 1, "public", isPublic ? 1 : 0, "text", text, "name", title, "_user", user, "_pass", pass);
String answer = doPost(query, addURL);
if (!isSnippetID(answer))
throw fail(answer);
print("Snippet created. " + formatSnippetID(answer));
return formatSnippetID(answer);
}
static public boolean isChecked(JCheckBox checkBox) {
return checkBox != null && (boolean) swing(new F0() {
public Boolean get() {
try {
return checkBox.isSelected();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return checkBox.isSelected();";
}
});
}
static public boolean isChecked(JCheckBoxMenuItem mi) {
return mi != null && (boolean) swing(new F0() {
public Boolean get() {
try {
return mi.isSelected();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return mi.isSelected();";
}
});
}
static public boolean isChecked(JRadioButton rb) {
return rb != null && (boolean) swing(() -> rb.isSelected());
}
static public void inputFilePath(final String msg, final Object action) {
inputFilePath(msg, userDir(), action);
}
static public void inputFilePath(final String msg, final File defaultFile, final Object action) {
swingLater(new Runnable() {
public void run() {
try {
final JTextField tfPath = jtextfield(f2s(or(defaultFile, userDir())));
String title = joinStrings(" | ", msg, programName());
JComponent form = showFormTitled(title, unnull(msg), centerAndEast(tfPath, jbutton("Browse...", new Runnable() {
public void run() {
try {
JFileChooser fileChooser = new JFileChooser(getTextTrim(tfPath));
if (fileChooser.showOpenDialog(tfPath) == JFileChooser.APPROVE_OPTION) {
tfPath.setText(fileChooser.getSelectedFile().getAbsolutePath());
tfPath.requestFocus();
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JFileChooser fileChooser = new JFileChooser(getTextTrim(tfPath));\r\n if...";
}
})), new Runnable() {
public void run() {
try {
callF(action, new File(getTextTrim(tfPath)));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "callF(action, new File(getTextTrim(tfPath)))";
}
});
renameSubmitButton(form, "OK");
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "final JTextField tfPath = jtextfield(f2s(or(defaultFile, userDir())));\r\n S...";
}
});
}
static public A optCast(Class c, Object o) {
return isInstance(c, o) ? (A) o : null;
}
static public List dm_reloadAllModulesWithSnippetID(String snippetID) {
List reloadedModules = new ArrayList();
boolean first = true;
for (Object m : dm_modules()) {
try {
{
if (!(sameSnippetID(dm_moduleSnippetID(m), snippetID)))
continue;
}
AutoCloseable __1 = dm_codeSharingEnabledInOS() && !first ? tempSetOpt(dm_os(), "startModule_doShare", true) : null;
try {
dm_reloadModule(m);
reloadedModules.add(m);
first = false;
} finally {
_close(__1);
}
} catch (Throwable __e) {
printStackTrace(__e);
}
}
return reloadedModules;
}
static public void dm_addDynamicModuleDialog2(String snippetID) {
callCreator("stefansOS_addDynamicModuleDialog2", snippetID);
}
static public void dm_addDynamicModuleDialog2(String snippetID, boolean reuseExisting) {
callCreator("stefansOS_addDynamicModuleDialog2", snippetID, reuseExisting);
}
static public void dm_addDynamicModuleDialog2(Snippet s) {
if (s != null)
dm_addDynamicModuleDialog2(s.id);
}
static public JTextArea showText(final String title, Object text) {
return showText(null, title, text);
}
static public JTextArea showText(JTextArea ta, final String title, Object text) {
final String _text = str(text);
if (ta != null)
return activateFrameAndReturnComponent(setFrameTitle(title, setText(ta, _text)));
return swing(new F0() {
public JTextArea get() {
try {
JTextArea textArea = newTypeWriterTextArea(_text);
makeFrame(title, new JScrollPane(textArea));
return textArea;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JTextArea textArea = newTypeWriterTextArea(_text);\r\n makeFrame(title, new ...";
}
});
}
static public JTextArea showText(Object text) {
return showText(str(text));
}
static public JTextArea showText(String text) {
return showText(autoFrameTitle(), text);
}
static public JTextArea showText() {
return showText("");
}
static public String getServerTranspiledWithoutLibs(String snippetID) {
return dropFirstLine(getServerTranspiled2(snippetID));
}
static public void openInBrowser(String url) {
openPlatformBrowser(url);
}
static public void openInBrowser(URL url) {
openPlatformBrowser(url);
}
static public String snippetLink(String id) {
return empty(id) ? id : snippetLink(parseSnippetID(id));
}
static public String snippetLink(long id) {
return "https://code.botcompany.de/" + id;
}
static public Class javax() {
return getJavaX();
}
static public void setDefaultClassFinder(Object cf) {
_defaultClassFinder_value = cf;
}
static public HashMap findClass_fullName_cache = new HashMap();
static public Class findClass_fullName(String name) {
synchronized (findClass_fullName_cache) {
if (findClass_fullName_cache.containsKey(name))
return findClass_fullName_cache.get(name);
Class c;
try {
c = Class.forName(name);
} catch (ClassNotFoundException e) {
c = null;
}
findClass_fullName_cache.put(name, c);
return c;
}
}
static public AutoCloseable tempInterceptPrintIfNotIntercepted(F1 f) {
return print_byThread().get() == null ? tempInterceptPrint(f) : null;
}
static public Set isJavaKeyword_keywords = new HashSet(splitAtSpace("abstract\tcontinue\tfor\tnew\tswitch\r\nassert\tdefault\tgoto\tpackage\tsynchronized\r\nboolean\tdo\tif\tprivate\tthis\r\nbreak\tdouble\timplements\tprotected\tthrow\r\nbyte\telse\timport\tpublic\tthrows\r\ncase\tenum\tinstanceof\treturn\ttransient\r\ncatch\textends\tint\tshort\ttry\r\nchar\tfinal\tinterface\tstatic\tvoid\r\nclass\tfinally\tlong\tstrictfp\tvolatile\r\nconst\tfloat\tnative\tsuper\twhile"));
static public boolean isJavaKeyword(String s) {
return isJavaKeyword_keywords.contains(s);
}
static public Object _defaultClassFinder_value = defaultDefaultClassFinder();
static public Object _defaultClassFinder() {
return _defaultClassFinder_value;
}
static public Concepts newConceptsWithClassFinder(String progID) {
Concepts cc = new Concepts(progID);
cc.classFinder = _defaultClassFinder();
return cc;
}
static public Concepts newConceptsWithClassFinder(File conceptsFile) {
Concepts cc = new Concepts(assertNotNull(conceptsFile));
cc.classFinder = _defaultClassFinder();
return cc;
}
static public Concepts newConceptsWithClassFinder(File conceptsFile, IF1 classFinder) {
Concepts cc = new Concepts(assertNotNull(conceptsFile));
cc.classFinder = classFinder;
return cc;
}
static public String getDBProgramID_id;
static public String getDBProgramID() {
return nempty(getDBProgramID_id) ? getDBProgramID_id : programIDWithCase();
}
static public F0 dm_rEnter() {
return dm_rEnter(dm_current());
}
static public F0 dm_rEnter(DynModule mod) {
return mod == null ? null : new F0() {
public AutoCloseable get() {
try {
return mod.enter();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return mod.enter();";
}
};
}
static public Runnable dm_rEnter(Runnable r) {
return dm_rEnter(dm_current(), r);
}
static public Runnable dm_rEnter(DynModule mod, Runnable r) {
return mod == null || r == null ? r : new Runnable() {
public void run() {
try {
AutoCloseable __1 = mod.enter();
try {
r.run();
} finally {
_close(__1);
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "temp mod.enter(); r.run();";
}
};
}
static public int toMS_int(double seconds) {
return toInt_checked((long) (seconds * 1000));
}
static public ArrayList emptyList() {
return new ArrayList();
}
static public ArrayList emptyList(int capacity) {
return new ArrayList(max(0, capacity));
}
static public ArrayList emptyList(Iterable l) {
return l instanceof Collection ? emptyList(((Collection) l).size()) : emptyList();
}
static public ArrayList emptyList(Object[] l) {
return emptyList(l(l));
}
static public ArrayList emptyList(Class c) {
return new ArrayList();
}
static public int[] emptyIntArray_a = new int[0];
static public int[] emptyIntArray() {
return emptyIntArray_a;
}
static public char[] emptyCharArray = new char[0];
static public char[] emptyCharArray() {
return emptyCharArray;
}
static public double[] emptyDoubleArray = new double[0];
static public double[] emptyDoubleArray() {
return emptyDoubleArray;
}
static public Map emptyMap() {
return new HashMap();
}
static public Object[] emptyObjectArray_a = new Object[0];
static public Object[] emptyObjectArray() {
return emptyObjectArray_a;
}
static public Symbol emptySymbol_value;
static public Symbol emptySymbol() {
if (emptySymbol_value == null)
emptySymbol_value = symbol("");
return emptySymbol_value;
}
static public void swingAndWait(Runnable r) {
try {
if (isAWTThread())
r.run();
else
EventQueue.invokeAndWait(addThreadInfoToRunnable(r));
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public Object swingAndWait(final Object f) {
if (isAWTThread())
return callF(f);
else {
final Var result = new Var();
swingAndWait(new Runnable() {
public void run() {
try {
result.set(callF(f));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "result.set(callF(f));";
}
});
return result.get();
}
}
static public void lock(Lock lock) {
try {
ping();
if (lock == null)
return;
try {
vmBus_send("locking", lock, "thread", currentThread());
lock.lockInterruptibly();
vmBus_send("locked", lock, "thread", currentThread());
} catch (InterruptedException e) {
Object reason = vm_threadInterruptionReasonsMap().get(currentThread());
print("Locking interrupted! Reason: " + strOr(reason, "Unknown"));
printStackTrace(e);
rethrow(e);
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public void lock(Lock lock, String msg) {
print("Locking: " + msg);
lock(lock);
}
static public void lock(Lock lock, String msg, long timeout) {
print("Locking: " + msg);
lockOrFail(lock, timeout);
}
static public ReentrantLock lock() {
return fairLock();
}
static public Class getFieldType(Object o, String field) {
return fieldType(o, field);
}
static public void dm_watchField(String field, Runnable onChange) {
new Dyn_FieldWatcher(dm_current_mandatory(), field, onChange);
}
static public void unlock(Lock lock, String msg) {
if (lock == null)
return;
lock.unlock();
vmBus_send("unlocked", lock, "thread", currentThread());
print("Unlocked: " + msg);
}
static public void unlock(Lock lock) {
if (lock == null)
return;
lock.unlock();
vmBus_send("unlocked", lock, "thread", currentThread());
}
static public File loadLibrary(String snippetID) {
return loadBinarySnippet(snippetID);
}
static public void onUpdateAndNow(JComponent c, final Object r) {
onUpdate(c, r);
callF(r);
}
static public void onUpdateAndNow(List l, Object r) {
for (JComponent c : l) onUpdate(c, r);
callF(r);
}
static public A onChange(A spinner, Object r) {
return onChange(spinner, toRunnable(r));
}
static public A onChange(A spinner, Runnable r) {
if (r != null) {
swing(() -> {
spinner.addChangeListener(changeListener(r));
});
}
return spinner;
}
static public A onChange(A b, Object r) {
{
swing(() -> {
b.addItemListener(itemListener(r));
});
}
return b;
}
static public void onChange(JTextComponent tc, Object r) {
onUpdate(tc, r);
}
static public void onChange(JTextComponent tc, Runnable r) {
onUpdate(tc, r);
}
static public A onChange(A slider, final Object r) {
{
swing(() -> {
slider.addChangeListener(changeListener(r));
});
}
return slider;
}
static public JComboBox onChange(JComboBox cb, Runnable r) {
addActionListener(cb, r);
return cb;
}
static public JComboBox onChange(JComboBox cb, IVF1 f) {
if (f != null)
addActionListener(cb, () -> f.get(getSelectedItem_typed(cb)));
return cb;
}
static public JComboBox onChange(Object r, JComboBox cb) {
return onChange(cb, r);
}
static public JComboBox onChange(JComboBox cb, final Object r) {
if (isEditableComboBox(cb))
onChange(textFieldFromComboBox(cb), r);
else
onSelectedItem(cb, new VF1() {
public void get(String s) {
try {
callF(r);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "callF(r)";
}
});
return cb;
}
static public A onChange(A tabs, Runnable r) {
{
swing(() -> {
tabs.addChangeListener(changeListener(r));
});
}
return tabs;
}
static public A onChange(Runnable r, A cc) {
if (cc != null && r != null) {
swing(() -> {
cc.getSelectionModel().addChangeListener(changeListener(r));
});
}
return cc;
}
static public void onChange(IHasChangeListeners a, ChangeTriggerable b) {
if (a != null && b != null)
a.onChange(new ChangeTrigger(b));
}
static public A getSelectedItem_typed(JList l) {
return swing(() -> l.getSelectedValue());
}
static public A getSelectedItem_typed(JComboBox cb) {
return swing(() -> (A) cb.getSelectedItem());
}
static public Object pcallF(Object f, Object... args) {
return pcallFunction(f, args);
}
static public A pcallF(F0 f) {
try {
return f == null ? null : f.get();
} catch (Throwable __e) {
printStackTrace(__e);
}
return null;
}
static public B pcallF(F1 f, A a) {
try {
return f == null ? null : f.get(a);
} catch (Throwable __e) {
printStackTrace(__e);
}
return null;
}
static public void pcallF(VF1 f, A a) {
try {
{
if (f != null)
f.get(a);
}
} catch (Throwable __e) {
printStackTrace(__e);
}
}
static public Object pcallF(Runnable r) {
try {
{
if (r != null)
r.run();
}
} catch (Throwable __e) {
printStackTrace(__e);
}
return null;
}
static public A pcallF(IF0 f) {
try {
return f == null ? null : f.get();
} catch (Throwable __e) {
printStackTrace(__e);
}
return null;
}
static public B pcallF(IF1 f, A a) {
try {
return f == null ? null : f.get(a);
} catch (Throwable __e) {
printStackTrace(__e);
}
return null;
}
static public void readLocally(String progID, String varNames) {
readLocally2(mc(), progID, varNames);
}
static public void readLocally(String varNames) {
readLocally2(mc(), programID(), varNames);
}
static public void readLocally2(Object obj, String varNames) {
readLocally2(obj, programID(), varNames);
}
static public int readLocally_stringLength;
static public ThreadLocal readLocally2_allDynamic = new ThreadLocal();
static public ThreadLocal readLocally2_classFinder = new ThreadLocal();
static public void readLocally2(Object obj, String progID, String varNames) {
try {
boolean allDynamic = isTrue(getAndClearThreadLocal(readLocally2_allDynamic));
for (String variableName : javaTokC(varNames)) {
File textFile = new File(programDir(progID), variableName + ".text");
String value = loadTextFile(textFile);
if (value != null)
set(main.class, variableName, value);
else {
File structureFile = new File(programDir(progID), variableName + ".structure");
value = loadTextFile(structureFile);
if (value == null) {
File structureGZFile = new File(programDir(progID), variableName + ".structure.gz");
if (!structureGZFile.isFile())
return;
InputStream fis = new FileInputStream(structureGZFile);
try {
GZIPInputStream gis = newGZIPInputStream(fis);
InputStreamReader reader = new InputStreamReader(gis, "UTF-8");
BufferedReader bufferedReader = new BufferedReader(reader);
Object o = unstructure_tok(javaTokC_noMLS_onReader(bufferedReader), allDynamic, readLocally2_classFinder.get());
readLocally_set(obj, variableName, o);
return;
} finally {
_close(fis);
}
}
readLocally_stringLength = l(value);
if (nempty(value))
readLocally_set(obj, variableName, unstructure(value, allDynamic, readLocally2_classFinder.get()));
}
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public void readLocally_set(Object c, String varName, Object value) {
Object oldValue = get(c, varName);
if (oldValue instanceof List && !(oldValue instanceof ArrayList) && value != null) {
value = synchroList((List) value);
}
set(c, varName, value);
}
static public Class mc() {
return main.class;
}
static public int min(int a, int b) {
return Math.min(a, b);
}
static public long min(long a, long b) {
return Math.min(a, b);
}
static public float min(float a, float b) {
return Math.min(a, b);
}
static public float min(float a, float b, float c) {
return min(min(a, b), c);
}
static public double min(double a, double b) {
return Math.min(a, b);
}
static public double min(double[] c) {
double x = Double.MAX_VALUE;
for (double d : c) x = Math.min(x, d);
return x;
}
static public float min(float[] c) {
float x = Float.MAX_VALUE;
for (float d : c) x = Math.min(x, d);
return x;
}
static public byte min(byte[] c) {
byte x = 127;
for (byte d : c) if (d < x)
x = d;
return x;
}
static public short min(short[] c) {
short x = 0x7FFF;
for (short d : c) if (d < x)
x = d;
return x;
}
static public int min(int[] c) {
int x = Integer.MAX_VALUE;
for (int d : c) if (d < x)
x = d;
return x;
}
static public Container getPIFrame(Component c) {
return (Container) getPossiblyInternalFrame(c);
}
static public A setSize(final A c, final int w, final int h) {
if (c != null) {
swing(() -> {
c.setSize(w, h);
});
}
return c;
}
static public void setSize(Component c, Dimension d) {
setSize(c, d.width, d.height);
}
static public int getWidth(Component c) {
return c == null ? 0 : (int) swingCall(c, "getWidth");
}
static public int getHeight(Component c) {
return c == null ? 0 : (int) swingCall(c, "getHeight");
}
static public SingleThread awtCalcRegularly(JComponent component, int delay, int firstDelay, Object runnable) {
final SingleThread thread = new SingleThread();
final Runnable r2 = addThreadInfoToRunnable(runnable);
final Object info = _threadInfo();
installTimer(component, delay, firstDelay, new Runnable() {
public void run() {
if (!licensed())
return;
_threadInheritInfo(info);
thread.go(r2);
}
});
return thread;
}
static public SingleThread awtCalcRegularly(JFrame frame, int delay, int firstDelay, final Object runnable) {
return awtCalcRegularly(getRootPane(frame), delay, firstDelay, runnable);
}
static public JInternalFrame getInternalFrame(final Object _o) {
return _o == null ? null : swing(new F0() {
public JInternalFrame get() {
try {
Object o = _o;
if (o instanceof ButtonGroup)
o = first(buttonsInGroup((ButtonGroup) o));
if (!(o instanceof Component))
return null;
Component c = (Component) o;
while (c != null) {
if (c instanceof JInternalFrame)
return (JInternalFrame) c;
c = c.getParent();
}
return null;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "O o = _o;\r\n if (o instanceof ButtonGroup) o = first(buttonsInGroup((Button...";
}
});
}
static public void onInternalFrameDeactivated(final JInternalFrame w, final Object r) {
if (w != null) {
swing(() -> {
w.addInternalFrameListener(new InternalFrameAdapter() {
public void internalFrameDeactivated(InternalFrameEvent e) {
pcallF(r);
}
});
});
}
}
static public Frame getAWTFrame(final Object _o) {
return swing(new F0() {
public Integer get() {
try {
return c.getComponentCount();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return c.getComponentCount();";
}
});
}
static public RootPaneContainer getPossiblyInternalFrame(Component c) {
JInternalFrame f = getInternalFrame(c);
if (f != null)
return f;
return optCast(RootPaneContainer.class, getWindow(c));
}
static public JMenuBar addMenuBar(final Component c) {
return swing(new F0() {
public JMenuBar get() {
try {
RootPaneContainer f = getPossiblyInternalFrame(c);
if (f == null)
return null;
JMenuBar bar = (JMenuBar) (call(f, "getJMenuBar"));
if (bar == null) {
setMenuBar(f, bar = new JMenuBar());
revalidate((Component) f);
}
return bar;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "RootPaneContainer f = getPossiblyInternalFrame(c);\r\n if (f == null) null;\r...";
}
});
}
static public Pair jmenu_autoMnemonic(String s) {
int i = indexOf(s, '&');
if (i >= 0 && i < l(s) && isLetterOrDigit(s.charAt(i + 1)))
return pair(substring(s, 0, i) + substring(s, i + 1), (int) s.charAt(i + 1));
return pair(s, 0);
}
static public JMenu getMenuNamed(JMenuBar bar, String name) {
int n = bar.getMenuCount();
for (int i = 0; i < n; i++) {
JMenu m = bar.getMenu(i);
if (m != null && eq(m.getText(), name))
return m;
}
return null;
}
static public void fillJMenu(final JMenu m, Object... x) {
if (x == null)
return;
for (int i = 0; i < l(x); i++) {
Object o = x[i], y = get(x, i + 1);
if (o instanceof List)
fillJMenu(m, asArray((List) o));
else if (isMenuSeparatorIndicator(o)) {
if (menuItemCount(m) != 0)
m.addSeparator();
} else if (o instanceof LiveValue && ((LiveValue) o).getType() == String.class && isRunnableX(y)) {
final LiveValue lv = (LiveValue) o;
final JMenuItem mi = jmenuItem(or2(unCurlyBracket(lv.get()), "..."), y);
bindLiveValueListenerToComponent(mi, lv, new Runnable() {
public void run() {
try {
String s = lv.get();
if (isCurlyBracketed(s)) {
setEnabled(mi, false);
s = unCurlyBracket(s);
} else
setEnabled(mi, true);
setText(mi, s);
revalidate(m);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "String s = lv!;\r\n if (isCurlyBracketed(s)) {\r\n setEnabled(mi,...";
}
});
print("bound live value " + lv + " to menu item " + mi);
m.add(mi);
++i;
} else if (o instanceof String && isRunnableX(y)) {
m.add(jmenuItem((String) o, y));
++i;
} else if (o instanceof JMenuItem)
m.add((JMenuItem) o);
else if (o instanceof String || o instanceof Action || o instanceof Component)
call(m, "add", o);
else if (o == null && y instanceof Runnable)
++i;
else if (o != null)
print("Unknown menu item: " + o);
}
}
static public boolean isFalse(Object o) {
return eq(false, o);
}
static public int menuItemCount(JMenu menu) {
return menu == null ? 0 : swing(() -> menu.getItemCount());
}
static public A revalidate(final A c) {
if (c == null || !c.isShowing())
return c;
{
swing(() -> {
c.revalidate();
c.repaint();
});
}
return c;
}
static public void revalidate(JFrame f) {
revalidate((Component) f);
}
static public void revalidate(JInternalFrame f) {
revalidate((Component) f);
}
static public A set(A o, String field, Object value) {
if (o == null)
return null;
if (o instanceof Class)
set((Class) o, field, value);
else
try {
Field f = set_findField(o.getClass(), field);
makeAccessible(f);
smartSet(f, o, value);
} catch (Exception e) {
throw new RuntimeException(e);
}
return o;
}
static public void set(Class c, String field, Object value) {
if (c == null)
return;
try {
Field f = set_findStaticField(c, field);
makeAccessible(f);
smartSet(f, null, value);
} catch (Exception e) {
throw new RuntimeException(e);
}
}
static public Field set_findStaticField(Class c, String field) {
Class _c = c;
do {
for (Field f : _c.getDeclaredFields()) if (f.getName().equals(field) && (f.getModifiers() & java.lang.reflect.Modifier.STATIC) != 0)
return f;
_c = _c.getSuperclass();
} while (_c != null);
throw new RuntimeException("Static field '" + field + "' not found in " + c.getName());
}
static public Field set_findField(Class c, String field) {
Class _c = c;
do {
for (Field f : _c.getDeclaredFields()) if (f.getName().equals(field))
return f;
_c = _c.getSuperclass();
} while (_c != null);
throw new RuntimeException("Field '" + field + "' not found in " + c.getName());
}
static public void set(BitSet bs, int idx) {
{
if (bs != null)
bs.set(idx);
}
}
static public void save(String varName) {
saveLocally(varName);
}
static public void save(String progID, String varName) {
saveLocally(progID, varName);
}
static public int cmp(Number a, Number b) {
return a == null ? b == null ? 0 : -1 : cmp(a.doubleValue(), b.doubleValue());
}
static public int cmp(double a, double b) {
return a < b ? -1 : a == b ? 0 : 1;
}
static public int cmp(int a, int b) {
return a < b ? -1 : a == b ? 0 : 1;
}
static public int cmp(long a, long b) {
return a < b ? -1 : a == b ? 0 : 1;
}
static public int cmp(Object a, Object b) {
if (a == null)
return b == null ? 0 : -1;
if (b == null)
return 1;
return ((Comparable) a).compareTo(b);
}
static public Object dm_callOS(String functionName, Object... args) {
return call(dm_os(), functionName, args);
}
static public String programID() {
return getProgramID();
}
static public String programID(Object o) {
return getProgramID(o);
}
static public String shortClassName(Object o) {
if (o == null)
return null;
Class c = o instanceof Class ? (Class) o : o.getClass();
String name = c.getName();
return shortenClassName(name);
}
static public Object dm_getModule(Object moduleOrID) {
if (moduleOrID == null || eq(moduleOrID, ""))
return null;
if (isString(moduleOrID) && isIdentifier(((String) moduleOrID)))
return dm_getService(((String) moduleOrID));
if (isStringOrIntOrLong(moduleOrID))
return dm_callOS("getDynModuleByID", str(moduleOrID));
return dm_resolveModule(moduleOrID);
}
static public boolean hasSuperclassShortNamed(Object o, String name) {
Class c = _getClass(o);
while (c != null) if (shortClassNameIs(c, name))
return true;
else
c = c.getSuperclass();
return false;
}
static public A possiblyInternalFrameTitle(A c, String title) {
JInternalFrame f = getInternalFrame(c);
if (f != null)
internalFrameTitle(f, title);
else
frameTitle(getFrame(c), title);
return c;
}
static public String possiblyInternalFrameTitle(Component c) {
JInternalFrame f = getInternalFrame(c);
return f != null ? internalFrameTitle(f) : frameTitle(getFrame(c));
}
static public File userDir() {
return new File(userHome());
}
static public File userDir(String path) {
return new File(userHome(), path);
}
static public String strUnnull(Object o) {
return o == null ? "" : str(o);
}
static public String jlabel_textAsHTML_center_ifNeeded(String text) {
if (swic(text, "") && ewic(text, ""))
return text;
if (!containsNewLines(text))
return text;
return jlabel_textAsHTML_center(text);
}
static public String getType(Object o) {
return getClassName(o);
}
static public File newFile(File base, String... names) {
for (String name : names) base = new File(base, name);
return base;
}
static public File newFile(String name) {
return name == null ? null : new File(name);
}
static public File newFile(String base, String... names) {
return newFile(newFile(base), names);
}
static public String str(Object o) {
return o == null ? "null" : o.toString();
}
static public String str(char[] c) {
return new String(c);
}
static public String str(char[] c, int offset, int count) {
return new String(c, offset, count);
}
static volatile public boolean muricaPassword_pretendNotAuthed = false;
static public String muricaPassword() {
if (muricaPassword_pretendNotAuthed)
return null;
return trim(loadTextFile(muricaPasswordFile()));
}
static public String unnullForIteration(String s) {
return s == null ? "" : s;
}
static public Collection unnullForIteration(Collection l) {
return l == null ? immutableEmptyList() : l;
}
static public List unnullForIteration(List l) {
return l == null ? immutableEmptyList() : l;
}
static public int[] unnullForIteration(int[] l) {
return l == null ? emptyIntArray() : l;
}
static public char[] unnullForIteration(char[] l) {
return l == null ? emptyCharArray() : l;
}
static public double[] unnullForIteration(double[] l) {
return l == null ? emptyDoubleArray() : l;
}
static public short[] unnullForIteration(short[] l) {
return l == null ? emptyShortArray() : l;
}
static public Map unnullForIteration(Map l) {
return l == null ? immutableEmptyMap() : l;
}
static public Iterable unnullForIteration(Iterable i) {
return i == null ? immutableEmptyList() : i;
}
static public A[] unnullForIteration(A[] a) {
return a == null ? (A[]) emptyObjectArray() : a;
}
static public BitSet unnullForIteration(BitSet b) {
return b == null ? new BitSet() : b;
}
static public Pt unnullForIteration(Pt p) {
return p == null ? new Pt() : p;
}
static public Symbol unnullForIteration(Symbol s) {
return s == null ? emptySymbol() : s;
}
static public Pair unnullForIteration(Pair p) {
return p != null ? p : new Pair(null, null);
}
static public long unnullForIteration(Long l) {
return l == null ? 0L : l;
}
static public boolean newButton_autoToolTip = true;
static public JButton newButton(final String text, final Object action) {
return swing(new F0() {
public JButton get() {
try {
String text2 = dropPrefix("[disabled] ", text);
JButton btn = basicJButton(text2);
if (l(text2) < l(text))
btn.setEnabled(false);
if (newButton_autoToolTip) {
btn.setToolTipText(btn.getText());
}
if (action != null)
btn.addActionListener(actionListener(action, btn));
return btn;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "S text2 = dropPrefix(\"[disabled] \", text);\r\n JButton btn = basicJButton(te...";
}
});
}
static public A swingNu(final Class c, final Object... args) {
return swingConstruct(c, args);
}
static public A setToolTipText(final A c, final Object toolTip) {
if (c == null)
return null;
{
swing(() -> {
String s = nullIfEmpty(str(toolTip));
if (neq(s, c.getToolTipText()))
c.setToolTipText(s);
});
}
return c;
}
static public A setToolTipText(Object toolTip, A c) {
return setToolTipText(c, toolTip);
}
static public void setTrayIconToolTip(TrayIcon trayIcon, String toolTip) {
if (trayIcon != null)
trayIcon.setToolTip(toolTip);
}
static public JButton jimageButton(String imageID, Object action) {
JButton btn = jbutton("", action);
btn.setIcon(imageIcon(imageID));
return btn;
}
static public JButton jimageButton(String imageID) {
return jimageButton(imageID, null);
}
static public JButton jimageButton(Image img) {
return jimageButton(img, null, null);
}
static public JButton jimageButton(String imageID, String toolTip, Runnable action) {
return jimageButton(imageIcon(imageID), toolTip, action);
}
static public JButton jimageButton(Image img, String toolTip, Runnable action) {
var btn = jbutton("", action);
setButtonImage(btn, img);
return setToolTip(toolTip, btn);
}
static public JButton jimageButton(ImageIcon img, String toolTip, Runnable action) {
var btn = jbutton("", action);
setButtonImage(btn, img);
return setToolTip(toolTip, btn);
}
static public Pair testBracketHygiene2(String s) {
return testBracketHygiene2(s, testBracketHygiene_op, testBracketHygiene_close);
}
static public Pair testBracketHygiene2(String s, String op, String close) {
List tok = javaTok(s);
Map map = new HashMap();
List stack = getBracketMap2(tok, map, op, close);
for (int i = 1; i < l(tok); i += 2) if (isUnproperlyQuoted(tok.get(i))) {
int lineNr = tokenIndexToUserLandLineNr(tok, i);
return pair(tokenToCharIndex(tok, i), "Unclosed string literal at line " + lineNr);
}
for (int i : keys(map)) {
int j = map.get(i);
String a = tok.get(i), b = tok.get(j);
int ai = op.indexOf(a), bi = close.indexOf(b);
if (ai != bi) {
int lineNr1 = tokenIndexToUserLandLineNr(tok, i);
int lineNr2 = tokenIndexToUserLandLineNr(tok, j);
String msg;
if (empty(a))
msg = "superfluous closing bracket (" + quote(b) + ") at line " + lineNr2;
else
msg = "brackets don't match (" + quote(a) + " vs " + quote(b) + ") at lines " + lineNr1 + " and " + lineNr2;
return pair(tokenToCharIndex(tok, i), "Bad hygiene - " + msg);
}
}
if (nempty(stack)) {
int lineNr = tokenIndexToUserLandLineNr(tok, last(stack));
return pair(tokenIndexToCharIndex(tok, last(stack)), "Line " + lineNr + ": " + "Bad hygiene - " + n(l(stack), "bracket") + " not closed");
}
if (map.containsKey(0)) {
int lineNr = tokenIndexToUserLandLineNr(tok, map.get(0));
return pair(tokenToCharIndex(tok, map.get(0)), "Bad hygiene - bracket not opened (" + quote(tok.get(map.get(0))) + ") at line " + lineNr);
}
return null;
}
static public List replace(List l, A a, A b) {
for (int i = 0; i < l(l); i++) if (eq(l.get(i), a))
l.set(i, b);
return l;
}
static public List replace(A a, A b, List l) {
return replace(l, a, b);
}
static public String replace(String s, String a, String b) {
return s == null ? null : a == null || b == null ? s : s.replace(a, b);
}
static public String replace(String s, char a, char b) {
return s == null ? null : s.replace(a, b);
}
static public boolean isEditableComboBox(final JComboBox cb) {
return cb != null && swing(new F0() {
public Boolean get() {
try {
return cb.isEditable();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return cb.isEditable();";
}
});
}
static public String defaultThreadName_name;
static public String defaultThreadName() {
if (defaultThreadName_name == null)
defaultThreadName_name = "A thread by " + programID();
return defaultThreadName_name;
}
static public Runnable wrapAsActivity(Object r) {
if (r == null)
return null;
Runnable r2 = toRunnable(r);
Object mod = dm_current_generic();
if (mod == null)
return r2;
return new Runnable() {
public void run() {
try {
AutoCloseable c = (AutoCloseable) (rcall("enter", mod));
AutoCloseable __1 = c;
try {
r2.run();
} finally {
_close(__1);
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "AutoCloseable c = (AutoCloseable) (rcall enter(mod));\r\n temp c;\r\n r2.r...";
}
};
}
static public Thread newThread(Object runnable) {
return new BetterThread(_topLevelErrorHandling(toRunnable(runnable)));
}
static public Thread newThread(Object runnable, String name) {
if (name == null)
name = defaultThreadName();
return new BetterThread(_topLevelErrorHandling(toRunnable(runnable)), name);
}
static public Thread newThread(String name, Object runnable) {
return newThread(runnable, name);
}
static public Runnable toRunnable(final Object o) {
if (o instanceof Runnable)
return (Runnable) o;
if (o instanceof String)
throw fail("callF_legacy");
return new Runnable() {
public void run() {
try {
callF(o);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "callF(o)";
}
};
}
static public Map _registerThread_threads;
static public Object _onRegisterThread;
static public Thread _registerThread(Thread t) {
if (_registerThread_threads == null)
_registerThread_threads = newWeakHashMap();
_registerThread_threads.put(t, true);
vm_generalWeakSubMap("thread2mc").put(t, weakRef(mc()));
callF(_onRegisterThread, t);
return t;
}
static public void _registerThread() {
_registerThread(Thread.currentThread());
}
static public boolean isLocalSnippetID(String snippetID) {
return isSnippetID(snippetID) && isLocalSnippetID(psI(snippetID));
}
static public boolean isLocalSnippetID(long snippetID) {
return snippetID >= 1000 && snippetID <= 9999;
}
static public void saveLocalSnippet(String snippetID, String text) {
saveLocalSnippet(psI(snippetID), text);
}
static public void saveLocalSnippet(long snippetID, String text) {
saveTextFile(localSnippetFile(snippetID), text);
}
static public String standardCredentialsUser() {
return trim(loadTextFile(oneOfTheFiles(javaxSecretDir("tinybrain-username"), userDir(".tinybrain/username"))));
}
static public String standardCredentialsPass() {
return trim(loadTextFile(oneOfTheFiles(javaxSecretDir("tinybrain-userpass"), userDir(".tinybrain/userpass"))));
}
public static boolean isSnippetID(String s) {
try {
parseSnippetID(s);
return true;
} catch (RuntimeException e) {
return false;
}
}
static public RuntimeException fail() {
throw new RuntimeException("fail");
}
static public RuntimeException fail(Throwable e) {
throw asRuntimeException(e);
}
static public RuntimeException fail(Object msg) {
throw new RuntimeException(String.valueOf(msg));
}
static public RuntimeException fail(Object... objects) {
throw new Fail(objects);
}
static public RuntimeException fail(String msg) {
throw new RuntimeException(msg == null ? "" : msg);
}
static public RuntimeException fail(String msg, Throwable innerException) {
throw new RuntimeException(msg, innerException);
}
static public HashMap litmap(Object... x) {
HashMap map = new HashMap();
litmap_impl(map, x);
return map;
}
static public void litmap_impl(Map map, Object... x) {
if (x != null)
for (int i = 0; i < x.length - 1; i += 2) if (x[i + 1] != null)
map.put(x[i], x[i + 1]);
}
public static long parseSnippetID(String snippetID) {
long id = Long.parseLong(shortenSnippetID(snippetID));
if (id == 0)
throw fail("0 is not a snippet ID");
return id;
}
static public int lUtf8(String s) {
return l(utf8(s));
}
static public String tb_mainServer_default = "https://code.botcompany.de:9898";
static public Object tb_mainServer_override;
static public String tb_mainServer() {
if (tb_mainServer_override != null)
return (String) callF(tb_mainServer_override);
return trim(loadTextFile(tb_mainServer_file(), tb_mainServer_default));
}
static public File tb_mainServer_file() {
return getProgramFile("#1001638", "mainserver.txt");
}
static public boolean tb_mainServer_isDefault() {
return eq(tb_mainServer(), tb_mainServer_default);
}
static public ThreadLocal doPost_silently = new ThreadLocal();
static public ThreadLocal doPost_timeout = new ThreadLocal();
static public ThreadLocal> doPost_extraHeaders = new ThreadLocal();
static public String doPost(String url, Map urlParameters) {
return doPost(urlParameters, url);
}
static public String doPost(Map urlParameters, String url) {
return doPost(makePostData(urlParameters), url);
}
static public String doPost(String urlParameters, String url) {
try {
URL _url = new URL(url);
ping();
return doPost(urlParameters, _url.openConnection(), _url);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public String doPost(String urlParameters, URLConnection conn, URL url) {
try {
boolean silently = isTrue(optParam(doPost_silently));
Long timeout = optParam(doPost_timeout);
Map extraHeaders = optPar(doPost_extraHeaders);
setHeaders(conn);
for (String key : keys(extraHeaders)) {
conn.setRequestProperty(key, extraHeaders.get(key));
}
int l = lUtf8(urlParameters);
if (!silently)
print("Sending POST request: " + hideCredentials(url) + " (" + l + " bytes)");
if (timeout != null)
setURLConnectionTimeouts(conn, timeout);
((HttpURLConnection) conn).setRequestMethod("POST");
conn.setDoOutput(true);
conn.setRequestProperty("Content-Length", str(l));
OutputStreamWriter writer = new OutputStreamWriter(conn.getOutputStream(), "UTF-8");
writer.write(urlParameters);
writer.flush();
String contents = loadPage_utf8(conn, url, false);
writer.close();
return contents;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public String fsI(String id) {
return formatSnippetID(id);
}
static public String fsI(long id) {
return formatSnippetID(id);
}
static public Object call_withVarargs(Object o, String method, Object... args) {
try {
if (o == null)
return null;
if (o instanceof Class) {
Class c = (Class) o;
_MethodCache cache = callOpt_getCache(c);
Method me = cache.findStaticMethod(method, args);
if (me != null)
return invokeMethod(me, null, args);
List methods = cache.cache.get(method);
if (methods != null)
methodSearch: for (Method m : methods) {
{
if (!(m.isVarArgs()))
continue;
}
{
if (!(isStaticMethod(m)))
continue;
}
Object[] newArgs = massageArgsForVarArgsCall(m, args);
if (newArgs != null)
return invokeMethod(m, null, newArgs);
}
throw fail("Method " + c.getName() + "." + method + "(" + joinWithComma(classNames(args)) + ") not found");
} else {
Class c = o.getClass();
_MethodCache cache = callOpt_getCache(c);
Method me = cache.findMethod(method, args);
if (me != null)
return invokeMethod(me, o, args);
List methods = cache.cache.get(method);
if (methods != null)
methodSearch: for (Method m : methods) {
{
if (!(m.isVarArgs()))
continue;
}
Object[] newArgs = massageArgsForVarArgsCall(m, args);
if (newArgs != null)
return invokeMethod(m, o, newArgs);
}
throw fail("Method " + c.getName() + "." + method + "(" + joinWithComma(classNames(args)) + ") not found");
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public static File mkdirsForFile(File file) {
File dir = file.getParentFile();
if (dir != null) {
dir.mkdirs();
if (!dir.isDirectory())
if (dir.isFile())
throw fail("Please delete the file " + f2s(dir) + " - it is supposed to be a directory!");
else
throw fail("Unknown IO exception during mkdirs of " + f2s(file));
}
return file;
}
public static String mkdirsForFile(String path) {
mkdirsForFile(new File(path));
return path;
}
static public long now_virtualTime;
static public long now() {
return now_virtualTime != 0 ? now_virtualTime : System.currentTimeMillis();
}
static public File copyFile(File src, File dest) {
try {
FileInputStream inputStream = new FileInputStream(src.getPath());
FileOutputStream outputStream = newFileOutputStream(dest.getPath());
try {
copyStream(inputStream, outputStream);
inputStream.close();
} finally {
outputStream.close();
}
return dest;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public FileOutputStream newFileOutputStream(File path) throws IOException {
return newFileOutputStream(path.getPath());
}
static public FileOutputStream newFileOutputStream(String path) throws IOException {
return newFileOutputStream(path, false);
}
static public FileOutputStream newFileOutputStream(File path, boolean append) throws IOException {
return newFileOutputStream(path.getPath(), append);
}
static public FileOutputStream newFileOutputStream(String path, boolean append) throws IOException {
mkdirsForFile(path);
FileOutputStream f = new FileOutputStream(path, append);
_registerIO(f, path, true);
return f;
}
static public void vmBus_send(String msg, Object... args) {
Object arg = vmBus_wrapArgs(args);
pcallFAll_minimalExceptionHandling(vm_busListeners_live(), msg, arg);
pcallFAll_minimalExceptionHandling(vm_busListenersByMessage_live().get(msg), msg, arg);
}
static public void vmBus_send(String msg) {
vmBus_send(msg, (Object) null);
}
static public boolean infoMessage_alwaysOnTop = true;
static public double infoMessage_defaultTime = 5.0;
static public JWindow infoMessage(String text) {
return infoMessage(text, infoMessage_defaultTime);
}
static public JWindow infoMessage(final String text, final double seconds) {
printHidingCredentials(text);
return infoMessage_noprint(text, seconds);
}
static public JWindow infoMessage_noprint(String text) {
return infoMessage_noprint(text, infoMessage_defaultTime);
}
static public JWindow infoMessage_noprint(final String _text, final double seconds) {
final String text = hideCredentials(_text);
if (empty(text))
return null;
logQuotedWithDate(infoBoxesLogFile(), text);
if (isHeadless())
return null;
return (JWindow) swingAndWait(new F0() {
public Object get() {
try {
JWindow window = makeWindow(infoMessage_makePanel(text));
window.setSize(300, 150);
moveToTopRightCorner(window);
if (infoMessage_alwaysOnTop)
window.setAlwaysOnTop(true);
if (vmBus_noObjections("shouldShowInfoBox", window, text))
window.setVisible(true);
if (seconds != 0)
disposeWindowAfter(iround(seconds * 1000), window);
return window;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JWindow window = makeWindow(infoMessage_makePanel(text));\r\n window.setSize...";
}
});
}
static public JWindow infoMessage(Throwable e) {
printStackTrace(e);
return infoMessage(exceptionToStringShort(e));
}
static public String strOrNull(Object o) {
return o == null ? null : str(o);
}
static public String joinStrings(String sep, Object... strings) {
return joinStrings(sep, Arrays.asList(strings));
}
static public String joinStrings(String sep, Iterable strings) {
StringBuilder buf = new StringBuilder();
for (Object o : unnull(strings)) {
String s = strOrNull(o);
if (nempty(s)) {
if (nempty(buf))
buf.append(sep);
buf.append(s);
}
}
return str(buf);
}
static public String programName() {
return getProgramName();
}
static public void callF_thread(final Object f, final Object... args) {
if (f != null) {
startThread(new Runnable() {
public void run() {
try {
callF(f, args);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "callF(f, args);";
}
});
}
}
static public String getSnippetTitle(String id) {
if (id == null)
return null;
if (!isSnippetID(id))
return "?";
IResourceLoader rl = vm_getResourceLoader();
if (rl != null)
return rl.getSnippetTitle(id);
return getSnippetTitle_noResourceLoader(id);
}
static public String getSnippetTitle_noResourceLoader(String id) {
try {
if (isLocalSnippetID(id))
return localSnippetTitle(id);
long parsedID = parseSnippetID(id);
String url;
if (isImageServerSnippet(parsedID))
url = imageServerURL() + "title/" + parsedID + muricaCredentialsQuery();
else if (isGeneralFileServerSnippet(parsedID))
url = "http://butter.botcompany.de:8080/files/name/" + parsedID;
else
url = tb_mainServer() + "/tb-int/getfield.php?id=" + parsedID + "&field=title" + standardCredentials_noCookies();
String title = trim(loadPageSilently(url));
if (title != null)
try {
saveTextFileIfChanged(snippetTitle_cacheFile(id), title);
} catch (Throwable __e) {
print(exceptionToStringShort(__e));
}
return or(title, "?");
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public String getSnippetTitle(long id) {
return getSnippetTitle(fsI(id));
}
static public void setLocalSnippetTitle(String snippetID, String title) {
setFileInfoField(localSnippetFile(snippetID), "Title", title);
}
static public String postPageWithCredentials(String url, Object... params) {
return doPost(mapPlus(standardCredentialsMap(), params), url);
}
static volatile public boolean ping_pauseAll = false;
static public int ping_sleep = 100;
static volatile public boolean ping_anyActions = false;
static public Map ping_actions = newWeakHashMap();
static public ThreadLocal ping_isCleanUpThread = new ThreadLocal();
static public boolean ping() {
newPing();
if (ping_pauseAll || ping_anyActions)
ping_impl(true);
return true;
}
static public boolean ping_impl(boolean okInCleanUp) {
try {
if (ping_pauseAll && !isAWTThread()) {
do Thread.sleep(ping_sleep); while (ping_pauseAll);
return true;
}
if (ping_anyActions) {
if (!okInCleanUp && !isTrue(ping_isCleanUpThread.get()))
failIfUnlicensed();
Object action = null;
synchronized (ping_actions) {
if (!ping_actions.isEmpty()) {
action = ping_actions.get(currentThread());
if (action instanceof Runnable)
ping_actions.remove(currentThread());
if (ping_actions.isEmpty())
ping_anyActions = false;
}
}
if (action instanceof Runnable)
((Runnable) action).run();
else if (eq(action, "cancelled"))
throw fail("Thread cancelled.");
}
return false;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public > C assertContainsIC(C c, String y) {
return assertContainsIC(null, c, y);
}
static public > C assertContainsIC(String msg, C c, String y) {
if (!cic(c, y))
throw fail((msg != null ? msg + ": " : "") + y + " not contained in " + c);
return c;
}
static public > C assertContainsIC(C c, Symbol y) {
return assertContainsIC(null, c, y);
}
static public > C assertContainsIC(String msg, C c, Symbol y) {
if (!cic(c, y))
throw fail((msg != null ? msg + ": " : "") + y + " not contained in " + c);
return c;
}
static public String assertContainsIC(String x, String y) {
if (!cic(x, y))
throw fail(quote(y) + " not contained in " + quote(x));
return x;
}
static public String postPage(String url, Object... params) {
return doPost(litmap(params), url);
}
static public long psI(String snippetID) {
return parseSnippetID(snippetID);
}
static public Object[] muricaCredentials() {
String pass = muricaPassword();
return nempty(pass) ? new Object[] { "_pass", pass } : new Object[0];
}
static public String renderElapsedTimePleasantly_100ms(long ms) {
double secs = toSeconds(ms);
if (secs >= 1)
return formatDouble(secs, 1) + " s";
return ms + " ms";
}
static public long lastTiming() {
return getLastTiming();
}
static public A optParam(ThreadLocal tl, A defaultValue) {
return optPar(tl, defaultValue);
}
static public A optParam(ThreadLocal tl) {
return optPar(tl);
}
static public Object optParam(String name, Map params) {
return mapGet(params, name);
}
static public A optParam(Object[] opt, String name, A defaultValue) {
int n = l(opt);
if (n == 1 && opt[0] instanceof Map) {
Map map = (Map) (opt[0]);
return map.containsKey(name) ? (A) map.get(name) : defaultValue;
}
if (!even(l(opt)))
throw fail("Odd parameter length");
for (int i = 0; i < l(opt); i += 2) if (eq(opt[i], name))
return (A) opt[i + 1];
return defaultValue;
}
static public Object optParam(Object[] opt, String name) {
return optParam(opt, name, null);
}
static public Object optParam(String name, Object[] params) {
return optParam(params, name);
}
static public String regexpFirstGroup(String pat, String s) {
Matcher m = regexpMatcher(pat, s);
if (m.find())
return m.group(1);
else
return null;
}
static public String regexpFirstGroup(java.util.regex.Pattern pat, String s) {
Matcher m = regexpMatcher(pat, s);
if (m.find())
return m.group(1);
else
return null;
}
static public String regexpFirstGroup(String pat, Iterable strings) {
var compiled = compileRegexp(pat);
for (String s : unnullForIteration(strings)) {
String group = regexpFirstGroup(compiled, s);
if (group != null)
return group;
}
return null;
}
static public List trimmedJavaLineComments(String s) {
return trimAll(getJavaLineComments(s));
}
static public boolean isEnabled(final JComponent c) {
return c != null && swing(new F0() {
public Boolean get() {
try {
return c.isEnabled();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return c.isEnabled();";
}
});
}
static public JButton disableButton(final JButton b) {
if (b != null) {
swing(() -> {
b.setEnabled(false);
});
}
return b;
}
static public void disableButton() {
disableButton(heldInstance(JButton.class));
}
static public JButton enableButton(JButton b) {
return enableButton(b, true);
}
static public JButton enableButton(JButton b, boolean enable) {
if (b != null) {
swing(() -> {
b.setEnabled(enable);
});
}
return b;
}
static public boolean boolPar(ThreadLocal tl) {
return boolOptParam(tl);
}
static public boolean boolPar(Object[] __, String name) {
return boolOptParam(__, name);
}
static public boolean boolPar(String name, Object[] __) {
return boolOptParam(__, name);
}
static public boolean boolPar(String name, Map __) {
return boolOptParam(name, __);
}
static public boolean boolPar(String name, Object[] params, boolean defaultValue) {
return optParam(params, name, defaultValue);
}
static public Pair transpileOnBestServer(String snippetID, String mode) {
try {
if (isLocalSnippetID(snippetID)) {
transpileLocalSnippet(snippetID, mode);
return pair(true, "OK");
}
return haveMuricaPassword() ? nempty(trimLoadTextFile(javaxDataDir("transpile-on-dedi"))) ? transpileOnDediServer(snippetID, mode) : transpileOnNewServer(snippetID, mode) : transpileOnServer(snippetID, mode);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public Pair transpileOnBestServer(String snippetID) {
return transpileOnBestServer(snippetID, "quick");
}
static public Pair transpileForServer_returnPair(String progID, String mode) {
if (!eqOneOf(mode, null, "", "quick"))
refreshTranspiler();
Flag error = new Flag();
String out = hijackPrint_tee(new Runnable() {
public void run() {
try {
try {
transpileForServer(progID);
} catch (Throwable e) {
printStackTrace(e);
error.raise();
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "try {\r\n transpileForServer(progID);\r\n } catch (Throwable e) { printSt...";
}
});
if (error.get())
return pair(false, out);
else
return pair(true, "Transpiled & uploaded " + fsI(progID) + "!");
}
static public int toInt(Object o) {
if (o == null)
return 0;
if (o instanceof Number)
return ((Number) o).intValue();
if (o instanceof String)
return parseInt((String) o);
if (o instanceof Boolean)
return boolToInt((Boolean) o);
throw fail("woot not int: " + getClassName(o));
}
static public int toInt(long l) {
if (l != (int) l)
throw fail("Too large for int: " + l);
return (int) l;
}
static public ActionListener actionListener(final Object runnable) {
return actionListener(runnable, null);
}
static public ActionListener actionListener(final Object runnable, final Object instanceToHold) {
if (runnable instanceof ActionListener)
return (ActionListener) runnable;
final Object info = _threadInfo();
return new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent _evt) {
try {
_threadInheritInfo(info);
AutoCloseable __1 = holdInstance(instanceToHold);
try {
pcallF(runnable);
} finally {
_close(__1);
}
} catch (Throwable __e) {
messageBox(__e);
}
}
};
}
static public Window getWindow(Object o) {
if (!(o instanceof Component))
return null;
return swing(() -> {
Component c = (Component) o;
while (c != null) {
if (c instanceof Window)
return ((Window) c);
c = c.getParent();
}
return null;
});
}
static public String htmldecode(final String input) {
if (input == null)
return null;
final int MIN_ESCAPE = 2;
final int MAX_ESCAPE = 6;
StringWriter writer = null;
int len = input.length();
int i = 1;
int st = 0;
while (true) {
while (i < len && input.charAt(i - 1) != '&') i++;
if (i >= len)
break;
int j = i;
while (j < len && j < i + MAX_ESCAPE + 1 && input.charAt(j) != ';') j++;
if (j == len || j < i + MIN_ESCAPE || j == i + MAX_ESCAPE + 1) {
i++;
continue;
}
if (input.charAt(i) == '#') {
int k = i + 1;
int radix = 10;
final char firstChar = input.charAt(k);
if (firstChar == 'x' || firstChar == 'X') {
k++;
radix = 16;
}
try {
int entityValue = Integer.parseInt(input.substring(k, j), radix);
if (writer == null)
writer = new StringWriter(input.length());
writer.append(input.substring(st, i - 1));
if (entityValue > 0xFFFF) {
final char[] chrs = Character.toChars(entityValue);
writer.write(chrs[0]);
writer.write(chrs[1]);
} else {
writer.write(entityValue);
}
} catch (NumberFormatException ex) {
i++;
continue;
}
} else {
CharSequence value = htmldecode_lookupMap().get(input.substring(i, j));
if (value == null) {
i++;
continue;
}
if (writer == null)
writer = new StringWriter(input.length());
writer.append(input.substring(st, i - 1));
writer.append(value);
}
st = j + 1;
i = st;
}
if (writer != null) {
writer.append(input.substring(st, len));
return writer.toString();
}
return input;
}
static public HashMap htmldecode_lookupMap_cache;
static public HashMap htmldecode_lookupMap() {
if (htmldecode_lookupMap_cache == null)
htmldecode_lookupMap_cache = htmldecode_lookupMap_load();
return htmldecode_lookupMap_cache;
}
static public HashMap htmldecode_lookupMap_load() {
var map = new HashMap();
for (CharSequence[] seq : htmldecode_escapes()) map.put(seq[1].toString(), seq[0]);
return map;
}
static public JFrame getFrame(final Object _o) {
return swing(new F0() {
public JFrame get() {
try {
Object o = _o;
if (o instanceof ButtonGroup)
o = first(buttonsInGroup((ButtonGroup) o));
if (!(o instanceof Component))
return null;
Component c = (Component) o;
while (c != null) {
if (c instanceof JFrame)
return (JFrame) c;
c = c.getParent();
}
return null;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "O o = _o;\r\n if (o instanceof ButtonGroup) o = first(buttonsInGroup((Button...";
}
});
}
static public boolean isAWTThread() {
if (isAndroid())
return false;
if (isHeadless())
return false;
return isAWTThread_awt();
}
static public boolean isAWTThread_awt() {
return SwingUtilities.isEventDispatchThread();
}
static public Rectangle maximumWindowBounds() {
return maxWindowBounds();
}
static volatile public boolean licensed_yes = true;
static public boolean licensed() {
if (!licensed_yes)
return false;
ping_okInCleanUp();
return true;
}
static public void licensed_off() {
licensed_yes = false;
}
static public boolean warn_on = true;
static public ThreadLocal> warn_warnings = new ThreadLocal();
static public void warn(String s) {
if (warn_on)
print("Warning: " + s);
}
static public void warn(String s, List warnings) {
warn(s);
if (warnings != null)
warnings.add(s);
addToCollection(warn_warnings.get(), s);
}
static public JFastLogView_noWrap jFastLogView_noWrap() {
return jFastLogView_noWrap("");
}
static public JFastLogView_noWrap jFastLogView_noWrap(String text) {
return withTypeWriterFont(swingNu(JFastLogView_noWrap.class, text));
}
static public String makeFrame_defaultIcon;
static public boolean makeFrame_hideConsole = false;
static public ThreadLocal> makeFrame_post = new ThreadLocal();
static public JFrame makeFrame() {
return makeFrame((Component) null);
}
static public JFrame makeFrame(Object content) {
return makeFrame(programTitle(), content);
}
static public JFrame makeFrame(String title) {
return makeFrame(title, null);
}
static public JFrame makeFrame(String title, Object content) {
return makeFrame(title, content, true);
}
static public JFrame makeFrame(final String title, final Object content, final boolean showIt) {
final VF1 post = optParam(makeFrame_post);
return swing(new F0() {
public JFrame get() {
try {
if (getFrame(content) != null)
return getFrame(setFrameTitle((Component) content, title));
final JFrame frame = new JFrame(title);
if (makeFrame_defaultIcon != null)
setFrameIconLater(frame, makeFrame_defaultIcon);
_initFrame(frame);
Component wrapped = wrap(content);
if (wrapped != null)
frame.getContentPane().add(wrapped);
frame.setBounds(defaultNewFrameBounds());
callF(post, frame);
if (showIt)
frame.setVisible(true);
if (showIt && makeFrame_hideConsole) {
hideConsole();
makeFrame_hideConsole = false;
}
return frame;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "if (getFrame(content) != null)\r\n ret getFrame(setFrameTitle((Component) ...";
}
});
}
static public JScrollPane jscroll_copyBackground(Component c) {
return setScrollPaneBackground(getBackground(c), jscroll(c));
}
static public String autoFrameTitle_value;
static public String autoFrameTitle() {
return autoFrameTitle_value != null ? autoFrameTitle_value : getProgramTitle();
}
static public void autoFrameTitle(Component c) {
setFrameTitle(getFrame(c), autoFrameTitle());
}
static public JFrame setFrameIconLater(Component c, final String imageID) {
final JFrame frame = getFrame(c);
if (frame != null)
startThread("Loading Icon", new Runnable() {
public void run() {
try {
final Image i = imageIcon(or2(imageID, "#1005557")).getImage();
swingLater(new Runnable() {
public void run() {
try {
frame.setIconImage(i);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "frame.setIconImage(i);";
}
});
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "final Image i = imageIcon(or2(imageID, \"#1005557\")).getImage();\r\n swingL...";
}
});
return frame;
}
static public Component addToWindowWithMargin(final Component c, final Component toAdd) {
if (toAdd != null)
addToWindowAndGrow(c, withMargin(toAdd));
return c;
}
static public JPanel jcenteredbuttons(Object... params) {
return jcenteredline(paramsToButtons(params));
}
static public String getStackTrace(Throwable throwable) {
lastException(throwable);
return getStackTrace_noRecord(throwable);
}
static public String getStackTrace_noRecord(Throwable throwable) {
StringWriter writer = new StringWriter();
throwable.printStackTrace(new PrintWriter(writer));
return hideCredentials(writer.toString());
}
static public String getStackTrace() {
return getStackTrace_noRecord(new Throwable());
}
static public String getStackTrace(String msg) {
return getStackTrace_noRecord(new Throwable(msg));
}
static public IResourceLoader vm_getResourceLoader() {
return proxy(IResourceLoader.class, vm_generalMap_get("_officialResourceLoader"));
}
static public int localSnippetType(String snippetID) {
return localSnippetType(psI(snippetID));
}
static public int localSnippetType(long snippetID) {
return parseIntOpt(getFileInfoField(localSnippetFile(snippetID), "Type"));
}
static public boolean isGeneralFileServerSnippet(long id) {
return id >= 1400000 && id < 1500000;
}
static public int snippetType_data() {
return 37;
}
static public boolean isImageServerSnippet(long id) {
return id >= 1100000 && id < 1200000;
}
static public int snippetType_image() {
return 23;
}
static public int parseInt(String s) {
return emptyString(s) ? 0 : Integer.parseInt(s);
}
static public int parseInt(char c) {
return Integer.parseInt(str(c));
}
static public String standardCredentials() {
String user = standardCredentialsUser();
String pass = standardCredentialsPass();
if (nempty(user) && nempty(pass))
return "&_user=" + urlencode(user) + "&_pass=" + urlencode(pass);
return "";
}
static public String combinePrintParameters(String s, Object o) {
return (endsWithLetterOrDigit(s) ? s + ": " : s) + o;
}
static public void ping_okInCleanUp() {
if (ping_pauseAll || ping_anyActions)
ping_impl(true);
}
static public Object getThreadLocal(Object o, String name) {
ThreadLocal t = (ThreadLocal) (getOpt(o, name));
return t != null ? t.get() : null;
}
static public A getThreadLocal(ThreadLocal tl) {
return tl == null ? null : tl.get();
}
static public A getThreadLocal(ThreadLocal tl, A defaultValue) {
return or(getThreadLocal(tl), defaultValue);
}
static public ThreadLocal print_byThread_dontCreate() {
return print_byThread;
}
static public String fixNewLines(String s) {
int i = indexOf(s, '\r');
if (i < 0)
return s;
int l = s.length();
StringBuilder out = new StringBuilder(l);
out.append(s, 0, i);
for (; i < l; i++) {
char c = s.charAt(i);
if (c != '\r')
out.append(c);
else {
out.append('\n');
if (i + 1 < l && s.charAt(i + 1) == '\n')
++i;
}
}
return out.toString();
}
static public void print_append(Appendable buf, String s, int max) {
try {
synchronized (buf) {
buf.append(s);
if (buf instanceof StringBuffer)
rotateStringBuffer(((StringBuffer) buf), max);
else if (buf instanceof StringBuilder)
rotateStringBuilder(((StringBuilder) buf), max);
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public String getClassName(Object o) {
return o == null ? "null" : o instanceof Class ? ((Class) o).getName() : o.getClass().getName();
}
static public JComponent dm_getVisualization(Object module) {
return (JComponent) callOpt(dm_getStem(module), "vis");
}
static public JComponent dm_getVisualization() {
return dm_getVisualization(dm_current_mandatory_generic());
}
static public ThreadLocal> checkFileNotTooBigToRead_tl = new ThreadLocal();
static public void checkFileNotTooBigToRead(File f) {
callF(checkFileNotTooBigToRead_tl.get(), f);
}
static public boolean empty(Collection c) {
return c == null || c.isEmpty();
}
static public boolean empty(Iterable c) {
return c == null || !c.iterator().hasNext();
}
static public boolean empty(CharSequence s) {
return s == null || s.length() == 0;
}
static public boolean empty(Map map) {
return map == null || map.isEmpty();
}
static public boolean empty(Object[] o) {
return o == null || o.length == 0;
}
static public boolean empty(BitSet bs) {
return bs == null || bs.isEmpty();
}
static public boolean empty(Object o) {
if (o instanceof Collection)
return empty((Collection) o);
if (o instanceof String)
return empty((String) o);
if (o instanceof Map)
return empty((Map) o);
if (o instanceof Object[])
return empty((Object[]) o);
if (o instanceof byte[])
return empty((byte[]) o);
if (o == null)
return true;
throw fail("unknown type for 'empty': " + getType(o));
}
static public boolean empty(Iterator i) {
return i == null || !i.hasNext();
}
static public boolean empty(double[] a) {
return a == null || a.length == 0;
}
static public boolean empty(float[] a) {
return a == null || a.length == 0;
}
static public boolean empty(int[] a) {
return a == null || a.length == 0;
}
static public boolean empty(long[] a) {
return a == null || a.length == 0;
}
static public boolean empty(byte[] a) {
return a == null || a.length == 0;
}
static public boolean empty(short[] a) {
return a == null || a.length == 0;
}
static public boolean empty(MultiSet ms) {
return ms == null || ms.isEmpty();
}
static public boolean empty(MultiMap mm) {
return mm == null || mm.isEmpty();
}
static public boolean empty(File f) {
return getFileSize(f) == 0;
}
static public boolean empty(Rect r) {
return !(r != null && r.w != 0 && r.h != 0);
}
static public void logQuotedWithTime(String s) {
logQuotedWithTime(standardLogFile(), s);
}
static public void logQuotedWithTime(File logFile, String s) {
logQuoted(logFile, logQuotedWithTime_format(s));
}
static public void logQuotedWithTime(String logFile, String s) {
logQuoted(logFile, logQuotedWithTime_format(s));
}
static public String logQuotedWithTime_format(String s) {
return (now()) + " " + s;
}
static public String getProgramName_cache;
static public String getProgramName() {
Lock __0 = downloadLock();
lock(__0);
try {
if (getProgramName_cache == null)
getProgramName_cache = getSnippetTitleOpt(programID());
return getProgramName_cache;
} finally {
unlock(__0);
}
}
static public void _onLoad_getProgramName() {
{
startThread(new Runnable() {
public void run() {
try {
getProgramName();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "getProgramName();";
}
});
}
}
static public Object sleepQuietly_monitor = new Object();
static public void sleepQuietly() {
try {
assertFalse(isAWTThread());
synchronized (sleepQuietly_monitor) {
sleepQuietly_monitor.wait();
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public Set keys(Map map) {
return map == null ? new HashSet() : map.keySet();
}
static public Set keys(Object map) {
return keys((Map) map);
}
static public Set keys(MultiSet ms) {
return ms.keySet();
}
static public Set keys(MultiMap mm) {
return mm.keySet();
}
static public Map stdFunctions_cached_map;
static public Lock stdFunctions_cached_lock = lock();
static public Map stdFunctions_cached() {
Lock __0 = stdFunctions_cached_lock;
lock(__0);
try {
if (stdFunctions_cached_map == null)
stdFunctions_cached_map = stdFunctions_uncached();
return stdFunctions_cached_map;
} finally {
unlock(__0);
}
}
static synchronized public void stdFunctions_clearCache() {
stdFunctions_cached_map = null;
}
static public List words2(String s) {
List l = new ArrayList();
int n = l(s);
for (int i = 0; i < n; ) {
int j = i;
while (j < n && isLetterOrDigit(s.charAt(j))) ++j;
if (j > i)
l.add(substring(s, i, j));
while (j < n && !isLetterOrDigit(s.charAt(j))) ++j;
i = j;
}
return l;
}
static public ArrayList asList(A[] a) {
return a == null ? new ArrayList () : new ArrayList (Arrays.asList(a));
}
static public ArrayList asList(int[] a) {
if (a == null)
return null;
ArrayList l = emptyList(a.length);
for (int i : a) l.add(i);
return l;
}
static public ArrayList asList(long[] a) {
if (a == null)
return null;
ArrayList l = emptyList(a.length);
for (long i : a) l.add(i);
return l;
}
static public ArrayList asList(float[] a) {
if (a == null)
return null;
ArrayList l = emptyList(a.length);
for (float i : a) l.add(i);
return l;
}
static public ArrayList asList(double[] a) {
if (a == null)
return null;
ArrayList l = emptyList(a.length);
for (double i : a) l.add(i);
return l;
}
static public ArrayList asList(short[] a) {
if (a == null)
return null;
ArrayList l = emptyList(a.length);
for (short i : a) l.add(i);
return l;
}
static public ArrayList asList(Iterator it) {
ArrayList l = new ArrayList();
if (it != null)
while (it.hasNext()) l.add(it.next());
return l;
}
static public ArrayList asList(IterableIterator s) {
return asList((Iterator) s);
}
static public ArrayList asList(Iterable s) {
if (s instanceof ArrayList)
return (ArrayList) s;
ArrayList l = new ArrayList();
if (s != null)
for (A a : s) l.add(a);
return l;
}
static public ArrayList asList(Producer p) {
ArrayList l = new ArrayList();
A a;
if (p != null)
while ((a = p.next()) != null) l.add(a);
return l;
}
static public ArrayList asList(Enumeration e) {
ArrayList l = new ArrayList();
if (e != null)
while (e.hasMoreElements()) l.add(e.nextElement());
return l;
}
static public List asList(Pair p) {
return p == null ? null : ll(p.a, p.b);
}
static public Map objectToMap(Object o) {
try {
if (o instanceof Map)
return (Map) o;
TreeMap map = new TreeMap();
Class c = o.getClass();
while (c != Object.class) {
Field[] fields = c.getDeclaredFields();
for (final Field field : fields) {
if ((field.getModifiers() & Modifier.STATIC) != 0)
continue;
field.setAccessible(true);
final Object value = field.get(o);
if (value != null)
map.put(field.getName(), value);
}
c = c.getSuperclass();
}
if (o instanceof DynamicObject)
putAll(map, ((DynamicObject) o).fieldValues);
return map;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public List> objectToMap(Iterable l) {
if (l == null)
return null;
List x = new ArrayList();
for (Object o : l) x.add(objectToMap(o));
return x;
}
static public String[] asStringArray(Collection c) {
return toStringArray(c);
}
static public String[] asStringArray(Object o) {
return toStringArray(o);
}
static public Class hotwireOnce(String programID) {
return hotwireCached(programID, false);
}
static public JTextField jTextField() {
return jTextField("");
}
static public JTextField jTextField(final String text) {
return swing(new F0() {
public JTextField get() {
try {
JTextField tf = new JTextField(unnull(text));
standardTextFieldPopupMenu(tf);
jenableUndoRedo(tf);
tf.selectAll();
return tf;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JTextField tf = new JTextField(unnull(text));\r\n standardTextFieldPopupMenu...";
}
});
}
static public JTextField jTextField(Object o) {
return jTextField(strOrEmpty(o));
}
static public JComboBox jcombobox(final String... items) {
return swing(new F0() {
public JComboBox get() {
try {
return new JComboBox(items);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "return new JComboBox(items);";
}
});
}
static public JComboBox jcombobox(Collection items) {
return jcombobox(toStringArray(items));
}
static public JComboBox jcombobox(Collection items, String selectedItem) {
return selectItem(selectedItem, jcombobox(items));
}
static public JButton renameButton(JComponent c, String name) {
JButton b = first(childrenOfType(c, JButton.class));
if (b != null)
b.setText(name);
return b;
}
static public JButton renameButton(JComponent c, String oldName, String newName) {
JButton b = findButton(c, oldName);
if (b != null)
b.setText(newName);
return b;
}
static public String showFormSubmitButtonName() {
return "Submit";
}
static public JDesktopPane mainDesktopPane_value;
static public JDesktopPane mainDesktopPane() {
return mainDesktopPane_value;
}
static public JPanel showInternalFrameFormTitled(final JDesktopPane desktop, final String title, final Object... _parts) {
JPanel panel = showForm_makePanel(true, _parts);
showForm_makeInternalFrame(desktop, title, panel);
return panel;
}
static public IVF2 showForm_makeFrame;
static public void showForm_makeFrame(String title, JPanel panel) {
if (showForm_makeFrame != null)
showForm_makeFrame.get(title, panel);
else
showForm_makeFrame_base(title, panel);
}
final static public void showForm_makeFrame_fallback(IVF2 _f, String title, JPanel panel) {
if (_f != null)
_f.get(title, panel);
else
showForm_makeFrame_base(title, panel);
}
static public void showForm_makeFrame_base(String title, JPanel panel) {
handleEscapeKey(minFrameWidth(showPackedFrame(title, withMargin(panel)), 400));
}
static public List showForm_arrange1(List> l) {
int minW = showForm_leftWidth(l);
List out = new ArrayList();
for (List row : l) out.add(westAndCenter(withRightMargin(showForm_gapBetweenColumns, jMinWidthAtLeast(minW, first(row))), second(row)));
return out;
}
static public List> showForm_makeComponents(final Boolean internalFrame, Object... _parts) {
List> l = new ArrayList();
List parts = asList(_parts);
JButton submitButton = null;
for (int i = 0; i < l(parts); i++) {
final Object o = parts.get(i), next = get(parts, i + 1);
if (o instanceof String && next instanceof Component)
setComponentID((Component) next, (String) o);
if (o instanceof Component || o instanceof String || next instanceof Component) {
l.add(mapLL(__39 -> wrapForSmartAdd_jComponent(__39), o == null ? new JPanel() : o instanceof String ? humanizeFormLabel((String) o) : o, next));
if (next instanceof JButton && submitButton == null)
submitButton = (JButton) next;
i++;
} else if (isRunnable(o))
l.add(mapLL(__40 -> wrapForSmartAdd_jComponent(__40), null, submitButton = jbutton(showFormSubmitButtonName(), new Runnable() {
public void run() {
try {
Object result = call(o);
print("Result of form runnable: " + result + ". Button: " + heldInstance(JButton.class));
if (neq(Boolean.FALSE, result)) {
if (isTrue(internalFrame))
disposeInternalFrame(heldInstance(JButton.class));
else if (isFalse(internalFrame))
disposeFrame(heldInstance(JButton.class));
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "Object result = call(o);\r\n print(\"Result of form runnable: \" + result ...";
}
})));
else
print("showForm: Unknown element type: " + getClassName(o));
}
if (submitButton != null) {
final JButton _submitButton = submitButton;
onEnterInAllTextFields(concatLists(l), new Runnable() {
public void run() {
try {
clickButton(_submitButton);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "clickButton(_submitButton)";
}
});
}
for (List row : l) {
JComponent left = first(row);
if (left instanceof JLabel)
makeBold((JLabel) left).setVerticalAlignment(JLabel.TOP);
}
return l;
}
static public int vstackWithSpacing_default = 10;
static public JPanel vstackWithSpacing(final List parts) {
return vstackWithSpacing(parts, vstackWithSpacing_default);
}
static public JPanel vstackWithSpacing(final List parts, final int spacing) {
return swing(new F0() {
public JPanel get() {
try {
JPanel panel = new JPanel(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
gbc.weightx = 1;
gbc.fill = GridBagConstraints.HORIZONTAL;
gbc.gridwidth = GridBagConstraints.REMAINDER;
gbc.insets = new Insets(spacing / 2, 0, (spacing + 1) / 2, 0);
smartAddWithLayout(panel, gbc, toObjectArray(nonNulls(parts)));
gbc.weighty = 1;
gbc.insets = new Insets(0, 0, 0, 0);
panel.add(jrigid(), gbc);
return panel;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JPanel panel = new JPanel(new GridBagLayout);\r\n new GridBagConstraints gbc...";
}
});
}
static public JPanel vstackWithSpacing(Component... parts) {
return vstackWithSpacing(asList(parts), vstackWithSpacing_default);
}
static public JPanel vstackWithSpacing(int spacing, Component... parts) {
return vstackWithSpacing(asList(parts), spacing);
}
static public AutoCloseable tempDisposeWindow(final Window w) {
return new AutoCloseable() {
public void close() {
disposeWindow(w);
}
};
}
static public boolean showAnimationInTopRightCorner_alwaysOnTop = true;
static public boolean showAnimationInTopRightCorner_on = true;
static public JWindow showAnimationInTopRightCorner(String imageID, String text) {
if (isHeadless() || !showAnimationInTopRightCorner_on)
return null;
return showAnimationInTopRightCorner(imageIcon(imageID), text);
}
static public JWindow showAnimationInTopRightCorner(final Image image, final String text) {
if (image == null || isHeadless() || !showAnimationInTopRightCorner_on)
return null;
return showAnimationInTopRightCorner(imageIcon(image), text);
}
static public JWindow showAnimationInTopRightCorner(final ImageIcon imageIcon, final String text) {
if (isHeadless() || !showAnimationInTopRightCorner_on)
return null;
return (JWindow) swingAndWait(new F0() {
public Object get() {
try {
JLabel label = new JLabel(imageIcon);
if (nempty(text)) {
label.setText(text);
label.setVerticalTextPosition(SwingConstants.BOTTOM);
label.setHorizontalTextPosition(SwingConstants.CENTER);
}
final JWindow window = showInTopRightCorner(label);
onClick(label, new Runnable() {
public void run() {
try {
window.dispose();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "window.dispose()";
}
});
if (showAnimationInTopRightCorner_alwaysOnTop)
window.setAlwaysOnTop(true);
return window;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JLabel label = new JLabel(imageIcon);\r\n if (nempty(text)) {\r\n label.s...";
}
});
}
static public JWindow showAnimationInTopRightCorner(final String imageID) {
return showAnimationInTopRightCorner(imageID, "");
}
static public JWindow showAnimationInTopRightCorner(String imageID, double seconds) {
return showAnimationInTopRightCorner(imageID, "", seconds);
}
static public JWindow showAnimationInTopRightCorner(String imageID, String text, double seconds) {
if (isHeadless())
return null;
return disposeWindowAfter(iround(seconds * 1000), showAnimationInTopRightCorner(imageID, text));
}
static public JWindow showAnimationInTopRightCorner(BufferedImage img, String text, double seconds) {
return disposeWindowAfter(iround(seconds * 1000), showAnimationInTopRightCorner(img, text));
}
static public String jextract(String pat, String s) {
return jextract(pat, javaTok(s));
}
static public String jextract(String pat, List tok) {
List tokpat = javaTok(pat);
jfind_preprocess(tokpat);
int i = jfind(tok, tokpat);
if (i < 0)
return null;
int j = i + l(tokpat) - 2;
return joinSubList(tok, i, j);
}
static public String firstIntegerString(Iterable c) {
Iterator it = c.iterator();
while (it.hasNext()) {
String s = it.next();
if (isInteger(s))
return s;
}
return null;
}
static public String parseSnippetType_defs1 = "\r\ndefine('SN_DECLS', 1);\r\ndefine('SN_TESTCASE', 2);\r\ndefine('SN_COMMENT', 3);\r\ndefine('SN_RUNREPORT', 4); # report after running a test case\r\ndefine('SN_SOURCE', 5); # uploaded source file (Java or other)\r\ndefine('SN_SOLUTION', 6); # solution tree\r\ndefine('SN_LUA', 7); # Lua code (solutions have this type too)\r\ndefine('SN_LUA_CHATBOT', 8); # A Lua chat-bot\r\ndefine('SN_LUA_TESTCASE', 9); # A test case in Lua\r\n#define('SN_LUA_SOLUTION', 10); # A text-to-text solution in Lua (now integrated as plain SN_LUA)\r\ndefine('SN_OBJECT', 11); # An object\r\ndefine('SN_LUA_IMAGE', 12);\r\ndefine('SN_LUA_ANIMATION', 13); # Image plus (optional) animation\r\ndefine('SN_LUA_GUI', 14); # Animation plus keyboard+mouse events\r\ndefine('SN_COMMENT', 15); # A comment on another snippet\r\ndefine('SN_INOUTEXAMPLE', 16); # A conversion example with input+output\r\ndefine('SN_LUA_SYSTEMTEST', 17); # A free-standing test case (not requiring a solution snippet)\r\ndefine('SN_LUA_SERVICEBOT', 18); # A bot in the group chat\r\ndefine('SN_LUA_SUGGESTER', 19); # A suggester for editing snippets\r\ndefine('SN_RUNLOG', 20);\r\ndefine('SN_JAVA', 21); # Java source code\r\ndefine('SN_PSEUDOCODE', 22);\r\ndefine('SN_IMAGE', 23); # An image stored as a blob\r\ndefine('SN_T2G_GUICODE', 24); # Janino code for Text2GUI\r\ndefine('SN_JAVA_IR', 25); # Java image recognition script\r\ndefine('SN_LUA_IR', 26); # Lua image recognition script\r\ndefine('SN_LUA_COMMENTER', 27); # Lua snippet commenter script\r\ndefine('SN_LUA_VISUALIZER', 28); # Lua visualizer script\r\ndefine('SN_LUA_PRODUCER', 29);\r\ndefine('SN_LUA_IMAGETRANSFORMER', 30); # Lua image transformer\r\ndefine('SN_LUA_ID_LEARNER', 31); # Image distinction (learner)\r\ndefine('SN_LUA_ID_EXECUTOR', 32); # Image distinction (executor)\r\ndefine('SN_LUA_LIVE', 33); # Lua Live\r\ndefine('SN_LUA_SNIPPET_TO_SNIPPET', 33);\r\ndefine('SN_JAVAX', 34); # JavaX source code\r\ndefine('SN_HTML', 35); # HTML source code\r\n#define('SN_DATA_ZIP', 36); # Data (.zip)\r\ndefine('SN_DATA', 37); # Data (any type)\r\ndefine('SN_JAVAX_TRANSLATOR', 38); # JavaX translator\r\ndefine('SN_JAVAX_INPUT_TXT_OUTPUT_TXT', 39); # Certain type of JavaX program\r\ndefine('SN_JAVAX_ANDROID', 40);\r\ndefine('SN_IOIOI', 41);\r\ndefine('SN_JAVAX_INC', 42);\r\ndefine('SN_JAVAX_INCOMPLETE', 43);\r\ndefine('SN_JAVAX_SNIPPETCOMMENTER', 44);\r\ndefine('SN_QUESTION', 45);\r\ndefine('SN_INFORMATION', 46);\r\ndefine('SN_JAVAX_TEST', 47);\r\ndefine('SN_NL', 48);\r\ndefine('SN_BLOGPOST', 49);\r\ndefine('SN_MICROTHEORY', 50);\r\ndefine('SN_SNL', 51);\r\ndefine('SN_USER_SUPPLIED_DIALOG', 52);\r\ndefine('SN_AI_CONCEPTS', 53);\r\ndefine('SN_JAVAX_MODULE', 54);\r\ndefine('SN_JAVAX_DESKTOP', 55);\r\ndefine('SN_AI_DRAWING', 56);\r\n# insert next here\r\n\r\ndefine('SN_NT_SNIPPET', 80); # New Tinybrain snippet\r\ndefine('SN_SPACE', 81); # a space for snippets\r\ndefine('SN_DOCUMENT', 100); # just a human-readable text\r\ndefine('SN_DOCUMENT_TASK', 101); # human-readable text - task description\r\ndefine('SN_DIRECTORY', 102); # A directory of snippets\r\ndefine('SN_SNIPPET_TYPE', 103);\r\ndefine('SN_IR_TASK', 104);\r\n";
static public String parseSnippetType_defs2 = "\r\n SN_NT_SNIPPET => 'New Tinybrain snippet',\r\n SN_MICROTHEORY => 'Microtheory',\r\n SN_DOCUMENT => 'Document',\r\n SN_USER_SUPPLIED_DIALOG => 'User-supplied dialog',\r\n SN_JAVAX => 'JavaX source code',\r\n SN_JAVAX_INC => 'JavaX fragment (include)',\r\n SN_JAVAX_DESKTOP => 'JavaX source code (desktop)',\r\n SN_JAVAX_INCOMPLETE => 'JavaX (incomplete)',\r\n SN_JAVAX_TRANSLATOR => 'JavaX translator',\r\n SN_JAVAX_ANDROID => 'JavaX source code (Android)',\r\n SN_JAVAX_MODULE => 'JavaX module',\r\n SN_JAVAX_TEST => 'JavaX General Test Case',\r\n SN_JAVAX_INPUT_TXT_OUTPUT_TXT => 'JavaX (input.txt to output.txt)',\r\n SN_JAVAX_SNIPPETCOMMENTER => 'JavaX (snippet commenter)',\r\n SN_IOIOI => 'IOIOI',\r\n SN_QUESTION => 'Question',\r\n SN_NL => 'Natural language',\r\n SN_SPACE => 'Space for snippets',\r\n SN_DOCUMENT_TASK => 'Task description',\r\n SN_SNL => 'Simplified Natural Language',\r\n SN_LUA => 'Lua code',\r\n SN_LUA_IR => 'Lua code - Image recognition',\r\n SN_LUA_IMAGE => 'Lua code - Image',\r\n SN_LUA_VISUALIZER => 'Lua code - Visualizer',\r\n SN_LUA_IMAGETRANSFORMER => 'Lua code - Image transformer',\r\n SN_LUA_CHATBOT => 'Lua code - Chat-bot',\r\n SN_LUA_TESTCASE => 'Lua code - Test case',\r\n SN_LUA_ANIMATION => 'Lua code - Animation',\r\n SN_LUA_GUI => 'Lua code - GUI',\r\n SN_LUA_SYSTEMTEST => 'Lua code - System test',\r\n SN_LUA_SERVICEBOT => 'Lua code - Service bot',\r\n SN_LUA_SUGGESTER => 'Lua code - Suggester',\r\n SN_LUA_COMMENTER => 'Lua code - Snippet commenter',\r\n SN_LUA_PRODUCER => 'Lua code - Snippet producer',\r\n SN_LUA_ID_LEARNER => 'Lua code - Image distinction (learner)',\r\n SN_LUA_ID_EXECUTOR => 'Lua code - Image distinction (executor)',\r\n SN_LUA_LIVE => 'Lua Live - Lua code with side effects',\r\n SN_LUA_SNIPPET_TO_SNIPPET => 'Lua code - Snippet-to-snippet',\r\n SN_T2G_GUICODE => 'Java GUI source (Text2GUI/Janino)',\r\n SN_JAVA => 'Java source code',\r\n SN_JAVA_IR => 'Java image recognition code',\r\n SN_PSEUDOCODE => 'Pseudo code',\r\n SN_HTML => 'HTML',\r\n SN_IMAGE => 'Image',\r\n SN_RUNLOG => 'Run Log',\r\n SN_INFORMATION => 'Information',\r\n# SN_DATA_ZIP => 'Data (.zip)',\r\n SN_DATA => 'Data',\r\n SN_DECLS => 'TB declarations',\r\n SN_TESTCASE => 'TB test case',\r\n SN_COMMENT => 'Comment',\r\n SN_RUNREPORT => 'Run report',\r\n SN_SOURCE => 'Source file',\r\n SN_SOLUTION => 'TB solution tree',\r\n SN_COMMENT => 'Comment',\r\n SN_INOUTEXAMPLE => 'Input/output example',\r\n SN_OBJECT => 'Object',\r\n SN_DIRECTORY => 'Directory',\r\n SN_SNIPPET_TYPE => 'Snippet type',\r\n SN_IR_TASK => 'Image recognition task',\r\n SN_BLOGPOST => 'Blog post',\r\n SN_AI_CONCEPTS => 'AI Concepts',\r\n SN_AI_DRAWING => 'AI Drawing'\r\n";
static public int parseSnippetType(String type) {
if (eqic(type, "JavaX source code (Desktop)"))
return 55;
throw todo();
}
static public String formatSnippetID(String id) {
return "#" + parseSnippetID(id);
}
static public String formatSnippetID(long id) {
return "#" + id;
}
static public JPanel centerAndEast(final Component c, final Component e) {
return swing(new F0() {
public JPanel get() {
try {
JPanel panel = new JPanel(new BorderLayout());
panel.add(BorderLayout.CENTER, wrap(c));
panel.add(BorderLayout.EAST, wrap(e));
return panel;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JPanel panel = new JPanel(new BorderLayout);\r\n panel.add(BorderLayout.CENT...";
}
});
}
static public boolean isInstance(Class type, Object arg) {
return type.isInstance(arg);
}
static public List dm_modules() {
return dm_listModules();
}
static public boolean sameSnippetID(String a, String b) {
if (!isSnippetID(a) || !isSnippetID(b))
return false;
return parseSnippetID(a) == parseSnippetID(b);
}
static public String dm_moduleSnippetID() {
return programID();
}
static public String dm_moduleSnippetID(Object mod) {
if (mod == null)
return null;
return programID(dm_getModule(mod));
}
static public boolean dm_codeSharingEnabledInOS() {
return isTrue(dm_getOSOpt("useCodeSharing"));
}
static public AutoCloseable tempSetOpt(final Object o, final String field, Object value) {
if (!hasFieldNamed(o, field))
return null;
final Object oldValue = getOpt(o, field);
setOpt(o, field, value);
return new AutoCloseable() {
public String toString() {
return "setOpt(o, field, oldValue);";
}
public void close() throws Exception {
setOpt(o, field, oldValue);
}
};
}
static public Object dm_os() {
{
var __1 = vm_generalMap_get("stefansOS");
if (__1 != null)
return __1;
}
return creator();
}
static public void dm_reloadModule(Object module) {
dm_reloadModuleInBackground(module);
}
static public void dm_reloadModule() {
dm_reloadModuleInBackground();
}
static public Object callCreator(String functionName, Object... args) {
return call(creator(), functionName, args);
}
static public A activateFrameAndReturnComponent(A c) {
activateFrame(c);
return c;
}
static public A setFrameTitle(A c, final String title) {
final Frame f = getAWTFrame(c);
if (f != null) {
swing(() -> {
f.setTitle(title);
});
}
return c;
}
static public A setFrameTitle(String title, A c) {
return setFrameTitle(c, title);
}
static public JFrame setFrameTitle(String title) {
Object f = getOpt(mc(), "frame");
if (f instanceof JFrame)
return setFrameTitle((JFrame) f, title);
return null;
}
static public JTextArea newTypeWriterTextArea() {
return newTypeWriterTextArea("");
}
static public JTextArea newTypeWriterTextArea(String text) {
return withTypeWriterFont(jTextArea(text));
}
static public String dropFirstLine(String text) {
if (text == null)
return null;
int i = text.indexOf('\n');
return i >= 0 ? text.substring(i + 1) : "";
}
static public boolean getServerTranspiled2_allowLocalFallback = true, getServerTranspiled2_localFallbackVerbose = true;
static public Map getServerTranspiled2_tempCache;
static public String getServerTranspiled2(String id) {
IResourceLoader rl = vm_getResourceLoader();
if (rl != null)
return rl.getTranspiled(id);
return getServerTranspiled2_noResourceLoader(id);
}
static public String getServerTranspiled2_noResourceLoader(String id) {
id = fsIOpt(id);
String transpiled = mapGet(getServerTranspiled2_tempCache, id);
if (transpiled != null)
return transpiled;
transpiled = loadCachedTranspilation(id);
String md5 = null;
if (machineIsOffline() || isOfflineMode() || isLocalSnippet(id))
return transpiled;
if (transpiled != null)
md5 = md5(transpiled);
String transpiledSrc;
try {
transpiledSrc = getServerTranspiled(formatSnippetID(id), md5);
} catch (Throwable e) {
if (!getServerTranspiled2_allowLocalFallback)
rethrow(e);
printExceptionShort(e);
if (getServerTranspiled2_localFallbackVerbose)
print("Fallback to local code");
return transpiled;
}
if (eq(transpiledSrc, "SAME")) {
if (!isTrue(loadPage_silent.get()))
print("SAME");
return mapPut_returnValue(getServerTranspiled2_tempCache, id, transpiled);
}
return mapPut_returnValue(getServerTranspiled2_tempCache, id, transpiledSrc);
}
static public void openPlatformBrowser(String url) {
try {
if (isHeadless())
return;
print("Opening platform-specific browser on: " + url);
Desktop.getDesktop().browse(uri(url));
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public void openPlatformBrowser(URL url) {
if (url == null)
return;
openPlatformBrowser(str(url));
}
static public Class __javax;
static public Class getJavaX() {
try {
return __javax;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public void __setJavaX(Class j) {
__javax = j;
_onJavaXSet();
}
static public String testBracketHygiene_op = "([{";
static public String testBracketHygiene_close = ")]}";
static public boolean testBracketHygiene(String s) {
return testBracketHygiene(s, testBracketHygiene_op, testBracketHygiene_close, null);
}
static public boolean testBracketHygiene(String s, Var