JavaScript: store YAML locations in yaml_locations table instead of hasLocation.

This commit is contained in:
Max Schaefer
2019-07-25 14:46:55 +01:00
parent 37cb4e4023
commit 9a00f4d0f0
4 changed files with 11 additions and 3 deletions

View File

@@ -933,7 +933,7 @@ case @json_value.kind of
| @token
| @cfg_node
| @jsdoc | @jsdoc_type_expr | @jsdoc_tag
| @yaml_node | @yaml_error
| @yaml_locatable
| @xmllocatable;
hasLocation (unique int locatable: @locatable ref,
@@ -1027,6 +1027,11 @@ yaml_scalars (unique int scalar: @yaml_scalar_node ref,
yaml_errors (unique int id: @yaml_error,
varchar(900) message: string ref);
yaml_locations(unique int locatable: @yaml_locatable ref,
int location: @location_default ref);
@yaml_locatable = @yaml_node | @yaml_error;
/* XML Files */
xmlEncoding(