Rework endregion extraction

This commit is contained in:
Tamas Vajk
2021-01-26 16:56:46 +01:00
parent a5dec5b4aa
commit 72547b89e6
6 changed files with 20 additions and 21 deletions

View File

@@ -376,13 +376,10 @@ directive_regions(
unique int id: @directive_region,
string name: string ref);
#keyset[id, start]
directive_endregions(
unique int id: @directive_endregion);
#keyset[start, end]
regions(
unique int start: @directive_region ref,
unique int end: @directive_endregion ref);
unique int id: @directive_endregion,
unique int start: @directive_region ref);
directive_lines(
unique int id: @directive_line,