EdgeController.java 文件源码

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

项目:H-Uppaal 作者:
private void initializeSelectListener() {
    SelectHelper.elementsToBeSelected.addListener(new ListChangeListener<Nearable>() {
        @Override
        public void onChanged(final Change<? extends Nearable> c) {
            while (c.next()) {
                if (c.getAddedSize() == 0) return;

                for (final Nearable nearable : SelectHelper.elementsToBeSelected) {
                    if (nearable instanceof Edge) {
                        if (nearable.equals(getEdge())) {
                            SelectHelper.addToSelection(EdgeController.this);
                            break;
                        }
                    }
                }
            }
        }
    });
}
评论列表
文章目录


问题


面经


文章

微信
公众号

扫码关注公众号