/**
* Creates a label provider for the detail section below the list<br>
* The label provider prints out the name of operation definition and the module the operation is defined in
*/
private ILabelProvider getDetailLabelProvider()
{
return new LabelProvider() {
public String getText(Object element)
{
if (element instanceof OpDefNode)
{
OpDefNode node = (OpDefNode) element;
return node.getSource().getName().toString()
+ ((node.getSource().getOriginallyDefinedInModuleNode() != null) ? " : "
+ node.getSource().getOriginallyDefinedInModuleNode().getName().toString() : "");
}
return super.getText(element);
}
};
}
FilteredDefinitionSelectionDialog.java 文件源码
java
阅读 28
收藏 0
点赞 0
评论 0
项目:tlaplus
作者:
评论列表
文章目录