FilteredDefinitionSelectionDialog.java 文件源码

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

项目:tlaplus 作者:
/**
 * 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);
        }
    };
}
评论列表
文章目录


问题


面经


文章

微信
公众号

扫码关注公众号