Exemplo n.º 1
0
 public ParamValueEditDialog(String s) {
   super(new Frame(), " Edit parameter value");
   text = new TextArea(s, 10, 80, TextArea.SCROLLBARS_BOTH);
   text.setEditable(true);
   add(text, BorderLayout.CENTER);
   setResizable(true);
   pack();
   /*
    * doesn't work anyhow addNotify(); text.setCaretPosition(0);
    */
 }
Exemplo n.º 2
0
 public ExParValue getExParValue() {
   ExParValue v = null;
   try {
     // ExDesignTreeParser parser = new ExDesignTreeParser(new
     // StringReader(text.getText()), Base.getEncoding());
     ExDesignTreeParser parser = new ExDesignTreeParser(new StringReader(text.getText()));
     v = parser.assignableParameterValue();
   } catch (ParseException pex) {
     new de.pxlab.pxl.NonFatalError(pex.getMessage());
   } catch (TokenMgrError tex) {
     new de.pxlab.pxl.NonFatalError(tex.getMessage());
   }
   return v;
 }
Exemplo n.º 3
0
 public String getText() {
   return text.getText();
 }