Extension/feature filtering + main generate function

This commit is contained in:
Robin Voetter
2020-06-29 19:45:23 +02:00
parent 134c78dc6f
commit c454400ff3
5 changed files with 153 additions and 27 deletions

View File

@@ -732,12 +732,6 @@ fn parseExtension(allocator: *Allocator, extension: *xml.Element) !registry.Exte
var it = extension.findChildrenByTag("require");
while (it.next()) |require| {
requires[i] = try parseRequire(allocator, require, number);
// If the required feature level has been set explicitly, keep it.
if (requires[i].required_feature_level == null) {
requires[i].required_feature_level = requires_core;
}
i += 1;
}
@@ -749,6 +743,7 @@ fn parseExtension(allocator: *Allocator, extension: *xml.Element) !registry.Exte
.depends = depends,
.promoted_to = promoted_to,
.platform = platform,
.required_feature_level = requires_core,
.requires = allocator.shrink(requires, i)
};
}