TraceExplorerComposite.java 文件源码

java
阅读 24 收藏 0 点赞 0 评论 0

项目:tlaplus 作者:
/**
  * Add a formula to the list
  */
 protected void doAdd()
 {
     Formula formula = doEditFormula(null);

     // add a formula
     if (formula != null)
     {
         @SuppressWarnings("unchecked")
Vector<Formula> input = ((Vector<Formula>) tableViewer.getInput());
         input.add(formula);
         tableViewer.setInput(input);
         if (tableViewer instanceof CheckboxTableViewer)
         {
             ((CheckboxTableViewer) tableViewer).setChecked(formula, true);
         }

         changeButtonEnablement();

         view.getModel().setTraceExplorerExpression(FormHelper.getSerializedInput(tableViewer));
     }
 }
评论列表
文章目录


问题


面经


文章

微信
公众号

扫码关注公众号