/**
* 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));
}
}
TraceExplorerComposite.java 文件源码
java
阅读 24
收藏 0
点赞 0
评论 0
项目:tlaplus
作者:
评论列表
文章目录