public Thing handlecmd(Interp ip, Object target, String subcmd, Thing[] argv, int startat)
throws HeclException {
HeclCanvas c = (HeclCanvas) target;
if (subcmd.equals(WidgetInfo.NREPAINT)) {
c.repaint();
return null;
}
if (subcmd.equals("servicerepaints")) {
c.serviceRepaints();
return null;
}
if (subcmd.equals("flush")) {
if (argv.length == startat) {
// Simple case, flush whole buffer
c.flushGraphics();
return null;
}
// x, y, w, h
if (startat + 4 != argv.length)
throw HeclException.createWrongNumArgsException(argv, startat, "x y w h");
c.flushGraphics(
IntThing.get(argv[startat]),
IntThing.get(argv[startat + 1]),
IntThing.get(argv[startat + 2]),
IntThing.get(argv[startat + 3]));
return null;
}
if (subcmd.equals("graphics")) return ObjectThing.create(c.getDrawable());
return super.handlecmd(ip, target, subcmd, argv, startat);
}
public Thing cmdCode(Interp interp, Thing[] argv) throws HeclException {
if (argv.length == 2) {
Vector v = ListThing.get(argv[1]);
int[] colors = new int[v.size()];
for (int i = 0; i < v.size(); i++) {
colors[i] = Integer.parseInt(((Thing) v.elementAt(i)).toString(), 16);
}
Skin skin = new Skin(colors);
return ObjectThing.create(skin);
} else if (argv.length == 3) {
Vector v = ListThing.get(argv[1]);
int newSize = IntThing.get(argv[2]);
Image[] img = new Image[9];
for (int i = 0; i < v.size(); i++) {
img[i] = (Image) ObjectThing.get((Thing) v.elementAt(i));
}
return ObjectThing.create(new Skin(img, newSize));
} else {
throw HeclException.createWrongNumArgsException(
argv, 2, "mwt.skin expect either <color[]> or <image[], size>");
}
}
static {
/* Alert defaults */
Vector v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("Alert")));
v.addElement(new WidgetProp(NTYPE, new Thing("info"), true));
v.addElement(textprop);
widgetprops.put(Alert.class, v);
/* Canvas defaults */
v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("Canvas")));
v.addElement(new WidgetProp(NSUPPRESSKEYS, new Thing("false"), true));
widgetprops.put(Canvas.class, v);
/* Command defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(longlabelprop);
v.addElement(new WidgetProp(NTYPE, new Thing("back"), true));
v.addElement(prioprop);
widgetprops.put(Command.class, v);
/* Form defaults */
v = new Vector();
widgetprops.put(Form.class, v);
/* List defaults */
v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("List")));
v.addElement(new WidgetProp(NTYPE, new Thing("implicit"), true));
v.addElement(fitprop);
widgetprops.put(List.class, v);
/* TextBox defaults */
v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("TextBox")));
v.addElement(textprop);
v.addElement(tickerprop);
v.addElement(new WidgetProp(NTYPE, ANYTHING, true));
v.addElement(new WidgetProp(NMAXLEN, IntThing.create(256)));
widgetprops.put(TextBox.class, v);
/* Ticker defaults */
v = new Vector();
v.addElement(textprop);
widgetprops.put(Ticker.class, v);
/* ChoiceGroup defaults */
v = new Vector();
v.addElement(new WidgetProp(NLABEL, Thing.emptyThing()));
v.addElement(new WidgetProp(NTYPE, new Thing("exclusive"), true));
v.addElement(fitprop);
widgetprops.put(ChoiceGroup.class, v);
/* ImageItem defaults */
v = new Vector();
v.addElement(textprop);
v.addElement(labelprop);
v.addElement(appearanceprop);
widgetprops.put(ImageItem.class, v);
/* Spacer defaults */
v = new Vector();
v.addElement(minwidthprop);
v.addElement(minheightprop);
widgetprops.put(Spacer.class, v);
/* StringItem defaults */
v = new Vector();
v.addElement(textprop);
v.addElement(labelprop);
v.addElement(appearanceprop);
widgetprops.put(StringItem.class, v);
/* TextField defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(new WidgetProp(NMAXLEN, IntThing.create(256)));
v.addElement(new WidgetProp(NTYPE, ANYTHING, true));
widgetprops.put(TextField.class, v);
/* DateField defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(new WidgetProp(NTYPE, new Thing(dfmodenames[1])));
widgetprops.put(DateField.class, v);
/* Gauge defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(new WidgetProp(NINTERACTIVE, IntThing.create(0), true));
v.addElement(new WidgetProp(NVALUE, new Thing("continuous-running")));
v.addElement(new WidgetProp(NMAXVALUE, new Thing("indefinite")));
widgetprops.put(Gauge.class, v);
}
public class WidgetInfo {
public static Object asWidget(Thing thing, Class clazz, String clazzname, boolean allownull)
throws HeclException {
if (allownull && thing.toString().length() == 0) return null;
RealThing rt = thing.getVal();
if (rt instanceof ObjectThing) {
Object x = ((ObjectThing) rt).get();
if (allownull && x == null) return null;
if (clazz.isAssignableFrom(x.getClass())) return x;
}
if (clazzname != null) {
throw HeclException.createInvalidParameter(
thing, "parameter", clazzname + " widget required.");
}
return null;
}
public static Command asCommand(Thing thing, boolean allownull, boolean throwerror)
throws HeclException {
return (Command) asWidget(thing, Command.class, throwerror ? "Command" : null, allownull);
}
public static Gauge asGauge(Thing thing, boolean allownull, boolean throwerror)
throws HeclException {
return (Gauge) asWidget(thing, Gauge.class, throwerror ? "Gauge" : null, allownull);
}
public static Image asImage(Thing thing, boolean allownull, boolean throwerror)
throws HeclException {
return (Image) asWidget(thing, Image.class, throwerror ? "Image" : null, allownull);
}
public static Item asItem(Thing thing, boolean allownull, boolean throwerror)
throws HeclException {
return (Item) asWidget(thing, Item.class, throwerror ? "Item" : null, allownull);
}
public static Ticker asTicker(Thing thing, boolean allownull, boolean throwerror)
throws HeclException {
return (Ticker) asWidget(thing, Ticker.class, throwerror ? "Ticker" : null, allownull);
}
public static AlertType toAlertType(Thing t) throws HeclException {
String s = t.toString().toLowerCase();
int l = alerttypenames.length;
for (int i = 0; i < l; ++i) if (s.equals(alerttypenames[i])) return alerttypevals[i];
throw new HeclException("Invalid alert type '" + s + "'!");
}
public static Thing fromAlertType(AlertType t) throws HeclException {
int l = alerttypenames.length;
for (int i = 0; i < l; ++i) if (t == alerttypevals[i]) return new Thing(alerttypenames[i]);
throw new HeclException("Invalid alert type value '" + t + "'!");
}
protected static int t2int(Thing t, String nametab[], int valtab[], String emsg)
throws HeclException {
return s2int(t.toString().toLowerCase(), nametab, valtab, emsg);
}
protected static int s2int(String s, String nametab[], int valtab[], String emsg)
throws HeclException {
int l = nametab.length;
for (int i = 0; i < l; ++i) if (s.equals(nametab[i])) return valtab[i];
throw new HeclException("Invalid " + emsg + " '" + s + "'.");
}
protected static Thing int2t(int v, String nametab[], int valtab[], String emsg)
throws HeclException {
return new Thing(int2s(v, nametab, valtab, emsg));
}
protected static String int2s(int v, String nametab[], int valtab[], String emsg)
throws HeclException {
int l = valtab.length;
for (int i = 0; i < l; ++i) if (v == valtab[i]) return nametab[i];
throw new HeclException("Invalid " + emsg + " value '" + v + "'.");
}
public static int toColor(Thing t) throws HeclException {
String s = t.toString();
try {
return s2int(s.toLowerCase(), colornames, colorvals, "");
} catch (Exception e) {
}
return Integer.parseInt(s, 16);
}
public static Thing fromColor(org.awt.Color color) throws HeclException {
return fromColor(color.getRGB());
}
public static Thing fromColor(int t) throws HeclException {
try {
return int2t(t, colornames, colorvals, "");
} catch (HeclException e) {
}
return new Thing(Integer.toHexString(t));
}
public static int toCanvasAnchor(Thing t) throws HeclException {
return t2int(t, canchornames, canchorvals, "anchor");
}
public static Thing fromCanvasAnchor(int t) throws HeclException {
return int2t(t, canchornames, canchorvals, "anchor");
}
public static int toChoiceType(Thing t) throws HeclException {
return t2int(t, choicetypenames, choicetypevals, "choice type");
}
public static Thing fromChoiceType(int t) throws HeclException {
return int2t(t, choicetypenames, choicetypevals, "choice type");
}
public static int toListType(Thing t) throws HeclException {
int i = toChoiceType(t);
if (i == Choice.POPUP) {
throw new HeclException("Invalid list type '" + t + "'!");
}
return i;
}
public static Thing fromListType(int t) throws HeclException {
try {
if (t != Choice.POPUP) {
return fromChoiceType(t);
}
} catch (HeclException e) {
}
throw new HeclException("Invalid list type value'" + t + "'!");
}
public static int toTextType(Thing t) throws HeclException {
return t2int(t, texttypenames, texttypevals, "text type");
}
public static Thing fromTextType(int t) throws HeclException {
return int2t(t & ~TextField.CONSTRAINT_MASK, texttypenames, texttypevals, "text type");
}
public static int toWrap(Thing t) throws HeclException {
return t2int(t, wrapnames, wrapvals, "wrap type");
}
public static Thing fromWrap(int t) throws HeclException {
return int2t(t, wrapnames, wrapvals, "wrap type");
}
public static String commandLabel(Command c, boolean shortonly) {
String l = shortonly ? null : c.getLongLabel();
if (l == null || l.length() == 0) {
l = c.getLabel();
}
if (l == null && l.length() == 0) {
// #ifdef notdef
// unfortunately there is no way to detect the command type :-(
int t = c.getType();
for (int i = 0; i < cmdlabels.length; ++i) {
if (t == cmdtypes[i]) {
l = cmdlabels[i];
break;
}
}
// #endif
l = "???";
}
return l;
}
public static int toCommandType(Thing t) throws HeclException {
return t2int(t, cmdtypenames, cmdtypevals, "command type");
}
public static Thing fromCommandType(int t) throws HeclException {
return int2t(t, cmdtypenames, cmdtypevals, "command type");
}
public static int toFontFace(Thing t) throws HeclException {
return t2int(t, fontfacenames, fontfacevals, "font face");
}
public static int toFontFace(String s) throws HeclException {
return s2int(s.toLowerCase(), fontfacenames, fontfacevals, "font face");
}
public static Thing fromFontFace(int t) throws HeclException {
return int2t(t, fontfacenames, fontfacevals, "font face");
}
public static int toFontSize(Thing t) throws HeclException {
return t2int(t, fontsizenames, fontsizevals, "font size");
}
public static int toFontSize(String s) throws HeclException {
return s2int(s.toLowerCase(), fontsizenames, fontsizevals, "font size");
}
public static Thing fromFontSize(int t) throws HeclException {
return int2t(t, fontsizenames, fontsizevals, "font size");
}
public static int toItemAnchor(Thing t) throws HeclException {
return t2int(t, anchornames, anchorvals, "anchor");
}
public static Thing fromItemAnchor(int t) throws HeclException {
return int2t(t &= 0x33, anchornames, anchorvals, "anchor");
}
public static int toItemAppearance(Thing t) throws HeclException {
return t2int(t, appearancenames, appearancevals, "appearance");
}
public static Thing fromItemAppearance(int t) throws HeclException {
return int2t(t &= 0x33, appearancenames, appearancevals, "appearance");
}
public static int toDateFieldMode(Thing t) throws HeclException {
return t2int(t, dfmodenames, dfmodevals, "date field mode");
}
public static Thing fromDateFieldMode(int t) throws HeclException {
return int2t(t &= 0x33, dfmodenames, dfmodevals, "date field mode");
}
public static int toGaugeInitial(Thing t) throws HeclException {
if (Character.isDigit(t.toString().charAt(0))) {
return HeclUtils.thing2int(t, true, 0);
}
return t2int(t, gaugeinitialnames, gaugeinitialvals, "gauge initval");
}
public static Thing fromGaugeInitial(int t) throws HeclException {
for (int i = 0; i < gaugeinitialvals.length; ++i) {
if (i == gaugeinitialvals[i]) return new Thing(gaugeinitialnames[i]);
}
return IntThing.create(t);
}
public static int toGaugeMax(Thing t) throws HeclException {
if (Character.isDigit(t.toString().charAt(0))) {
return HeclUtils.thing2int(t, true, 0);
}
return t2int(t, gaugemaxnames, gaugemaxvals, "gauge initval");
}
public static Thing fromGaugeMax(int t) throws HeclException {
for (int i = 0; i < gaugemaxvals.length; ++i) {
if (i == gaugeinitialvals[i]) return new Thing(gaugemaxnames[i]);
}
return IntThing.create(t);
}
public static void showProps(Class c) {
Vector v = (Vector) widgetprops.get(c);
int n = v.size();
System.err.println("showProps(" + c + ")=");
for (int i = 0; i < n; ++i) {
String s = "<null>";
WidgetProp wp = (WidgetProp) v.elementAt(i);
try {
s = wp.defaultvalue.toString();
} catch (NullPointerException e) {
}
System.err.println("\t" + wp.name + ": " + s);
}
}
public static Properties defaultProps(Class c) {
Properties p = new Properties();
Vector v = (Vector) widgetprops.get(c);
int n = v.size();
for (int i = 0; i < n; ++i) {
WidgetProp wp = (WidgetProp) v.elementAt(i);
p.setProp(wp.name, wp.defaultvalue);
}
return p;
}
/*
* Some command names (in alphabetical order)
*/
public static final String NADDCOMMAND = "addcommand";
public static final String NAPPEND = "append";
public static final String NCGET = "cget";
public static final String NCONF = "conf";
public static final String NCONFIGURE = "configure";
public static final String NCREATE = "create";
public static final String NDELETE = "delete";
public static final String NITEM = "item";
public static final String NITEMCGET = "itemcget";
public static final String NITEMCONF = "itemconf";
public static final String NITEMCONFIGURE = "itemconfigure";
public static final String NREMOVECOMMAND = "removecommand";
public static final String NREPAINT = "repaint";
public static final String NSETCURRENT = "setcurrent";
public static final String NSIZE = "size";
/*
* Some property names (in alphabetical order)
*/
public static final String NAPPEARANCE = "-appearance";
public static final String NCLIPHEIGHT = "-clipheight";
public static final String NCLIPWIDTH = "-clipwidth";
public static final String NCLIPX = "-clipx";
public static final String NCLIPY = "-clipy";
public static final String NCODE = "-code";
public static final String NCOLOR = "-color";
public static final String NCOMMAND = "-command";
public static final String NCOMMANDACTION = "-commandaction";
public static final String NEXPAND = "-expand";
public static final String NFIT = "-fit";
public static final String NFONT = "-font";
public static final String NHEIGHT = "-height";
public static final String NIMAGE = "-image";
public static final String NINTERACTIVE = "-interactive";
public static final String NLABEL = "-label";
public static final String NLINETYPE = "-linetype";
public static final String NLONGLABEL = "-longlabel";
public static final String NMAXLEN = "-maxlength";
public static final String NMAXVALUE = "-maxvalue";
public static final String NMINHEIGHT = "-minheight";
public static final String NMINWIDTH = "-minwidth";
public static final String NPRIO = "-priority";
public static final String NPREFERREDWIDTH = "-preferredwidth";
public static final String NPREFERREDHEIGHT = "-preferredheight";
public static final String NSELECTMODE = "-selectmode";
public static final String NSELECTION = "-selection";
public static final String NSUPPRESSKEYS = "-suppresskeys";
public static final String NTEXT = "-text";
public static final String NTICKER = "-ticker";
public static final String NTITLE = "-title";
public static final String NTYPE = "-type";
public static final String NVALUE = "-value";
public static final String NVEXPAND = "-vexpand";
public static final String NWIDTH = "-width";
static final Thing DEFAULTTHING = new Thing("default");
static final Thing ANYTHING = new Thing("any");
static final Thing ZERO = IntThing.create(0);
static final Thing ONE = IntThing.create(1);
/*
* Common Widget properties and default values.
*/
public static final WidgetProp codeprop = new WidgetProp(NCODE, Thing.emptyThing());
public static final WidgetProp textprop = new WidgetProp(NTEXT, Thing.emptyThing());
public static final WidgetProp labelprop = new WidgetProp(NLABEL, Thing.emptyThing());
public static final WidgetProp longlabelprop = new WidgetProp(NLONGLABEL, Thing.emptyThing());
public static final WidgetProp titleprop = new WidgetProp(NTITLE, Thing.emptyThing());
public static final WidgetProp fitprop = new WidgetProp(NFIT, DEFAULTTHING);
public static final WidgetProp selectprop = new WidgetProp(NSELECTMODE, new Thing("exclusive"));
public static final WidgetProp tickerprop = new WidgetProp(NTICKER, Thing.emptyThing());
public static final WidgetProp prioprop = new WidgetProp(NPRIO, ONE);
public static final WidgetProp appearanceprop = new WidgetProp(NAPPEARANCE, new Thing("plain"));
public static final WidgetProp minwidthprop = new WidgetProp(NMINWIDTH, ZERO);
public static final WidgetProp minheightprop = new WidgetProp(NMINHEIGHT, ZERO);
/*
* WIDGET attribute conversion tables (parallel arrays
*/
static final String colornames[] = {
"red", "green", "blue", "yellow", "cyan", "magenta", "white", "black"
};
static final int colorvals[] = {
0x0ff0000, 0x0ff00, 0x0ff, 0x0ffff00, 0x0ffff, 0x0ff00ff, 0x0ffffff, 0
};
// Alert type
static final String alerttypenames[] = {
"none", "info", "warning", "error", "alarm", "confirmation", ""
};
static final AlertType alerttypevals[] = {
null,
AlertType.INFO,
AlertType.WARNING,
AlertType.ERROR,
AlertType.ALARM,
AlertType.CONFIRMATION,
null
};
// Canvas stuff
// Linetype
static String clinetypenames[] = {"solid", "dotted", "default"};
static int clinetypevals[] = {Graphics.SOLID, Graphics.DOTTED, Graphics.SOLID};
// Anchor points
static String canchornames[] = {
"n", "ne", "e", "se", "s", "sw", "w", "nw", "center", "default", "bl", "bc", "br"
};
static int canchorvals[] = {
Graphics.TOP | Graphics.HCENTER,
Graphics.TOP | Graphics.RIGHT,
Graphics.VCENTER | Graphics.RIGHT,
Graphics.BOTTOM | Graphics.RIGHT,
Graphics.BOTTOM | Graphics.HCENTER,
Graphics.BOTTOM | Graphics.LEFT,
Graphics.VCENTER | Graphics.LEFT,
Graphics.TOP | Graphics.LEFT,
Graphics.VCENTER | Graphics.HCENTER,
Graphics.TOP | Graphics.LEFT,
Graphics.LEFT | Graphics.BASELINE,
Graphics.HCENTER | Graphics.BASELINE,
Graphics.RIGHT | Graphics.BASELINE,
};
// Choice types
static final String choicetypenames[] = {"exclusive", "multiple", "implicit", "popup"};
static final int choicetypevals[] = {
Choice.EXCLUSIVE, Choice.MULTIPLE, Choice.IMPLICIT, Choice.POPUP
};
// Textfield type
static final String texttypenames[] = {"any", "emailaddr", "numeric", "phonenumber", "decimal"};
static final int texttypevals[] = {
TextField.ANY, TextField.EMAILADDR, TextField.NUMERIC, TextField.PHONENUMBER, TextField.DECIMAL
};
// Choice wrap specification
static final String wrapnames[] = {"default", "on", "off"};
static final int wrapvals[] = {
Choice.TEXT_WRAP_DEFAULT, Choice.TEXT_WRAP_ON, Choice.TEXT_WRAP_OFF
};
// Command types
static final String cmdtypenames[] = {
"screen", "back", "cancel", "ok", "help", "stop", "exit", "item"
};
static final String cmdlabels[] = {
"Screen", "Back", "Cancel", "OK", "Help", "Stop", "Exit", "Item"
};
static final int cmdtypevals[] = {
Command.SCREEN,
Command.BACK,
Command.CANCEL,
Command.OK,
Command.HELP,
Command.STOP,
Command.EXIT,
Command.ITEM
};
// Font face names
static final String fontfacenames[] = {"system", "proportional", "monospace"};
static final int fontfacevals[] = {Font.FACE_SYSTEM, Font.FACE_PROPORTIONAL, Font.FACE_MONOSPACE};
// Font sizes
static final String fontsizenames[] = {"small", "medium", "large"};
static final int fontsizevals[] = {Font.SIZE_SMALL, Font.SIZE_MEDIUM, Font.SIZE_LARGE};
// Item anchor position (part of item layout).
static String anchornames[] = {"n", "ne", "e", "se", "s", "sw", "w", "nw", "center", "default"};
static int anchorvals[] = {
Item.LAYOUT_TOP | Item.LAYOUT_CENTER,
Item.LAYOUT_TOP | Item.LAYOUT_LEFT,
Item.LAYOUT_VCENTER | Item.LAYOUT_RIGHT,
Item.LAYOUT_BOTTOM | Item.LAYOUT_RIGHT,
Item.LAYOUT_BOTTOM | Item.LAYOUT_CENTER,
Item.LAYOUT_BOTTOM | Item.LAYOUT_LEFT,
Item.LAYOUT_VCENTER | Item.LAYOUT_LEFT,
Item.LAYOUT_TOP | Item.LAYOUT_LEFT,
Item.LAYOUT_VCENTER | Item.LAYOUT_CENTER,
Item.LAYOUT_DEFAULT
};
// Item appearance
static String appearancenames[] = {"plain", "button", "hyperlink"};
static int appearancevals[] = {Item.PLAIN, Item.BUTTON, Item.HYPERLINK};
// DateField modes
static String dfmodenames[] = {"date", "date_time", "time"};
static int dfmodevals[] = {DateField.DATE, DateField.DATE_TIME, DateField.TIME};
static String gaugeinitialnames[] = {
"continuous-idle", "continuous-running", "incremental-idle", "incremental-updating"
};
static int gaugeinitialvals[] = {
Gauge.CONTINUOUS_IDLE,
Gauge.CONTINUOUS_RUNNING,
Gauge.INCREMENTAL_IDLE,
Gauge.INCREMENTAL_UPDATING
};
static String gaugemaxnames[] = {"indefinite"};
static int gaugemaxvals[] = {Gauge.INDEFINITE};
// A table holding widget property descriptions
public static final Hashtable widgetprops = new Hashtable();
static {
/* Alert defaults */
Vector v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("Alert")));
v.addElement(new WidgetProp(NTYPE, new Thing("info"), true));
v.addElement(textprop);
widgetprops.put(Alert.class, v);
/* Canvas defaults */
v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("Canvas")));
v.addElement(new WidgetProp(NSUPPRESSKEYS, new Thing("false"), true));
widgetprops.put(Canvas.class, v);
/* Command defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(longlabelprop);
v.addElement(new WidgetProp(NTYPE, new Thing("back"), true));
v.addElement(prioprop);
widgetprops.put(Command.class, v);
/* Form defaults */
v = new Vector();
widgetprops.put(Form.class, v);
/* List defaults */
v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("List")));
v.addElement(new WidgetProp(NTYPE, new Thing("implicit"), true));
v.addElement(fitprop);
widgetprops.put(List.class, v);
/* TextBox defaults */
v = new Vector();
v.addElement(new WidgetProp(NTITLE, new Thing("TextBox")));
v.addElement(textprop);
v.addElement(tickerprop);
v.addElement(new WidgetProp(NTYPE, ANYTHING, true));
v.addElement(new WidgetProp(NMAXLEN, IntThing.create(256)));
widgetprops.put(TextBox.class, v);
/* Ticker defaults */
v = new Vector();
v.addElement(textprop);
widgetprops.put(Ticker.class, v);
/* ChoiceGroup defaults */
v = new Vector();
v.addElement(new WidgetProp(NLABEL, Thing.emptyThing()));
v.addElement(new WidgetProp(NTYPE, new Thing("exclusive"), true));
v.addElement(fitprop);
widgetprops.put(ChoiceGroup.class, v);
/* ImageItem defaults */
v = new Vector();
v.addElement(textprop);
v.addElement(labelprop);
v.addElement(appearanceprop);
widgetprops.put(ImageItem.class, v);
/* Spacer defaults */
v = new Vector();
v.addElement(minwidthprop);
v.addElement(minheightprop);
widgetprops.put(Spacer.class, v);
/* StringItem defaults */
v = new Vector();
v.addElement(textprop);
v.addElement(labelprop);
v.addElement(appearanceprop);
widgetprops.put(StringItem.class, v);
/* TextField defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(new WidgetProp(NMAXLEN, IntThing.create(256)));
v.addElement(new WidgetProp(NTYPE, ANYTHING, true));
widgetprops.put(TextField.class, v);
/* DateField defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(new WidgetProp(NTYPE, new Thing(dfmodenames[1])));
widgetprops.put(DateField.class, v);
/* Gauge defaults */
v = new Vector();
v.addElement(labelprop);
v.addElement(new WidgetProp(NINTERACTIVE, IntThing.create(0), true));
v.addElement(new WidgetProp(NVALUE, new Thing("continuous-running")));
v.addElement(new WidgetProp(NMAXVALUE, new Thing("indefinite")));
widgetprops.put(Gauge.class, v);
}
}
public static Thing fromGaugeMax(int t) throws HeclException {
for (int i = 0; i < gaugemaxvals.length; ++i) {
if (i == gaugeinitialvals[i]) return new Thing(gaugemaxnames[i]);
}
return IntThing.create(t);
}
public Thing cget(Interp ip, Object target, String optname) throws HeclException {
HeclCanvas c = (HeclCanvas) target;
if (optname.equals(WidgetInfo.NWIDTH)) return IntThing.create(c.getWidth());
if (optname.equals("-drawwidth")) return IntThing.create(c.getDrawWidth());
if (optname.equals(WidgetInfo.NHEIGHT)) return IntThing.create(c.getHeight());
if (optname.equals("-drawheight")) return IntThing.create(c.getDrawHeight());
if (optname.equals("-fullwidth")) return IntThing.create(c.getFullWidth());
if (optname.equals("-fullheight")) return IntThing.create(c.getFullHeight());
if (optname.equals("-fullscreen")) return IntThing.create(c.getFullScreenMode());
if (optname.equals("-doublebuffered")) return IntThing.create(c.isDoubleBuffered());
if (optname.equals("-pointerevents")) return IntThing.create(c.hasPointerEvents());
if (optname.equals("-pointermotionevents")) return IntThing.create(c.hasPointerMotionEvents());
if (optname.equals("-repeatevents")) return IntThing.create(c.hasRepeatEvents());
if (optname.equals("-autoflush")) return IntThing.create(c.getAutoFlushMode());
if (optname.equals("-cmdbg")) return WidgetInfo.fromColor(c.getCmdBgColor());
if (optname.equals("-cmdfg")) return WidgetInfo.fromColor(c.getCmdFgColor());
// #ifdef notdef
GraphicsCmd gcmd = c.getGraphicsCmd();
if (gcmd != null) {
return gcmd.cget(ip, target, optname);
}
// #endif
return super.cget(ip, target, optname);
}