4142434445464748
public int exec(Prog p) { JinniContainer C = (JinniContainer) ((JavaObject) getArg(0)).toObject(); JinniCanvas P = new JinniCanvas(); C.add_it(P); JavaObject JP = new JavaObject(P); return putArg(1, JP, p); }
4647484950515253
String src = ((Const) getArg(1)).getName(); int width = (int) ((Int) getArg(2)).getValue(); int height = (int) ((Int) getArg(3)).getValue(); JinniImagePanel P = new JinniImagePanel(src, width, height); C.add_it(P); JavaObject JP = new JavaObject(P); return putArg(4, JP, p); }
47484950515253
{ JinniContainer C = (JinniContainer) ((JavaObject) getArg(0)).toObject(); String name = getArg(1).toUnquoted(); JinniButton JB = new JinniButton(name, getArg(2).copy()); C.add_it(JB); return putArg(3, new JavaObject(JB), p); }
4344454647484950
@Override public int exec(Prog p) { String title = getArg(0).toUnquoted(); LayoutManager L = GuiBuiltins.to_layout(getArg(1)); Term frameTerm = new JavaObject(new JinniFrame(title, L)); return putArg(2, frameTerm, p); }
444546474849505152
Container C = (Container) ((JavaObject) getArg(0)).toObject(); String query = getArg(1).toUnquoted(); JinniConsole E = new JinniConsole(C, query); C.add(E); C.show(); JavaObject I = new JavaObject(E); new Thread(E).start(); return putArg(2, I, p); }
38394041424344
* @see net.sf.kpex.prolog.FunBuiltin#exec(net.sf.kpex.prolog.Prog) */ @Override public int exec(Prog p) { return putArg(0, new JavaObject(p.getDatabase()), p); }
4243444546474849505152
*/ @Override public int exec(Prog p) { // get the handle to the wrapped Label JavaObject wrapper = (JavaObject) getArg(0); // get the Label Label L = (Label) wrapper.toObject(); L.setText(getArg(1).toUnquoted()); return 1; }
52535455565758
String oldText = getArg(1).toUnquoted(); int rows = (int) ((Int) getArg(2)).getValue(); int cols = (int) ((Int) getArg(3)).getValue(); JinniText T = new JinniText(oldText, rows, cols); C.add_it(T); return putArg(4, new JavaObject(T), p); }
45464748495051
{ JinniContainer C = (JinniContainer) ((JavaObject) getArg(0)).toObject(); LayoutManager L = GuiBuiltins.to_layout(getArg(1)); JinniPanel P = new JinniPanel(L); C.add_it(P); return putArg(2, new JavaObject(P), p); }
if (null == IO.applet) { return 0; } Applet applet = IO.applet; return putArg(0, new JavaObject(applet), p); }