Deletes entries from the index structures. @param pre first PRE value of the nodes to delete @param id ID (a simple value update is indicated by the value -1) @param size number of descendants
(final int pre, final int id, final int size)
| 1075 | * @param size number of descendants |
| 1076 | */ |
| 1077 | protected final void indexDelete(final int pre, final int id, final int size) { |
| 1078 | if(id != -1) resources.delete(pre, size); |
| 1079 | if(meta.updindex) { |
| 1080 | if(meta.textindex) textIndex.delete(new ValueCache(pre, size, IndexType.TEXT, this)); |
| 1081 | if(meta.attrindex) attrIndex.delete(new ValueCache(pre, size, IndexType.ATTRIBUTE, this)); |
| 1082 | if(meta.tokenindex) tokenIndex.delete(new ValueCache(pre, size, IndexType.TOKEN, this)); |
| 1083 | if(id != -1) idmap.delete(pre, id, -size); |
| 1084 | } |
| 1085 | } |
| 1086 | |
| 1087 | /** |
| 1088 | * Inserts new entries in the index structure. |
no test coverage detected