Warning : session_start(): open(/var/lib/php/sessions/sess_onms8la56mqettrhife2vvjvrd, 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 () {
public Class get(String name) {
name = replacePrefix("loadableUtils.utils$", "main$", name);
print("_onLoad_defaultClassFinder " + 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 public class GazelleScreenCam extends DynModule {
volatile public boolean enabled = true;
transient public JPanel buttons;
public void setEnabled(boolean b) {
setField("enabled", b);
}
public JComponent visualize_enabled() {
return dm_checkBox("enabled");
}
public int pixelRows = 128, colors = 8;
public String script, testScreenScript;
public boolean animate = true;
public boolean horizontalLayout = false;
public WatchTarget watchTarget;
transient public ImageSurface isPosterized, isRegions, isTestScreen;
transient public ScreenCamStream imageStream = new ScreenCamStream();
transient public BWIntegralImageStream integralImages = new BWIntegralImageStream();
transient public SourceTriggeredStream scaledAndPosterizedImages = new SourceTriggeredStream();
transient public DoubleFPSCounter fpsCounter = new DoubleFPSCounter();
transient public int fps;
transient public WatchTargetSelector watchTargetSelector;
transient public RollingAverage remainingMSPerFrame = new RollingAverage();
transient public int remainingMS;
transient public FunctionTimings functionTimings = new FunctionTimings();
transient public ReliableSingleThread rstRunScript = dm_rst(me(), new Runnable() {
public void run() {
try {
_runScript();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "_runScript();";
}
});
transient public JGazelleVScriptRunner scriptRunner;
transient public JGazelleVScriptRunner testScreenScriptRunner;
transient public Animation animation;
transient public FastRegions_BWImage mainScreenRegions;
transient public UIURLSystem uiURLs;
transient public Concepts concepts;
public String uiURL;
transient public FileWatchService fileWatcher;
transient public SimpleCRUD_v2 labelCRUD;
transient public SimpleCRUD_v2 imageCRUD;
transient public JGallery gallery;
public void start() {
try {
super.start();
dm_onFieldChange("horizontalLayout", new Runnable() {
public void run() {
try {
dm_reload();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "dm_reload();";
}
});
if (concepts == null) {
db();
concepts = db_mainConcepts();
}
onConceptChanges(concepts, () -> {
{
if (labelCRUD != null)
labelCRUD.updateEnclosingTabTitle();
}
{
if (imageCRUD != null)
imageCRUD.updateEnclosingTabTitle();
}
});
uiURLs = new UIURLSystem(me(), dm_fieldLiveValue("uiURL"));
scriptRunner = new JGazelleVScriptRunner(dm_fieldLiveValue("script", me()));
testScreenScriptRunner = new JGazelleVScriptRunner(dm_fieldLiveValue("testScreenScript", me()));
imageStream.directlyFeedInto(integralImages);
integralImages.onNewElement(ii -> scaledAndPosterizedImages.newElement(scaleAndPosterize(ii, new SnPSettings(pixelRows, colors))));
integralImages.onNewElement(new Runnable() {
public void run() {
try {
if (shouldRunScript())
rstRunScript.go();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "if (shouldRunScript()) rstRunScript.go();";
}
});
scaledAndPosterizedImages.onNewElement(img -> {
fpsCounter.inc();
setField("fps", iround(fpsCounter.get()));
floodFill(img);
if (isPosterized != null) {
var img2 = highlightRegion(img, isPosterized, mainScreenRegions);
isPosterized.setImage_thisThread(img2);
}
});
dm_doEvery(1000 / 20, new Runnable() {
public void run() {
try {
if (enabled) {
{
if (watchTargetSelector != null)
watchTargetSelector.updateScreenCount();
}
Timestamp deadline = tsNowPlusMS(1000 / 20);
if (watchTarget instanceof WatchScreen)
imageStream.useScreen(((WatchScreen) watchTarget).screenNr - 1);
else if (watchTarget instanceof WatchMouse)
imageStream.area(mouseArea(((WatchMouse) watchTarget).width, ((WatchMouse) watchTarget).height));
imageStream.step();
long remaining = deadline.minus(tsNow());
remainingMSPerFrame.add(remaining);
setField("remainingMS", iround(remainingMSPerFrame.get()));
}
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "if (enabled) {\r\n watchTargetSelector?.updateScreenCount();\r\n Ti...";
}
});
startDirWatcher();
for (var f : allImageFiles(galleryDir())) addToGallery(f);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public BufferedImage highlightRegion(BWImage image, ImageSurface is, FastRegions_BWImage regions) {
var pixels = image.getRGBPixels();
var mouse = is.mousePosition;
if (mouse != null && regions != null) {
int iHighlightedRegion = regions.regionAt(mouse);
if (iHighlightedRegion > 0)
for (int i = 0; i < l(pixels); i++) if (regions.regionAt(i) == iHighlightedRegion) {
pixels[i] = 0xFF008000;
}
}
return bufferedImage(pixels, image.getWidth(), image.getHeight());
}
public void startDirWatcher() {
fileWatcher = new FileWatchService();
fileWatcher.addRecursiveListener(picturesDir(), file -> {
if (!isImageFile(file))
return;
addToGallery(file);
});
}
public ImageSurface stdImageSurface() {
return pixelatedImageSurface().setAutoZoomToDisplay(true).repaintInThread(false);
}
public JComponent visualize() {
gallery = new JGallery();
var galleryComponent = gallery.visualize();
new AWTOnConceptChanges(concepts, galleryComponent, () -> {
gallery.setImageFiles(map(list(concepts, GalleryImage.class), i -> i.path));
}).install();
isPosterized = stdImageSurface();
isRegions = stdImageSurface();
isTestScreen = stdImageSurface();
awtEvery(isTestScreen, 1000 / 20, new Runnable() {
public void run() {
try {
stepAnimation();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "stepAnimation();";
}
});
JTextArea taTimings = jTextArea_noUndo();
awtEveryAndNow(taTimings, .5, new Runnable() {
public void run() {
try {
setText(taTimings, renderFunctionTimings());
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "setText(taTimings, renderFunctionTimings())";
}
});
var jSpeedInfo = dm_transientCalculatedToolTip(() -> speedInfo_long(), rightAlignLabel(dm_transientCalculatedLabel(() -> speedInfo())));
labelCRUD = new SimpleCRUD_v2(concepts, Label.class);
labelCRUD.hideFields("globalID");
labelCRUD.addCountToEnclosingTab(true);
imageCRUD = new SimpleCRUD_v2(concepts, GalleryImage.class);
imageCRUD.addCountToEnclosingTab(true);
imageCRUD.itemToMap_inner2 = img -> litorderedmap("File", fileName(img.path), "Folder", dirPath(img.path));
var studyPanel = new StudyPanel();
var tabs = scrollingTabs(jTopOrLeftTabs(horizontalLayout, "Screen Cam", withTools(isPosterized), new WithToolTip("Regions", "Visualize regions detected on screen"), jscroll_centered_borderless(isRegions), new WithToolTip("Study", "Here you can analyze gallery images"), withTopMargin(studyPanel.visualize()), new WithToolTip("Pretty Gallery", "Gallery view with preview images"), galleryComponent, new WithToolTip("Powerful Gallery", "Gallery view with more functions (delete etc)"), wrapCRUD(imageCRUD), new WithToolTip("Labels", "Manage labels (image markers)"), wrapCRUD(labelCRUD), new WithToolTip("Script", "Run a Gazelle V script"), scriptRunner.scriptAndResultPanel(), "Test Screen", testScreenPanel(), "Timings", withRightAlignedButtons(taTimings, "Reset", new Runnable() {
public void run() {
try {
resetTimings();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "resetTimings();";
}
})));
var cbEnabled = toolTip("Switch screen cam on or off", dm_checkBox("enabled", ""));
var lblScreenCam = setToolTip("Show scaled down and color-reduced screen image", jlabel("Screen Cam"));
tabComponentClickFixer(lblScreenCam);
var screenCamTab = hstackWithSpacing(cbEnabled, lblScreenCam);
replaceTabTitleComponent(tabs, "Screen Cam", screenCamTab);
labelCRUD.update();
imageCRUD.update();
watchTargetSelector = new WatchTargetSelector();
var urlBar = uiURLs.urlBar();
setToolTip(uiURLs.comboBox, "UI navigation system (currently unused)");
var vis = northAndCenter(withSideAndTopMargin(urlBar), centerAndSouthOrEast(horizontalLayout, horizontalLayout ? withMargin(tabs) : withSideMargin(tabs), (borderlessScrollPane(jHigherScrollPane(jfullcenter(vstack(withLeftAndRightMargin(hstack(dm_rcheckBox("enabled", "Watch"), watchTargetSelector.visualize(), jlabel(" in "), withLabelToTheRight("colors @ ", dm_spinner("colors", 2, 256)), withLabelToTheRight("p", dm_powersOfTwoSpinner("pixelRows", 512)))), verticalStrut(2), withRightMargin(jSpeedInfo))))))));
setHorizontalMarginForAllButtons(vis, 4);
return vis;
}
public String speedInfo() {
return "FPS " + fps + " idle " + remainingMS + " ms";
}
public String speedInfo_long() {
return "Screen cam running at " + nFrames(fps) + "/second. " + n2(remainingMS) + " ms remaining per frame in first core.";
}
public void floodFill(BWImage img) {
FastRegions_BWImage ff = new FastRegions_BWImage(img);
ff.collectBounds();
functionTimings.time("Regions", ff);
mainScreenRegions = ff;
if (isRegions != null && isRegions.isShowing_quick()) {
isRegions.setImage_thisThread(ff.regionsImage());
}
setEnclosingTabTitle(isRegions, nRegions(ff.regionCount()));
}
public boolean useErrorHandling() {
return false;
}
public String renderFunctionTimings() {
return lines(ciSorted(map(functionTimings.get(), (f, avg) -> firstToUpper(f) + ": " + n2(iround(nsToMicroseconds(avg.get()))) + " " + microSymbol() + "s (" + n2(iround(avg.n())) + ")")));
}
transient public long _runScript_idx;
public void _runScript() {
long n = integralImages.elementCount();
if (n > _runScript_idx) {
_runScript_idx = n;
scriptRunner.parseAndRunOn(integralImages.get());
}
}
public boolean shouldRunScript() {
return isShowing(scriptRunner.scpScriptResult);
}
public void stepAnimation() {
if (!animate)
return;
if (animation == null) {
animation = new AnimatedLine();
animation.start();
}
animation.nextFrame();
var img = whiteImage(animation.w, animation.h);
animation.setGraphics(createGraphics(img));
animation.paint();
{
if (isTestScreen != null)
isTestScreen.setImage(img);
}
var ii = bwIntegralImage_withMeta(img);
testScreenScriptRunner.parseAndRunOn(ii);
}
public JComponent testScreenPanel() {
return centerAndSouthWithMargin(hsplit(northAndCenterWithMargin(centerAndEastWithMargin(jlabel("Input"), dm_fieldCheckBox("animate")), jscroll_centered_borderless(isTestScreen)), northAndCenterWithMargin(centerAndEastWithMargin(jlabel("Output"), testScreenScriptRunner.lblScore), testScreenScriptRunner.scpScriptResult)), testScreenScriptRunner.scriptInputField());
}
public List popDownItems() {
return ll(jCheckBoxMenuItem_dyn("Horizontal Layout", () -> horizontalLayout, b -> setField("horizontalLayout", b)));
}
public void unvisualize() {
}
public void resetTimings() {
functionTimings.reset();
}
public JComponent withTools(ImageSurface is) {
new ImageSurface_PositionToolTip(is);
return centerAndEastWithMargin(jscroll_centered_borderless(is), vstackWithSpacing(3, jimageButtonScaledToWidth(16, "#1103054", "Save screenshot in gallery", runnableThread(new Runnable() {
public void run() {
try {
saveScreenshotToGallery();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "saveScreenshotToGallery();";
}
}))));
}
public class WatchTargetSelector {
public JComboBox cb = jComboBox();
public int screenCount;
public JComponent visualize() {
updateList();
print("Selecting watchTarget: " + watchTarget);
selectItem(cb, watchTarget);
loadableUtils.utils.onChange(cb, watchTarget -> {
setField("watchTarget", watchTarget);
print("Chose watchTarget: " + GazelleScreenCam.this.watchTarget);
});
return cb;
}
public void updateScreenCount() {
if (screenCount != screenCount())
updateList();
}
public void updateList() {
swing(() -> {
setComboBoxItems(cb, makeWatchTargets());
});
}
public List makeWatchTargets() {
return flattenToList(countIteratorAsList_incl(1, screenCount = screenCount(), i -> new WatchScreen(i)), new WatchMouse());
}
}
public class SnPSelector {
final public SnPSelector setSettings(SnPSettings settings) {
return settings(settings);
}
public SnPSelector settings(SnPSettings settings) {
this.settings = settings;
return this;
}
final public SnPSettings getSettings() {
return settings();
}
public SnPSettings settings() {
return settings;
}
public SnPSettings settings = new SnPSettings();
transient public List onChange;
public SnPSelector onChange(Runnable r) {
onChange = syncAddOrCreate(onChange, r);
return this;
}
public void change() {
pcallFAll(onChange);
}
public JComponent visualize() {
var colors = jspinner(settings.colors, 2, 256);
loadableUtils.utils.onChange(colors, () -> {
settings.colors = intFromSpinner(colors);
change();
});
var pixelRows = jPowersOfTwoSpinner(512, settings.pixelRows);
loadableUtils.utils.onChange(pixelRows, () -> {
settings.pixelRows = intFromSpinner(pixelRows);
change();
});
return hstack(colors, jlabel(" colors @ "), pixelRows, jlabel(" p"));
}
}
public JComponent wrapCRUD(SimpleCRUD_v2 crud) {
return crud == null ? null : withTopMargin(jRaisedSection(withMargin(crud.make_dontStartBots())));
}
public File galleryDir() {
return picturesDir(gazelle22_imagesSubDirName());
}
public void saveScreenshotToGallery() {
AutoCloseable __7 = enter();
try {
var img = imageStream.get();
saveImageWithCounter(galleryDir(), "Screenshot", img);
} finally {
_close(__7);
}
}
public void addToGallery(File imgFile) {
if (!isImageFile(imgFile))
return;
var img = uniq(concepts, GalleryImage.class, "path", imgFile);
}
public BWImage scaleAndPosterize(IBWIntegralImage ii, SnPSettings settings) {
return posterizeBWImage_withMeta(settings.colors, scaledBWImageFromBWIntegralImage_withMeta_height(settings.pixelRows, ii));
}
public class StudyPanel {
public SnPSelector snpSelector = new SnPSelector();
public GalleryImage image;
public ImageSurface is = stdImageSurface();
public SingleComponentPanel scp = singleComponentPanel();
public SingleComponentPanel analysisPanel = singleComponentPanel();
public ConceptsComboBox cbImage = new ConceptsComboBox<>(concepts, GalleryImage.class);
public ImageToRegions itr;
public int iSelectedRegion;
public StudyPanel() {
cbImage.sortTheList = l -> sortConceptsByIDDesc(l);
main.onChangeAndNow(cbImage, img -> dm_q(me(), new Runnable() {
public void run() {
try {
image = img;
scp.setComponent(studyImagePanel());
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "image = img;\r\n scp.setComponent(studyImagePanel());";
}
}));
is.removeAllTools();
is.onMousePositionChanged(r_dm_q(me(), () -> regionUpdate()));
imageSurfaceOnLeftMouseDown(is, pt -> dm_q(me(), new Runnable() {
public void run() {
try {
chooseRegionAt(pt);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "chooseRegionAt(pt)";
}
}));
snpSelector.onChange(r_dm_q(me(), () -> runSnP()));
}
public void chooseRegionAt(Pt p) {
if (itr == null)
return;
iSelectedRegion = itr.regions.regionAt(p);
updateAnalysis();
}
public JComponent studyImagePanel() {
if (image == null)
return null;
var i = loadImage2(image.path);
if (i == null)
return jcenteredlabel("Image not found");
iSelectedRegion = 0;
itr = new ImageToRegions(i, snpSelector.settings);
runSnP();
return hsplit(jscroll_centered_borderless(is), analysisPanel);
}
public void runSnP() {
if (itr == null)
return;
itr.run();
regionUpdate();
}
public void regionUpdate() {
if (itr == null)
return;
var highlighted = highlightRegion(itr.posterized, is, itr.regions);
is.setImage(highlighted);
is.performAutoZoom();
updateAnalysis();
}
public void updateAnalysis() {
List lines = new ArrayList();
lines.add(nRegions(itr.regions.regionCount()));
lines.add("Selected region: " + iSelectedRegion);
String text = lines_rtrim(lines);
analysisPanel.setComponent(jscroll(jMultiLineLabel(text)));
}
public JComponent visualize() {
return jRaisedSection(northAndCenterWithMargins(centerAndEast(withLabel("Study", cbImage), hstack(jlabel(" in "), snpSelector.visualize())), scp));
}
}
public class ImageToRegions {
public BufferedImage inputImage;
public BWIntegralImage ii;
public SnPSettings snpSettings;
public BWImage posterized;
public FastRegions_BWImage regions;
public ImageToRegions(BufferedImage inputImage, SnPSettings snpSettings) {
this.snpSettings = snpSettings;
this.inputImage = inputImage;
}
public void run() {
try {
ii = bwIntegralImage_withMeta(inputImage);
posterized = scaleAndPosterize(ii, snpSettings);
regions = new FastRegions_BWImage(posterized);
regions.collectBounds();
functionTimings.time("Regions", regions);
} catch (Exception __e) {
throw rethrow(__e);
}
}
}
}
static public boolean _moduleClass_GazelleScreenCam = true;
static public class Label extends ConceptWithGlobalID {
public String name;
public String toString() {
return "Label " + name;
}
}
static public class GalleryImage extends Concept {
public File path;
public String toString() {
return fileName(path);
}
}
static public class SavedRegion extends Concept {
static final public String _fieldOrder = "image snpSettings bounds bitMatrix";
public Ref image = new Ref();
public SnPSettings snpSettings;
public Rect bounds;
public Matrix bitMatrix;
}
static public class Example extends Concept {
static final public String _fieldOrder = "label item confidence";
public Ref label = new Ref();
public Ref item = new Ref();
public double confidence = 1;
}
static public class IfThenTheory extends Concept {
public Ref if_ = new Ref();
public Ref then = new Ref();
}
static public class WatchTarget {
}
static public class WatchScreen extends WatchTarget implements IFieldsToList {
public int screenNr;
public WatchScreen() {
}
public WatchScreen(int screenNr) {
this.screenNr = screenNr;
}
public boolean equals(Object o) {
if (!(o instanceof WatchScreen))
return false;
WatchScreen __8 = (WatchScreen) o;
return screenNr == __8.screenNr;
}
public int hashCode() {
int h = -1787428357;
h = boostHashCombine(h, _hashCode(screenNr));
return h;
}
public Object[] _fieldsToList() {
return new Object[] { screenNr };
}
public String toString() {
return "Screen " + screenNr;
}
}
static public class WatchMouse extends WatchTarget implements IFieldsToList {
static final public String _fieldOrder = "width height";
public int width;
public int height;
public WatchMouse(int width, int height) {
this.height = height;
this.width = width;
}
public boolean equals(Object o) {
if (!(o instanceof WatchMouse))
return false;
WatchMouse __9 = (WatchMouse) o;
return width == __9.width && height == __9.height;
}
public int hashCode() {
int h = 1876823350;
h = boostHashCombine(h, _hashCode(width));
h = boostHashCombine(h, _hashCode(height));
return h;
}
public Object[] _fieldsToList() {
return new Object[] { width, height };
}
public WatchMouse() {
height = 256;
width = iround(height * 16.0 / 9);
}
public String toString() {
return "Mouse";
}
}
static public class SnPSettings {
public SnPSettings() {
}
public int pixelRows = 128;
public int colors = 8;
public SnPSettings(int pixelRows, int colors) {
this.colors = colors;
this.pixelRows = pixelRows;
}
}
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 Class javax() {
return getJavaX();
}
static public String replacePrefix(String prefix, String replacement, String s) {
if (!startsWith(s, prefix))
return s;
return replacement + substring(s, l(prefix));
}
static public JCheckBox dm_checkBox(String field) {
return dm_fieldCheckBox(field);
}
static public JCheckBox dm_checkBox(String text, String field) {
return dm_fieldCheckBox(text, field);
}
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 void dm_onFieldChange(String field, Runnable onChange) {
dm_watchField(field, onChange);
}
static public void dm_onFieldChange(Collection fields, Runnable onChange) {
dm_watchFields(fields, onChange);
}
static public void onConceptChanges(Runnable r) {
onConceptsChange(r);
}
static public void onConceptChanges(Concepts cc, Runnable r) {
onConceptsChange(cc, r);
}
static public int iround(double d) {
return (int) Math.round(d);
}
static public int iround(Number n) {
return iround(toDouble(n));
}
static public Timestamp tsNowPlusMS(long ms) {
return tsNow().plus(msToSeconds(ms));
}
static public Timestamp tsNowPlusMS(double ms) {
return tsNow().plus(msToSeconds(ms));
}
static public Rect mouseArea(int w) {
return mouseArea(w, w);
}
static public Rect mouseArea(int w, int h) {
Point p = mouseLocation();
return new Rect(p.x - w / 2, p.y - h / 2, w, h);
}
static public List allImageFiles(File dir) {
return filter(__29 -> isImageFile(__29), findAllFiles_noDirs(dir));
}
static public int l(Object[] a) {
return a == null ? 0 : a.length;
}
static public int l(boolean[] a) {
return a == null ? 0 : a.length;
}
static public int l(byte[] a) {
return a == null ? 0 : a.length;
}
static public int l(short[] a) {
return a == null ? 0 : a.length;
}
static public int l(long[] a) {
return a == null ? 0 : a.length;
}
static public int l(int[] a) {
return a == null ? 0 : a.length;
}
static public int l(float[] a) {
return a == null ? 0 : a.length;
}
static public int l(double[] a) {
return a == null ? 0 : a.length;
}
static public int l(char[] a) {
return a == null ? 0 : a.length;
}
static public int l(Collection c) {
return c == null ? 0 : c.size();
}
static public int l(Iterator i) {
return iteratorCount_int_close(i);
}
static public int l(Map m) {
return m == null ? 0 : m.size();
}
static public int l(CharSequence s) {
return s == null ? 0 : s.length();
}
static public long l(File f) {
return f == null ? 0 : f.length();
}
static public int l(Object o) {
return o == null ? 0 : o instanceof String ? l((String) o) : o instanceof Map ? l((Map) o) : o instanceof Collection ? l((Collection) o) : o instanceof Object[] ? l((Object[]) o) : o instanceof boolean[] ? l((boolean[]) o) : o instanceof byte[] ? l((byte[]) o) : o instanceof char[] ? l((char[]) o) : o instanceof short[] ? l((short[]) o) : o instanceof int[] ? l((int[]) o) : o instanceof float[] ? l((float[]) o) : o instanceof double[] ? l((double[]) o) : o instanceof long[] ? l((long[]) o) : (Integer) call(o, "size");
}
static public int l(MultiSet ms) {
return ms == null ? 0 : ms.size();
}
static public int l(IntRange r) {
return r == null ? 0 : r.length();
}
static public long l(LongRange r) {
return r == null ? 0 : r.length();
}
static public double l(DoubleRange r) {
return r == null ? 0 : r.length();
}
static public int l(IntBuffer b) {
return b == null ? 0 : b.size();
}
static public File picturesDir() {
return userDir_oneOf_createFirstIfNone("Pictures", "Bilder");
}
static public File picturesDir(String sub) {
return newFile(picturesDir(), sub);
}
static public boolean isImageFile(File f) {
return isImageFileName(fileName(f)) && isFile(f);
}
static public ImageSurface pixelatedImageSurface() {
var is = imageSurface();
imageSurface_pixelated(is);
return is;
}
static public ImageSurface pixelatedImageSurface(MakesBufferedImage img) {
return pixelatedImageSurface(toBufferedImage(img));
}
static public ImageSurface pixelatedImageSurface(BufferedImage img) {
var is = pixelatedImageSurface();
is.setImage(img);
return is;
}
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 List list(Class type) {
return list(type, db_mainConcepts());
}
static public List list(Class type, Concepts cc) {
return cc.list(type);
}
static public List list(Concepts concepts, Class type) {
return concepts.list(type);
}
static public List list(String type) {
return db_mainConcepts().list(type);
}
static public List list(Concepts concepts, String type) {
return concepts.list(type);
}
static public A awtEvery(A component, long delay, Object r) {
swingEvery(component, delay, r);
return component;
}
static public A awtEvery(A component, long delay, long firstDelay, Object r) {
swingEvery(component, delay, firstDelay, r);
return component;
}
static public void awtEvery(RootPaneContainer frame, long delay, Object r) {
swingEvery(frame, delay, r);
}
static public A awtEvery(A component, double delaySeconds, Object r) {
return awtEvery(component, toMS(delaySeconds), r);
}
static public JTextArea jTextArea_noUndo() {
return jTextArea_noUndo("");
}
static public JTextArea jTextArea_noUndo(final String text) {
return swingNu(JTextArea.class, text);
}
static public A awtEveryAndNow(A component, long delay, Object r) {
swingEvery(component, delay, 0, r);
return component;
}
static public A awtEveryAndNow(A component, double delaySeconds, Object r) {
return awtEveryAndNow(component, toMS(delaySeconds), r);
}
static public void awtEveryAndNow(RootPaneContainer frame, long delay, Object r) {
swingEvery(frame, delay, 0, r);
}
static public A dm_transientCalculatedToolTip(IF0 calc, A component) {
return toolTipFromLiveValue(dm_transientCalculatedLiveValue(Object.class, calc), component);
}
static public A rightAlignLabel(final A a) {
return setHorizontalAlignment(JLabel.RIGHT, a);
}
static public JLabel dm_transientCalculatedLabel(IF0 calc) {
return jLiveValueLabel(dm_transientCalculatedLiveValue(Object.class, calc));
}
static public LinkedHashMap litorderedmap(Object... x) {
LinkedHashMap map = new LinkedHashMap();
litmap_impl(map, x);
return map;
}
static public String fileName(File f) {
return f == null ? null : f.getName();
}
static public String dirPath(File f) {
return f == null ? null : f.getParent();
}
static public JTabbedPane scrollingTabs(JTabbedPane pane) {
if (pane != null) {
swing(() -> {
pane.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
});
}
return pane;
}
static public JTabbedPane jTopOrLeftTabs(boolean horizontal, Object... x) {
return jLeftOrTopTabs(horizontal, x);
}
static public JTabbedPane jTopOrLeftTabs(boolean horizontal, Collection c) {
return jLeftOrTopTabs(horizontal, c);
}
static public JScrollPane jscroll_centered_borderless(Component c) {
return borderlessScrollPane(jscroll_centered(c));
}
static public JPanel withRightAlignedButtons(JComponent center, Object... params) {
return centerAndSouth(center, withMargin(jRightAlignedButtons(params)));
}
static public JPanel withRightAlignedButtons(Swingable center, Object... params) {
return withRightAlignedButtons(wrap(center), params);
}
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 void tabComponentClickFixer(JComponent c) {
onMouseDown(c, e -> {
JTabbedPane tabs = parentOfType(c, JTabbedPane.class);
if (tabs == null)
return;
var tabComponents = tabComponents(tabs);
for (int i = 0; i < l(tabComponents); i++) if (isGrandChildOf(c, tabComponents.get(i))) {
{
selectTab(tabs, i);
return;
}
}
});
}
static public int hstackWithSpacing_spacing = 10;
static public JPanel hstackWithSpacing(Object... parts) {
parts = flattenArray2(parts);
int spacing = hstackWithSpacing_spacing;
int i = 0;
if (first(parts) instanceof Integer) {
spacing = toInt(first(parts));
++i;
}
JPanel panel = new JPanel(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
gbc.weighty = 1;
gbc.fill = GridBagConstraints.VERTICAL;
gbc.gridheight = GridBagConstraints.REMAINDER;
for (; i < l(parts); i++) {
if (i != 0)
panel.add(javax.swing.Box.createRigidArea(new Dimension(spacing, 0)), gbc);
panel.add(wrapForSmartAdd(parts[i]), gbc);
}
gbc.weightx = 1;
panel.add(jrigid(), gbc);
return panel;
}
static public boolean replaceTabTitleComponent(JTabbedPane tabs, String name, Component c) {
if (tabs == null)
return false;
return swing(new F0() {
public Boolean get() {
try {
int idx = tabs.indexOfTab(name);
if (idx < 0)
return false;
tabs.setTabComponentAt(idx, c);
return true;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "int idx = tabs.indexOfTab(name);\r\n if (idx < 0) false;\r\n tabs.setTabCom...";
}
});
}
static public JPanel withSideAndTopMargin(Component c) {
return withSideAndTopMargin(defaultMargin(), c);
}
static public JPanel withSideAndTopMargin(int w, Component c) {
return swing(() -> {
JPanel p = marginPanel();
p.setBorder(BorderFactory.createEmptyBorder(w, w, 0, w));
p.add(c);
return p;
});
}
static public JPanel centerAndSouthOrEast(boolean horizontal, Component c, Component s) {
return horizontal ? centerAndEast(c, s) : centerAndSouth(c, s);
}
static public JPanel withSideMargin(Component c) {
return withLeftAndRightMargin(c);
}
static public JPanel withSideMargin(int w, Component c) {
return withLeftAndRightMargin(w, c);
}
static public JPanel withSideMargin(int w1, int w2, Component c) {
return withLeftAndRightMargin(w1, w2, c);
}
static public JScrollPane borderlessScrollPane(JScrollPane sp) {
return setBorder(null, withoutViewportBorder(sp));
}
static public JScrollPane jHigherScrollPane(final JComponent c) {
return swing(new F0() {
public JScrollPane get() {
try {
return new JScrollPane(c) {
public Dimension getPreferredSize() {
Component view = getViewport().getView();
if (view == null)
return super.getPreferredSize();
int pref_width = view.getPreferredSize().width;
setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
Dimension dim = new Dimension(pref_width, super.getPreferredSize().height + getHorizontalScrollBar().getSize().height);
setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
return dim;
}
};
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ret new JScrollPane(c) {\r\n public Dimension getPreferredSize() {\r\n Co...";
}
});
}
static public JPanel jfullcenter(Component c) {
return jFullCenter(c);
}
static public JPanel vstack(Object... parts) {
return vstack2(parts);
}
static public JPanel vstack(List parts) {
return vstack(toObjectArray(parts));
}
static public JPanel hstack(Object... parts) {
JPanel panel = new JPanel(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
gbc.weighty = 1;
gbc.fill = GridBagConstraints.VERTICAL;
gbc.gridheight = GridBagConstraints.REMAINDER;
smartAddWithLayout(panel, gbc, parts);
gbc.weightx = 1;
panel.add(jrigid(), gbc);
return panel;
}
static public JCheckBox dm_rcheckBox(String field) {
return dm_fieldCheckBox(field);
}
static public JCheckBox dm_rcheckBox(String field, String text) {
return dm_fieldCheckBox(text, field);
}
static public JComponent withLabelToTheRight(JComponent component, String label) {
return centerAndEast(component, jlabel(" " + label));
}
static public JComponent withLabelToTheRight(String label, JComponent component) {
return withLabelToTheRight(component, label);
}
static public JSpinner dm_spinner(String field, int min, int max) {
return liveValueSpinner(dm_fieldLiveValue(field), min, max);
}
static public JSpinner dm_powersOfTwoSpinner(String field, int max) {
SimpleLiveValue lv = dm_fieldLiveValue(field);
return bindLiveValueToSpinner(lv, jPowersOfTwoSpinner(max, lv.get()));
}
static public Component verticalStrut(int height) {
return Box.createVerticalStrut(height);
}
static public int withRightMargin_defaultWidth = 6;
static public JPanel withRightMargin(Component c) {
return withRightMargin(withRightMargin_defaultWidth, c);
}
static public JPanel withRightMargin(final int w, final Component c) {
return swing(new F0() {
public JPanel get() {
try {
JPanel p = marginPanel();
p.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, w));
p.add(c);
return p;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JPanel p = marginPanel();\r\n p.setBorder(BorderFactory.createEmptyBorder(0,...";
}
});
}
static public void setHorizontalMarginForAllButtons(int margin, Component c) {
for (var btn : allButtons(c)) setHorizontalMargin(btn, margin);
}
static public void setHorizontalMarginForAllButtons(Component c, int margin) {
setHorizontalMarginForAllButtons(margin, c);
}
static public String nFrames(long n) {
return n2(n, "frame");
}
static public String nFrames(Collection l) {
return nFrames(l(l));
}
static public String nFrames(Map map) {
return nFrames(l(map));
}
static public String n2(long l) {
return formatWithThousands(l);
}
static public String n2(AtomicLong l) {
return n2(l.get());
}
static public String n2(Collection l) {
return n2(l(l));
}
static public String n2(Map map) {
return n2(l(map));
}
static public String n2(double l, String singular) {
return empty(singular) ? str(l) : n2(l, singular, singular + "s");
}
static public String n2(double l, String singular, String plural) {
if (fraction(l) == 0)
return n2((long) l, singular, plural);
else
return l + " " + plural;
}
static public String n2(long l, String singular, String plural) {
return n_fancy2(l, singular, plural);
}
static public String n2(long l, String singular) {
return empty(singular) ? n2(l) : n_fancy2(l, singular, singular + "s");
}
static public String n2(Collection l, String singular) {
return n2(l(l), singular);
}
static public String n2(Collection l, String singular, String plural) {
return n_fancy2(l, singular, plural);
}
static public String n2(Map m, String singular, String plural) {
return n_fancy2(m, singular, plural);
}
static public String n2(Map m, String singular) {
return n2(l(m), singular);
}
static public String n2(long[] a, String singular) {
return n2(l(a), singular);
}
static public String n2(Object[] a, String singular) {
return n2(l(a), singular);
}
static public String n2(Object[] a, String singular, String plural) {
return n_fancy2(a, singular, plural);
}
static public String n2(MultiSet ms, String singular, String plural) {
return n_fancy2(ms, singular, plural);
}
static public void setEnclosingTabTitle(JComponent c, String title) {
swing(() -> {
Pair p = enclosingTab(c);
if (p == null)
return;
setTabTitle(p.a, p.b, title);
});
}
static public String nRegions(long n) {
return n2(n, "region");
}
static public String nRegions(Collection l) {
return nRegions(l(l));
}
static public String nRegions(Map map) {
return nRegions(l(map));
}
static public String lines(Iterable lines) {
return fromLines(lines);
}
static public String lines(Object[] lines) {
return fromLines(asList(lines));
}
static public List lines(String s) {
return toLines(s);
}
static public String lines(Iterable l, IF1 f) {
return mapToLines(l, f);
}
static public List ciSorted(Collection c) {
return sortedIgnoreCase(c);
}
static public double nsToMicroseconds(double ns) {
return nanosToMicroseconds(ns);
}
static public String microSymbol() {
return "\u00B5";
}
static public boolean isShowing(Component c) {
return isComponentShowing(c);
}
static public BufferedImage whiteImage(int w, int h) {
return newBufferedImage(w, h, Color.white);
}
static public BufferedImage whiteImage(int size) {
return whiteImage(size, size);
}
static public Map createGraphics_modulators = synchroIdentityHashMap();
static public Graphics2D createGraphics(BufferedImage img) {
Graphics2D g = img.createGraphics();
Object mod = createGraphics_modulators.get(img);
if (mod != null)
callF(mod, g);
return g;
}
static public void createGraphics_modulate(BufferedImage img, Object mod) {
mapPut2(createGraphics_modulators, img, mod);
}
static public BWIntegralImage bwIntegralImage_withMeta(BufferedImage img) {
return setMetaSrc(bwIntegralImage(img), img);
}
static public BWIntegralImage bwIntegralImage_withMeta(BWImage img) {
return setMetaSrc(bwIntegralImage(img), img);
}
static public JPanel centerAndSouthWithMargin(Component c, Component s) {
return centerAndSouth(c, withTopMargin(s));
}
static public JPanel centerAndSouthWithMargin(int margin, Component c, Component s) {
return centerAndSouth(c, withTopMargin(margin, s));
}
static public List ll(A... a) {
ArrayList l = new ArrayList(a.length);
if (a != null)
for (A x : a) l.add(x);
return l;
}
static public JCheckBoxMenuItem jCheckBoxMenuItem_dyn(String text, IF0 checked, Object r) {
JCheckBoxMenuItem mi = jCheckBoxMenuItem(text, false, r);
if (checked != null)
bindToComponent(mi, new Runnable() {
public void run() {
try {
boolean b = isTrue(checked.get());
setChecked(mi, b);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "boolean b = isTrue(checked!);\r\n ifdef jCheckBoxMenuItem_dyn_debug\r\n p...";
}
}, new Runnable() {
public void run() {
try {
;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ifdef jCheckBoxMenuItem_dyn_debug\r\n print(\"jCheckBoxMenuItem_dyn: hiding...";
}
});
return mi;
}
static public JCheckBoxMenuItem jCheckBoxMenuItem_dyn(String text, IF0 checked, IVF1 r) {
return jCheckBoxMenuItem_dyn(text, checked, (Object) r);
}
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 JButton jimageButtonScaledToWidth(int w, String imageID, Runnable action) {
return jimageButtonScaledToWidth(w, imageID, "", action);
}
static public JButton jimageButtonScaledToWidth(int w, String imageID, String toolTip, Runnable action) {
return jimageButton(scaleImageToWidth(w, imageID), toolTip, action);
}
static public JComboBox jComboBox(final String... items) {
return jcombobox(items);
}
static public JComboBox jComboBox(Collection items) {
return jcombobox(items);
}
static public JComboBox jComboBox(Collection items, String selectedItem) {
return jcombobox(items, selectedItem);
}
static public JComboBox selectItem(A item, JComboBox cb) {
if (cb != null) {
swing(() -> {
cb.setSelectedItem(item);
});
}
return cb;
}
static public JComboBox selectItem(JComboBox cb, A item) {
return selectItem(item, cb);
}
static public JList selectItem(JList list, A item) {
{
swing(() -> {
selectRow(list, jlist_indexOf(list, item));
});
}
return list;
}
static public int screenCount() {
return l(GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices());
}
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 void setComboBoxItems(JComboBox cb, Collection items) {
if (cb != null) {
swing(() -> {
cb.setModel(new DefaultComboBoxModel(new Vector(items)));
});
}
}
static public List flattenToList(Object... l) {
Flattener f = new Flattener();
f.add(l);
return f.toList();
}
static public List countIteratorAsList_incl(int b) {
return countIteratorAsList_incl(0, b);
}
static public List countIteratorAsList_incl(int a, int b) {
return countIteratorToList_inclusive(a, b);
}
static public List countIteratorAsList_incl(int b, IF1 f) {
return countIteratorAsList_incl(0, b, f);
}
static public List countIteratorAsList_incl(int a, int b, IF1 f) {
return countIteratorToList_inclusive(a, b, f);
}
static public List countIteratorAsList_incl(int a, int b, int step) {
return countIteratorToList_inclusive(a, b, step);
}
static public List countIteratorAsList_incl(double a, double b, double step, IF1 f) {
return countIteratorToList_inclusive(a, b, step, f);
}
static public List countIteratorAsList_incl(double a, double b, double step) {
return countIteratorToList_inclusive(a, b, step);
}
static public List countIteratorAsList_incl(IF1 f, double a, double b, double step) {
return countIteratorToList_inclusive(f, a, b, step);
}
static public List countIteratorAsList_incl(IF1 f, int a, int b) {
return countIteratorAsList_incl(f, a, b, 1);
}
static public List countIteratorAsList_incl(IF1 f, int a, int b, int step) {
return countIteratorToList_inclusive(f, a, b, step);
}
static public void pcallFAll(Collection l, Object... args) {
if (l != null)
for (Object f : cloneList(l)) pcallF(f, args);
}
static public void pcallFAll(Iterator it, Object... args) {
while (it.hasNext()) pcallF(it.next(), args);
}
static public JSpinner jspinner(int value) {
return jSpinner(value);
}
static public JSpinner jspinner(int value, int min, int max) {
return jSpinner(value, min, max);
}
static public int intFromSpinner(JSpinner s) {
return toInt(s.getValue());
}
static public JSpinner jPowersOfTwoSpinner(int max, int defaultValue) {
return jPowersOfTwoSpinner(1, max, defaultValue);
}
static public JSpinner jPowersOfTwoSpinner(int min, int max, int defaultValue) {
var powers = powersOfTwoUpTo(max);
if (min > 1)
powers = filter(powers, x -> x >= min);
return rightAlignSpinner(jListSpinner(powers, defaultValue));
}
static public JPanel jRaisedSection(Component c) {
return jRaisedSection("", c);
}
static public JPanel jRaisedSection(final String title, final Component c) {
return swing(new F0() {
public JPanel get() {
try {
Border border = BorderFactory.createBevelBorder(BevelBorder.RAISED);
border = BorderFactory.createTitledBorder(border, title);
JPanel panel = new SingleComponentPanel(c);
panel.setBorder(border);
return panel;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "Border border = BorderFactory.createBevelBorder(BevelBorder.RAISED);\r\n bor...";
}
});
}
static public JPanel jRaisedSection(String title) {
return jRaisedSection(title, new JPanel());
}
static public String gazelle22_imagesSubDirName() {
return "Gazelle";
}
static public File saveImageWithCounter(File dir, String baseName, BufferedImage img) {
if (img == null || dir == null)
return null;
if (!isImageFileName(baseName))
baseName += ".png";
File f = makeFileNameUnique_beforeExtension_startWith1_noDot(newFile(dir, baseName));
saveImage(f, img);
infoBox("Saved image " + appendBracketed(img.getWidth(null) + "*" + img.getHeight(null)) + ": " + fileInfo(f));
return f;
}
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 A uniq(Class c, Object... params) {
return uniqueConcept(c, params);
}
static public A uniq(Concepts cc, Class c, Object... params) {
return uniqueConcept(cc, c, params);
}
static public BWImage posterizeBWImage_withMeta(int brightnessLevels, BWImage img) {
return setMetaSrcUnlessSame(img, posterizeBWImage(brightnessLevels, img), functionCall("posterizeBWImage", brightnessLevels, img));
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta(int w, BWIntegralImage img) {
return scaledBWImageFromBWIntegralImage(img, w);
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta_height(int h, BWIntegralImage img) {
return scaledBWImageFromBWIntegralImage(img, widthForHeight(img, h), h);
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta(BWIntegralImage img, int w) {
return scaledBWImageFromBWIntegralImage_withMeta(img, w, heightForWidth(img, w));
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta(BWIntegralImage img, int w, int h) {
return setMetaSrc(scaledBWImageFromBWIntegralImage(img, w, h), functionCall("scaledBWImageFromBWIntegralImage", img, w, h));
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta(int w, IBWIntegralImage img) {
return scaledBWImageFromBWIntegralImage(img, w);
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta_height(int h, IBWIntegralImage img) {
return scaledBWImageFromBWIntegralImage(img, widthForHeight(img, h), h);
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta(IBWIntegralImage img, int w) {
return scaledBWImageFromBWIntegralImage_withMeta(img, w, heightForWidth(img, w));
}
static public BWImage scaledBWImageFromBWIntegralImage_withMeta(IBWIntegralImage img, int w, int h) {
return setMetaSrc(scaledBWImageFromBWIntegralImage(img, w, h), functionCall("scaledBWImageFromBWIntegralImage", img, w, h));
}
static public List sortConceptsByIDDesc(Collection c) {
return sortedByConceptIDDesc(c);
}
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 Runnable r_dm_q(final Runnable r) {
DynModule mod = dm_current_mandatory();
return r_dm_q(mod, r);
}
static public Runnable r_dm_q(DynModule mod, Runnable r) {
return new Runnable() {
public void run() {
try {
dm_q(mod, r);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "dm_q(mod, r)";
}
};
}
static public void imageSurfaceOnLeftMouseDown(ImageSurface is, IVF1 action) {
if (is == null || action == null)
return;
{
swing(() -> {
MouseAdapter ma = new MouseAdapter() {
public void mousePressed(MouseEvent e) {
if (e.getButton() == 1)
pcallF(action, is.pointFromEvent(e));
}
};
is.addMouseListener(ma);
});
}
}
static public BufferedImage loadImage2(String snippetIDOrURL) {
return loadBufferedImage(snippetIDOrURL);
}
static public BufferedImage loadImage2(File file) {
return loadBufferedImage(file);
}
static public JLabel jcenteredlabel(String text) {
return jcenteredLabel(text);
}
static public JLabel jcenteredlabel() {
return jcenteredLabel();
}
static public String lines_rtrim(Collection lines) {
return rtrim_fromLines(lines);
}
static public JScrollPane jscroll(final Component c) {
return swing(new F0() {
public JScrollPane get() {
try {
return new JScrollPane(c);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ret new JScrollPane(c);";
}
});
}
static public JLabel jMultiLineLabel(String text) {
return jTopLabel(jlabel_textAsHTML(text));
}
static public JPanel northAndCenterWithMargins(Component n, Component c) {
return applyDefaultMargin(northAndCenter(withBottomMargin(n), c));
}
static public JPanel northAndCenterWithMargins(int margin, Component n, Component c) {
return applyMargin(margin, northAndCenter(withBottomMargin(margin, n), c));
}
static public JComponent withLabel(String label, JComponent component) {
return westAndCenter(jlabel(label + " "), component);
}
static public JComponent withLabel(JComponent label, JComponent component) {
return westAndCenterWithMargin(label, component);
}
static public int boostHashCombine(int a, int b) {
return a ^ (b + 0x9e3779b9 + (a << 6) + (a >> 2));
}
static public int _hashCode(Object a) {
return a == null ? 0 : a.hashCode();
}
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 boolean startsWith(String a, String b) {
return a != null && a.startsWith(unnull(b));
}
static public boolean startsWith(String a, char c) {
return nemptyString(a) && a.charAt(0) == c;
}
static public boolean startsWith(String a, String b, Matches m) {
if (!startsWith(a, b))
return false;
if (m != null)
m.m = new String[] { substring(a, strL(b)) };
return true;
}
static public boolean startsWith(List a, List b) {
if (a == null || listL(b) > listL(a))
return false;
for (int i = 0; i < listL(b); i++) if (neq(a.get(i), b.get(i)))
return false;
return true;
}
static public String substring(String s, int x) {
return substring(s, x, strL(s));
}
static public String substring(String s, int x, int y) {
if (s == null)
return null;
if (x < 0)
x = 0;
int n = s.length();
if (y < x)
y = x;
if (y > n)
y = n;
if (x >= y)
return "";
return s.substring(x, y);
}
static public String substring(String s, IntRange r) {
return r == null ? null : substring(s, r.start, r.end);
}
static public String substring(String s, CharSequence l) {
return substring(s, lCharSequence(l));
}
static public void dm_watchFields(Collection fields, Runnable onChange) {
for (String field : unnullForIteration(fields)) dm_watchField(field, onChange);
}
static public void onConceptsChange(Runnable r) {
onConceptsChange(db_mainConcepts(), r);
}
static public void onConceptsChange(Concepts cc, Runnable r) {
cc.addConceptIndex(simpleConceptIndex(r));
cc.onAllChanged.add(r);
}
static public double toDouble(Object o) {
if (o instanceof Number)
return ((Number) o).doubleValue();
if (o instanceof BigInteger)
return ((BigInteger) o).doubleValue();
if (o instanceof String)
return parseDouble((String) o);
if (o == null)
return 0.0;
throw fail(o);
}
static public double msToSeconds(long ms) {
return toSeconds(ms);
}
static public double msToSeconds(double ms) {
return toSeconds(ms);
}
static public Point mouseLocation() {
return getMouseLocation();
}
static public int iteratorCount_int_close(Iterator i) {
try {
int n = 0;
if (i != null)
while (i.hasNext()) {
i.next();
++n;
}
if (i instanceof AutoCloseable)
((AutoCloseable) i).close();
return n;
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public File userDir_oneOf_createFirstIfNone(String... names) {
return or(userDir_oneOf(names), userDir(first(names)));
}
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 boolean isImageFileName(String s) {
return eqicOneOf(fileExtension(s), ".png", ".jpg", ".jpeg", ".gif");
}
static public boolean isFile(File f) {
return f != null && f.isFile();
}
static public boolean isFile(String path) {
return isFile(newFile(path));
}
static public ImageSurface imageSurface(BufferedImage img) {
return swingNu(ImageSurface.class, img);
}
static public ImageSurface imageSurface(MakesBufferedImage img) {
return swingNu(ImageSurface.class, img);
}
static public ImageSurface imageSurface() {
return swingNu(ImageSurface.class);
}
static public void imageSurface_pixelated(ImageSurface imageSurface) {
if (imageSurface == null)
return;
imageSurface.setDoubleBuffered(true);
imageSurface.noAlpha = true;
imageSurface.interpolationMode = RenderingHints.VALUE_INTERPOLATION_NEAREST_NEIGHBOR;
repaint(imageSurface);
}
static public void imageSurface_pixelated(ImageSurface imageSurface, boolean pixelated) {
if (pixelated)
imageSurface_pixelated(imageSurface);
else
imageSurface_unpixelated(imageSurface);
}
static public BufferedImage toBufferedImage(Object o) {
return toBufferedImageOpt(o);
}
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 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 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 void swingEvery(JComponent component, long delay, Object r) {
installTimer(component, delay, r);
}
static public void swingEvery(JComponent component, long delay, long firstDelay, Object r) {
installTimer(component, r, delay, firstDelay);
}
static public void swingEvery(RootPaneContainer frame, long delay, Object r) {
installTimer(frame, delay, r);
}
static public void swingEvery(RootPaneContainer frame, long delay, long firstDelay, Object r) {
installTimer(frame, delay, firstDelay, r);
}
static public A swingNu(final Class c, final Object... args) {
return swingConstruct(c, args);
}
static public A toolTipFromLiveValue(LiveValue lv, A c) {
return bindToolTipToLiveValue(lv, c);
}
static public LiveValue dm_transientCalculatedLiveValue(Class type, IF0 calc) {
return dm_transientCalculatedLiveValue(dm_current_mandatory(), type, calc);
}
static public LiveValue dm_transientCalculatedLiveValue(DynModule mod, Class type, IF0 calc) {
Lock __0 = mod.lock;
lock(__0);
try {
SimpleLiveValue value = new SimpleLiveValue(type, calc.get());
mod.onFieldChange(new VF1() {
public void get(String field) {
try {
value.set(calc.get());
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "value.set(calc!)";
}
});
return value;
} finally {
unlock(__0);
}
}
static public LiveValue dm_transientCalculatedLiveValue(IF0 calc) {
return dm_transientCalculatedLiveValue(Object.class, calc);
}
static public A setHorizontalAlignment(final int pos, final A a) {
swingCall(a, "setHorizontalAlignment", pos);
return a;
}
static public A setHorizontalAlignment(final int pos, final A a) {
swingCall(a, "setHorizontalAlignment", pos);
return a;
}
static public A setHorizontalAlignment(final int pos, final A a) {
swingCall(a, "setHorizontalAlignment", pos);
return a;
}
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]);
}
static public JTabbedPane jLeftOrTopTabs(boolean horizontal, Object... x) {
return horizontal ? jLeftTabs(x) : jtabs(x);
}
static public JTabbedPane jLeftOrTopTabs(boolean horizontal, Collection c) {
return horizontal ? jLeftTabs(c) : jtabs(c);
}
static public JPanel jRightAlignedButtons(Object... params) {
List l = new ArrayList();
for (int i = 0; i < l(params); i += 2) if (params[i] != null)
if (params[i] instanceof JComponent)
l.add((JComponent) params[i--]);
else
l.add(jbutton((String) params[i], params[i + 1]));
return jRightAlignedLine(l);
}
static public JComponent wrap(Object swingable) {
return _recordNewSwingComponent(wrap_2(swingable));
}
static public JComponent wrap_2(Object swingable) {
if (swingable == null)
return null;
JComponent c;
if (swingable instanceof Component)
c = componentToJComponent((Component) swingable);
else if (swingable instanceof Swingable)
c = componentToJComponent(((Swingable) swingable).visualize());
else
c = componentToJComponent((Component) callOpt(swingable, "swing"));
if (c instanceof JTable || c instanceof JList || c instanceof JTextArea || c instanceof JEditorPane || c instanceof JTextPane || c instanceof JTree)
return jscroll(c);
return c == null ? jlabel(str(swingable)) : c;
}
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 A parentOfType(Component _c, Class theClass) {
return swing(() -> {
Component c = _c;
while (c != null) {
if (isInstance(theClass, c))
return (A) c;
c = c.getParent();
}
return null;
});
}
static public List tabComponents(final JTabbedPane tabs) {
final List l = new ArrayList();
if (tabs != null) {
swing(() -> {
for (int i = 0; i < tabs.getTabCount(); i++) l.add(tabs.getTabComponentAt(i));
});
}
return l;
}
static public boolean isGrandChildOf(Component a, Component b) {
if (a == b)
return true;
while ((a = getParent(a)) != null) if (a == b)
return true;
return false;
}
static public void selectTab(final JTabbedPane tabs, final int idx) {
if (tabs != null) {
swing(() -> {
tabs.setSelectedIndex(idx);
});
}
}
static public Object first(Object list) {
return first((Iterable) list);
}
static public A first(List list) {
return empty(list) ? null : list.get(0);
}
static public A first(A[] bla) {
return bla == null || bla.length == 0 ? null : bla[0];
}
static public Pair first(Map map) {
return mapEntryToPair(first(entrySet(map)));
}
static public Pair first(MultiMap mm) {
if (mm == null)
return null;
var e = first(mm.data.entrySet());
if (e == null)
return null;
return pair(e.getKey(), first(e.getValue()));
}
static public A first(IterableIterator i) {
return first((Iterator ) i);
}
static public A first(Iterator i) {
return i == null || !i.hasNext() ? null : i.next();
}
static public A first(Iterable i) {
if (i == null)
return null;
Iterator it = i.iterator();
return it.hasNext() ? it.next() : null;
}
static public Character first(String s) {
return empty(s) ? null : s.charAt(0);
}
static public Character first(CharSequence s) {
return empty(s) ? null : s.charAt(0);
}
static public A first(Pair p) {
return p == null ? null : p.a;
}
static public A first(T3 t) {
return t == null ? null : t.a;
}
static public Byte first(byte[] l) {
return empty(l) ? null : l[0];
}
static public int first(IntBuffer buf) {
return buf.get(0);
}
static public A first(A[] l, IF1 pred) {
return firstThat(l, pred);
}
static public A first(Iterable l, IF1 pred) {
return firstThat(l, pred);
}
static public A first(IF1 pred, Iterable l) {
return firstThat(pred, l);
}
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 Component jrigid() {
return javax.swing.Box.createRigidArea(new Dimension(0, 0));
}
static public JPanel marginPanel() {
return jtransparent(borderLayoutPanel());
}
static public A setBorder(Border border, A c) {
if (c != null) {
swing(() -> {
c.setBorder(border);
});
}
return c;
}
static public JScrollPane withoutViewportBorder(JScrollPane sp) {
if (sp != null) {
swing(() -> {
sp.setViewportBorder(null);
});
}
return sp;
}
static public JPanel vstack2(final Object... parts) {
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;
smartAddWithLayout(panel, gbc, parts);
gbc.weighty = 1;
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 smartAddWithLayout(JPanel panel, Object layout, List parts) {
for (Object o : parts) panel.add(wrapForSmartAdd(o), layout);
return panel;
}
static public JPanel smartAddWithLayout(JPanel panel, Object layout, Object... parts) {
return smartAddWithLayout(panel, layout, asList(flattenArray2(parts)));
}
static public JSpinner liveValueSpinner(SimpleLiveValue lv, int min, int max) {
JSpinner spinner = jSpinner(lv.get(), min, max);
return bindLiveValueToSpinner(lv, spinner);
}
static public JSpinner bindLiveValueToSpinner(SimpleLiveValue lv, JSpinner spinner) {
onChange(spinner, new Runnable() {
public void run() {
try {
lv.set(intFromSpinner(spinner));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "lv.set(intFromSpinner(spinner))";
}
});
lv.onChange(new Runnable() {
public void run() {
try {
setSpinnerValue(spinner, lv.get());
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "setSpinnerValue(spinner, lv!)";
}
});
return spinner;
}
static public List allButtons(Component c) {
return childrenOfType(c, JButton.class);
}
static public A setHorizontalMargin(final int margin, final A a) {
{
swing(() -> {
Insets i = a.getMargin();
a.setMargin(new Insets(i.top, margin, i.bottom, margin));
});
}
return a;
}
static public A setHorizontalMargin(A a, int margin) {
return setHorizontalMargin(margin, a);
}
static public String formatWithThousands(long l) {
return formatWithThousandsSeparator(l);
}
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(IntRange r) {
return r == null || r.empty();
}
static public boolean empty(DoubleRange r) {
return r == null || r.isEmpty();
}
static public boolean empty(IntBuffer b) {
return b == null || b.isEmpty();
}
static public boolean empty(Rect r) {
return !(r != null && r.w != 0 && r.h != 0);
}
static public String str(Object o) {
return o == null ? "null" : o.toString();
}
static public String str(char[] c) {
return new String(c);
}
static public double fraction(double d) {
return d % 1;
}
static public String n_fancy2(long l, String singular, String plural) {
return formatWithThousandsSeparator(l) + " " + trim(l == 1 ? singular : plural);
}
static public String n_fancy2(Collection l, String singular, String plural) {
return n_fancy2(l(l), singular, plural);
}
static public String n_fancy2(Map m, String singular, String plural) {
return n_fancy2(l(m), singular, plural);
}
static public String n_fancy2(Object[] a, String singular, String plural) {
return n_fancy2(l(a), singular, plural);
}
static public String n_fancy2(MultiSet ms, String singular, String plural) {
return n_fancy2(l(ms), singular, plural);
}
static public Pair enclosingTab(Component _c) {
return swing(() -> {
Component c = _c;
while (c != null) {
Container p = c.getParent();
if (p instanceof JTabbedPane)
return pair(((JTabbedPane) p), ((JTabbedPane) p).indexOfComponent(c));
c = c.getParent();
}
return null;
});
}
static public void setTabTitle(JTabbedPane tabs, int idx, String title) {
if (tabs != null && idx >= 0) {
swing(() -> {
if (idx < tabs.getTabCount())
tabs.setTitleAt(idx, title);
});
}
}
static public String fromLines(Iterable lines) {
StringBuilder buf = new StringBuilder();
if (lines != null)
for (Object line : lines) buf.append(str(line)).append('\n');
return buf.toString();
}
static public String fromLines(String... lines) {
return fromLines(asList(lines));
}
static public IterableIterator toLines(File f) {
return linesFromFile(f);
}
static public List toLines(String s) {
List lines = new ArrayList();
if (s == null)
return lines;
int start = 0;
while (true) {
int i = toLines_nextLineBreak(s, start);
if (i < 0) {
if (s.length() > start)
lines.add(s.substring(start));
break;
}
lines.add(s.substring(start, i));
if (s.charAt(i) == '\r' && i + 1 < s.length() && s.charAt(i + 1) == '\n')
i += 2;
else
++i;
start = i;
}
return lines;
}
static public int toLines_nextLineBreak(String s, int start) {
int n = s.length();
for (int i = start; i < n; i++) {
char c = s.charAt(i);
if (c == '\r' || c == '\n')
return i;
}
return -1;
}
static public List mapToLines(Map map) {
List l = new ArrayList();
for (Object key : keys(map)) l.add(str(key) + " = " + str(map.get(key)));
return l;
}
static public String mapToLines(Map map, Object f) {
return lines(map(map, f));
}
static public String mapToLines(Object f, Map map) {
return lines(map(map, f));
}
static public String mapToLines(Object f, Iterable l) {
return lines(map(f, l));
}
static public String mapToLines(Iterable l, IF1 f) {
return mapToLines((Object) f, l);
}
static public String mapToLines(IF1 f, Iterable l) {
return mapToLines((Object) f, l);
}
static public String mapToLines(Map map, IF2 f) {
return lines(map(map, f));
}
static public String mapToLines(IF1 f, A data1, A... moreData) {
return lines(map(f, data1, moreData));
}
static public List sortedIgnoreCase(Collection c) {
List l = cloneList(c);
Collections.sort(l, caseInsensitiveComparator());
return l;
}
static public double nanosToMicroseconds(double ns) {
return ns / 1000;
}
static public boolean isComponentShowing(final Component c) {
return c != null && swing(new F0() {
public Boolean get() {
try {
return c.isShowing();
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ret c.isShowing();";
}
});
}
static public BufferedImage newBufferedImage(int w, int h) {
return new BufferedImage(w, h, BufferedImage.TYPE_INT_RGB);
}
static public BufferedImage newBufferedImage(int w, int h, RGB rgb) {
return newBufferedImage(w, h, rgb.getColor());
}
static public BufferedImage newBufferedImage(int w, int h, Color color) {
BufferedImage img = newBufferedImage(w, h);
Graphics2D g = img.createGraphics();
g.setColor(or(color, Color.white));
g.fillRect(0, 0, w, h);
return img;
}
static public BufferedImage newBufferedImage(Pt p, Color color) {
return newBufferedImage(p.x, p.y, color);
}
static public BufferedImage newBufferedImage(int w, int h, int[] pixels) {
return intArrayToBufferedImage(pixels, w, h);
}
static public Map synchroIdentityHashMap() {
return synchroMap(new IdentityHashMap());
}
static public void mapPut2(Map map, A key, B value) {
if (map != null && key != null)
if (value != null)
map.put(key, value);
else
map.remove(key);
}
static public A setMetaSrc(A a, Object src) {
setMeta(a, "src", src);
return a;
}
static public BWIntegralImage bwIntegralImage(BufferedImage img) {
return img == null ? null : new BWIntegralImage(img);
}
static public BWIntegralImage bwIntegralImage(BWImage img) {
return img == null ? null : new BWIntegralImage(img);
}
static public List nonNulls(Iterable l) {
return withoutNulls(l);
}
static public List nonNulls(A[] l) {
return withoutNulls(l);
}
static public Map nonNulls(Map map) {
return withoutNulls(map);
}
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, 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 BufferedImage scaleImageToWidth(BufferedImage img, int newW) {
return resizeImage(img, newW);
}
static public BufferedImage scaleImageToWidth(int newW, BufferedImage img) {
return scaleImageToWidth(img, newW);
}
static public BufferedImage scaleImageToWidth(int newW, String imageID) {
return scaleImageToWidth(newW, loadImage2(imageID));
}
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 "ret 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 void selectRow(final JTable table, final int i) {
if (table != null) {
swing(() -> {
if (i >= 0 && i < table.getRowCount()) {
table.setRowSelectionInterval(i, i);
scrollRowToVisible(table, i);
} else
table.clearSelection();
});
}
}
static public void selectRow(final JList list, final int i) {
if (list != null) {
swing(() -> {
if (i >= 0 && i < listRowCount(list))
list.setSelectedIndex(i);
else
list.clearSelection();
});
}
}
static public int jlist_indexOf(JList list, A item) {
return swing(new F0() {
public Integer get() {
try {
ListModel model = list.getModel();
int n = model.getSize();
for (int i = 0; i < n; i++) if (eq(model.getElementAt(i), item))
return i;
return -1;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ListModel model = list.getModel();\r\n int n = model.getSize();\r\n for ...";
}
});
}
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 List countIteratorToList_inclusive(int b) {
return countIteratorToList_inclusive(0, b);
}
static public List countIteratorToList_inclusive(int a, int b) {
return asList(countIterator_inclusive(a, b));
}
static public List countIteratorToList_inclusive(int b, IF1 f) {
return countIteratorToList_inclusive(0, b, f);
}
static public List countIteratorToList_inclusive(int a, int b, IF1 f) {
return asList(countIterator_inclusive(a, b, f));
}
static public List countIteratorToList_inclusive(int a, int b, int step) {
return asList(countIterator_inclusive_step(a, b, step));
}
static public List countIteratorToList_inclusive(double a, double b, double step, IF1 f) {
return asList(countIterator_inclusive(a, b, step, f));
}
static public List countIteratorToList_inclusive(double a, double b, double step) {
return asList(countIterator_inclusive_step(a, b, step));
}
static public List countIteratorToList_inclusive(IF1 f, double a, double b, double step) {
return asList(countIterator_inclusive_step(a, b, step, f));
}
static public List countIteratorToList_inclusive(IF1 f, int a, int b) {
return countIteratorToList_inclusive(f, a, b, 1);
}
static public List countIteratorToList_inclusive(IF1 f, int a, int b, int step) {
return asList(countIterator_inclusive(a, b, step, f));
}
static public ArrayList cloneList(Iterable l) {
return l instanceof Collection ? cloneList((Collection) l) : asList(l);
}
static public ArrayList cloneList(Collection l) {
if (l == null)
return new ArrayList();
synchronized (collectionMutex(l)) {
return new ArrayList (l);
}
}
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) {
return null;
}
}
static public B pcallF(F1 f, A a) {
try {
return f == null ? null : f.get(a);
} catch (Throwable __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();
}
return null;
} catch (Throwable __e) {
return null;
}
}
static public A pcallF(IF0 f) {
try {
return f == null ? null : f.get();
} catch (Throwable __e) {
return null;
}
}
static public B pcallF(IF1 f, A a) {
try {
return f == null ? null : f.get(a);
} catch (Throwable __e) {
return null;
}
}
static public JSpinner jSpinner(final int value) {
return swing(new F0() {
public JSpinner get() {
try {
JSpinner s = new JSpinner();
s.setValue(value);
return jSpinnerCommitOnValidEdit(s);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "new JSpinner s;\r\n s.setValue(value);\r\n ret jSpinnerCommitOnValidEdit(s);";
}
});
}
static public JSpinner jSpinner(final int value, final int min, final int max) {
return swing(new F0() {
public JSpinner get() {
try {
return jSpinnerCommitOnValidEdit(new JSpinner(new SpinnerNumberModel(value, min, max, 1)));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ret jSpinnerCommitOnValidEdit(new JSpinner(new SpinnerNumberModel(value, min,...";
}
});
}
static public List powersOfTwoUpTo(int n) {
IntBuffer l = new IntBuffer();
int i = 1;
while (i <= n && i > 0) {
l.add(i);
i *= 2;
}
return l.asVirtualList();
}
static public JSpinner rightAlignSpinner(JSpinner spinner) {
setHorizontalAlignment(JTextField.RIGHT, getTextFieldFromSpinner(spinner));
return spinner;
}
static public JSpinner jListSpinner(List entries, A defaultValue) {
return swing(() -> {
JSpinner s = new JSpinner();
s.setModel(new SpinnerListModel(entries));
if (contains(entries, defaultValue))
setSpinnerValue(s, defaultValue);
return s;
});
}
static public File makeFileNameUnique_beforeExtension_startWith1_noDot(File f) {
File orig = f;
int n = 1;
do {
f = appendToFileBaseName(orig, str(n++));
} while (f.exists());
return f;
}
static public void saveImage(File f, BufferedImage img) {
if (hasJPEGExtension(f))
saveJPG(f, img);
else
savePNG(f, img);
}
static public String appendBracketed(Object o) {
String b = strOrNull(o);
return empty(b) ? "" : "" + " (" + b + ")";
}
static public String appendBracketed(String a, String b) {
return a + appendBracketed(b);
}
static public String fileInfo(File f) {
return renderFileInfo(f);
}
static public String fileInfo(String f) {
return renderFileInfo(newFile(f));
}
static public A uniqueConcept(Class c, Object... params) {
return uniqueConcept(db_mainConcepts(), c, params);
}
static public A uniqueConcept(Concepts cc, Class c, Object... params) {
AutoCloseable __1 = tempDBLock(cc);
try {
params = expandParams(c, params);
A x = findConceptWhere(cc, c, params);
if (x == null) {
x = unlisted(c);
csetAll(x, params);
cc.register(x);
} else {
}
return x;
} finally {
_close(__1);
}
}
static public A setMetaSrcUnlessSame(Object b, A a, Object src) {
if (a != b)
setMeta(a, "src", src);
return a;
}
static public BWImage posterizeBWImage(int brightnessLevels, BWImage img) {
if (brightnessLevels >= 256 || img == null)
return img;
byte[] pixels = img.getBytes();
int w = img.getWidth(), h = img.getHeight(), n = pixels.length;
byte[] pixels2 = new byte[n];
double factor1 = doubleRatio(brightnessLevels, 256);
double factor2 = doubleRatio(255, brightnessLevels - 1);
for (int i = 0; i < n; i++) pixels2[i] = (byte) iround(ifloor(ubyteToInt(pixels[i]) * factor1) * factor2);
return new BWImage(w, h, pixels2);
}
static public BWImage scaledBWImageFromBWIntegralImage(int w, BWIntegralImage img) {
return scaledBWImageFromBWIntegralImage(img, w);
}
static public BWImage scaledBWImageFromBWIntegralImage(BWIntegralImage img, int w) {
return scaledBWImageFromBWIntegralImage(img, w, heightForWidth(img, w));
}
static public BWImage scaledBWImageFromBWIntegralImage(BWIntegralImage img, int w, int h) {
byte[] pixels = scaledGrayBytesFromBWIntegralImage(img, w, h);
return new BWImage(w, h, pixels);
}
static public BWImage scaledBWImageFromBWIntegralImage(int w, IBWIntegralImage img) {
return scaledBWImageFromBWIntegralImage(img, w);
}
static public BWImage scaledBWImageFromBWIntegralImage(IBWIntegralImage img, int w) {
return scaledBWImageFromBWIntegralImage(img, w, heightForWidth(img, w));
}
static public BWImage scaledBWImageFromBWIntegralImage(IBWIntegralImage img, int w, int h) {
byte[] pixels = scaledGrayBytesFromBWIntegralImage(img, w, h);
return new BWImage(w, h, pixels);
}
static public List sortedByConceptIDDesc(Collection c) {
return sortedByCalculatedFieldDesc(__30 -> conceptID(__30), c);
}
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 getSelectedItem_typed(JList l) {
return swing(() -> l.getSelectedValue());
}
static public A getSelectedItem_typed(JComboBox cb) {
return swing(() -> (A) cb.getSelectedItem());
}
static public boolean loadBufferedImage_useImageCache = true;
static public BufferedImage loadBufferedImage(String snippetIDOrURLOrFile) {
try {
ping();
if (snippetIDOrURLOrFile == null)
return null;
if (isURL(snippetIDOrURLOrFile))
return imageIO_readURL(snippetIDOrURLOrFile);
if (isSnippetID(snippetIDOrURLOrFile)) {
String snippetID = "" + parseSnippetID(snippetIDOrURLOrFile);
IResourceLoader rl = vm_getResourceLoader();
if (rl != null)
return loadBufferedImage(rl.loadLibrary(snippetID));
File dir = imageSnippetsCacheDir();
if (loadBufferedImage_useImageCache) {
dir.mkdirs();
File file = new File(dir, snippetID + ".png");
if (file.exists() && file.length() != 0)
try {
return ImageIO.read(file);
} catch (Throwable e) {
e.printStackTrace();
}
}
String imageURL = snippetImageURL_http(snippetID);
print("Loading image: " + imageURL);
BufferedImage image = imageIO_readURL(imageURL);
if (loadBufferedImage_useImageCache) {
File tempFile = new File(dir, snippetID + ".tmp." + System.currentTimeMillis());
ImageIO.write(image, "png", tempFile);
tempFile.renameTo(new File(dir, snippetID + ".png"));
}
return image;
} else
return loadBufferedImage(new File(snippetIDOrURLOrFile));
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public BufferedImage loadBufferedImage(File file) {
return loadBufferedImageFile(file);
}
static public JLabel jcenteredLabel(String text) {
return setHorizontalAlignment(JLabel.CENTER, jLabel(text));
}
static public JLabel jcenteredLabel() {
return jcenteredLabel(" ");
}
static public String rtrim_fromLines(Collection lines) {
StringBuilder buf = new StringBuilder();
if (lines != null) {
boolean first = true;
for (Object line : lines) {
if (first)
first = false;
else
buf.append('\n');
buf.append(str(line));
}
}
return buf.toString();
}
static public JLabel jTopLabel(final String text) {
return jtoplabel(text);
}
static public JLabel jTopLabel() {
return jtoplabel();
}
static public String jlabel_textAsHTML(String text) {
return hhtml(replace(htmlencode(text), "\n", "() {
public JPanel get() {
try {
JPanel panel = new JPanel(new BorderLayout());
panel.add(BorderLayout.WEST, wrap(w));
panel.add(BorderLayout.CENTER, wrap(c));
return panel;
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "JPanel panel = new JPanel(new BorderLayout);\r\n panel.add(BorderLayout.WEST...";
}
});
}
static public JPanel westAndCenterWithMargin(Component w, Component c) {
return westAndCenter(withRightMargin(w), c);
}
static public JPanel westAndCenterWithMargin(int margin, Component w, Component c) {
return westAndCenter(withRightMargin(margin, w), c);
}
static public void _onJavaXSet() {
}
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 boolean nemptyString(String s) {
return s != null && s.length() > 0;
}
static public int strL(String s) {
return s == null ? 0 : s.length();
}
static public int listL(Collection l) {
return l == null ? 0 : l.size();
}
static public boolean neq(Object a, Object b) {
return !eq(a, b);
}
static public int lCharSequence(CharSequence s) {
return s == null ? 0 : s.length();
}
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 IConceptIndex simpleConceptIndex(final Runnable r) {
return new IConceptIndex() {
public void update(Concept c) {
pcallF(r);
}
public void remove(Concept c) {
pcallF(r);
}
};
}
static public double parseDouble(String s) {
return empty(s) ? 0.0 : Double.parseDouble(s);
}
static public Point getMouseLocation() {
return MouseInfo.getPointerInfo().getLocation();
}
static public A or(A a, A b) {
return a != null ? a : b;
}
static public File userDir_oneOf(String... names) {
return oneOfTheFilesInDir(userDir(), names);
}
static public File userDir() {
return new File(userHome());
}
static public File userDir(String path) {
return new File(userHome(), path);
}
static public boolean eqicOneOf(String s, String... l) {
for (String x : l) if (eqic(s, x))
return true;
return false;
}
static public String fileExtension(File f) {
if (f == null)
return null;
return fileExtension(f.getName());
}
static public String fileExtension(String s) {
return substring(s, smartLastIndexOf(s, '.'));
}
static public A repaint(A c) {
if (c != null)
c.repaint();
return c;
}
static public void imageSurface_unpixelated(ImageSurface imageSurface) {
if (imageSurface == null)
return;
imageSurface.interpolationMode = RenderingHints.VALUE_INTERPOLATION_BILINEAR;
repaint(imageSurface);
}
static public BufferedImage toBufferedImageOpt(Object o) {
if (o instanceof BufferedImage)
return ((BufferedImage) o);
if (o instanceof Image)
return copyImage((Image) o);
if (o instanceof MakesBufferedImage)
return ((MakesBufferedImage) o).getBufferedImage();
if (o instanceof File)
if (isImageFile((File) o))
return loadBufferedImageFile((File) o);
String c = getClassName(o);
if (eqOneOf(c, "main$BWImage", "main$RGBImage"))
return (BufferedImage) call(o, "getBufferedImage");
if (eq(c, "main$PNGFile"))
return (BufferedImage) call(o, "getImage");
return null;
}
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 void newPing() {
var tl = newPing_actionTL();
Runnable action = tl == null ? null : tl.get();
{
if (action != null)
action.run();
}
}
static public void failIfUnlicensed() {
assertTrue("license off", licensed());
}
static public Thread currentThread() {
return Thread.currentThread();
}
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 A swingConstruct(final Class c, final Object... args) {
return swing(new F0 () {
public A get() {
try {
return nuObject(c, args);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ret nuObject(c, args);";
}
});
}
static public A bindToolTipToLiveValue(LiveValue lv, A c) {
bindLiveValueListenerToComponent(c, lv, new Runnable() {
public void run() {
try {
setToolTipText(c, strOrNull(lv.get()));
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "setToolTipText(c, strOrNull(lv!))";
}
});
return c;
}
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 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 Object swingCall(final Object o, final String method, final Object... args) {
return swing(new F0() {
public Object get() {
try {
return call(o, method, args);
} catch (Exception __e) {
throw rethrow(__e);
}
}
public String toString() {
return "ret call(o, method, args);";
}
});
}
static public JTabbedPane jLeftTabs(Object... x) {
JTabbedPane tabs = jtabs(x);
tabs.setTabPlacement(JTabbedPane.LEFT);
return tabs;
}
static public JTabbedPane jLeftTabs(Collection c) {
return jLeftTabs(toObjectArray(c));
}
static public JTabbedPane jtabs(Object... x) {
return fillJTabs(swingNu(JTabbedPane.class), x);
}
static public JPanel jRightAlignedLine(Component... components) {
return jrightAlignedLine(components);
}
static public JPanel jRightAlignedLine(List components) {
return jrightAlignedLine(components);
}
static public A _recordNewSwingComponent(A c) {
if (c != null)
callF((Object) vm_generalMap_get("newSwingComponentRegistry"), (Object) c);
return c;
}
static public JComponent componentToJComponent(Component c) {
if (c instanceof JComponent)
return (JComponent) c;
if (c instanceof JFrame)
return ((JFrame) c).getRootPane();
if (c == null)
return null;
throw fail("boohoo " + getClassName(c));
}
static public String nullIfEmpty(String s) {
return isEmpty(s) ? null : s;
}
static public Map nullIfEmpty(Map map) {
return isEmpty(map) ? null : map;
}
static public List nullIfEmpty(List l) {
return isEmpty(l) ? null : l;
}
static public boolean isInstance(Class type, Object arg) {
return type.isInstance(arg);
}
static public Pair mapEntryToPair(Map.Entry e) {
return e == null ? null : pair(e.getKey(), e.getValue());
}
static public Set> entrySet(Map map) {
return _entrySet(map);
}
static public Pair pair(A a, B b) {
return new Pair(a, b);
}
static public Pair pair(A a) {
return new Pair(a, a);
}
static public A firstThat(Iterable l, IF1 pred) {
for (A a : unnullForIteration(l)) if (pred.get(a))
return a;
return null;
}
static public A firstThat(A[] l, IF1 pred) {
for (A a : unnullForIteration(l)) if (pred.get(a))
return a;
return null;
}
static public A firstThat(IF1 pred, Iterable l) {
return firstThat(l, pred);
}
static public A firstThat(IF1 pred, A[] l) {
return firstThat(l, pred);
}
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 int boolToInt(boolean b) {
return b ? 1 : 0;
}
static public String getClassName(Object o) {
return o == null ? "null" : o instanceof Class ? ((Class) o).getName() : o.getClass().getName();
}
static public A jtransparent(final A a) {
{
swing(() -> {
a.setOpaque(false);
});
}
return a;
}
static public JPanel borderLayoutPanel() {
return jpanel(new BorderLayout());
}
static public void setSpinnerValue(JSpinner s, int value) {
setSpinnerValue(s, (Integer) value);
}
static public void setSpinnerValue(JSpinner s, Object value) {
try {
if (s != null) {
swing(() -> {
s.setValue(value);
});
}
} catch (Throwable __e) {
printStackTrace(__e);
}
}
static public String formatWithThousandsSeparator(long l) {
return NumberFormat.getInstance(new Locale("en_US")).format(l);
}
static public String getType(Object o) {
return getClassName(o);
}
static public long getFileSize(String path) {
return path == null ? 0 : new File(path).length();
}
static public long getFileSize(File f) {
return f == null ? 0 : f.length();
}
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 CloseableIterableIterator linesFromFile(File f) {
return linesFromFile(f, null);
}
static public CloseableIterableIterator linesFromFile(File f, IResourceHolder resourceHolder) {
try {
if (!f.exists())
return emptyCloseableIterableIterator();
if (ewic(f.getName(), ".gz"))
return linesFromReader(utf8bufferedReader(newGZIPInputStream(f)), resourceHolder);
return linesFromReader(utf8bufferedReader(f), resourceHolder);
} catch (Exception __e) {
throw rethrow(__e);
}
}
static public CloseableIterableIterator linesFromFile(String path) {
return linesFromFile(path, null);
}
static public CloseableIterableIterator