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 Location) {
if (nearable.equals(getLocation())) {
SelectHelper.addToSelection(LocationController.this);
break;
}
}
}
}
}
});
}
LocationController.java 文件源码
java
阅读 21
收藏 0
点赞 0
评论 0
项目:H-Uppaal
作者:
评论列表
文章目录