FilteredDefinitionSelectionDialog.java 文件源码

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

项目:tlaplus 作者:
/**
 * Creates label provider for the elements in the list
 */
private ILabelProvider getListLabelProvider()
{
    return new LabelProvider() {
        public String getText(Object element)
        {
            if (element instanceof OpDefNode)
            {
                OpDefNode node = (OpDefNode) element;
                if (node.getSource() == node)
                {
                    return node.getName().toString();
                } else
                {
                    return node.getSource().getName().toString() + " ["
                            + node.getSource().getOriginallyDefinedInModuleNode().getName().toString() + "]";
                }
            }
            return super.getText(element);
        }
    };
}
评论列表
文章目录


问题


面经


文章

微信
公众号

扫码关注公众号