public interface QueryManagerListener
| Modifier and Type | Method and Description |
|---|---|
void |
changed(QueryManager.Item query,
int indexInParent) |
void |
inserted(QueryManager.Item entity,
int indexInParent) |
void |
removed(QueryManager.Item entity,
int indexInParent) |
void |
renamed(QueryManager.Item entity,
int indexInParent) |
void inserted(QueryManager.Item entity, int indexInParent)
void removed(QueryManager.Item entity, int indexInParent)
void renamed(QueryManager.Item entity, int indexInParent)
void changed(QueryManager.Item query, int indexInParent)
Copyright © 2009–2021 KRDB Research Centre for Knowledge and Data, Free University of Bozen-Bolzano. All rights reserved.