C++: sync xml/csv/sourceLocationPrefix/numlines dbscheme

Author: aibaars

cpp/ql/lib/semmlecode.cpp.dbscheme

@@ -131,14 +131,17 @@ compilation_finished(
  * for more information.
  */
 externalData(
-    int id : @externalDataElement,
-    string path : string ref,
-    int column: int ref,
-    string value : string ref
+  int id : @externalDataElement,
+  string path : string ref,
+  int column: int ref,
+  string value : string ref
 );
 
 /*- Source location prefix -*/
 
+/**
+ * The source location of the snapshot.
+ */
 sourceLocationPrefix(string prefix : string ref);
 
 /*- DEPRECATED: Version control data -*/
@@ -207,21 +210,21 @@ containerparent(
 /*- Lines of code -*/
 
 numlines(
-    int element_id: @sourceline ref,
-    int num_lines: int ref,
-    int num_code: int ref,
-    int num_comment: int ref
+  int element_id: @sourceline ref,
+  int num_lines: int ref,
+  int num_code: int ref,
+  int num_comment: int ref
 );
 
 /*- Diagnostic messages -*/
 
 diagnostics(
-    unique int id: @diagnostic,
-    int severity: int ref,
-    string error_tag: string ref,
-    string error_message: string ref,
-    string full_error_message: string ref,
-    int location: @location_default ref
+  unique int id: @diagnostic,
+  int severity: int ref,
+  string error_tag: string ref,
+  string error_message: string ref,
+  string full_error_message: string ref,
+  int location: @location_default ref
 );
 
 /*- C++ dbscheme -*/
@@ -2141,74 +2144,71 @@ link_parent(
 
 /*- XML Files -*/
 
-xmlEncoding(unique int id: @file ref, string encoding: string ref);
+xmlEncoding(
+  unique int id: @file ref,
+  string encoding: string ref
+);
 
 xmlDTDs(
-    unique int id: @xmldtd,
-    string root: string ref,
-    string publicId: string ref,
-    string systemId: string ref,
-    int fileid: @file ref
+  unique int id: @xmldtd,
+  string root: string ref,
+  string publicId: string ref,
+  string systemId: string ref,
+  int fileid: @file ref
 );
 
 xmlElements(
-    unique int id: @xmlelement,
-    string name: string ref,
-    int parentid: @xmlparent ref,
-    int idx: int ref,
-    int fileid: @file ref
+  unique int id: @xmlelement,
+  string name: string ref,
+  int parentid: @xmlparent ref,
+  int idx: int ref,
+  int fileid: @file ref
 );
 
 xmlAttrs(
-    unique int id: @xmlattribute,
-    int elementid: @xmlelement ref,
-    string name: string ref,
-    string value: string ref,
-    int idx: int ref,
-    int fileid: @file ref
+  unique int id: @xmlattribute,
+  int elementid: @xmlelement ref,
+  string name: string ref,
+  string value: string ref,
+  int idx: int ref,
+  int fileid: @file ref
 );
 
 xmlNs(
-    int id: @xmlnamespace,
-    string prefixName: string ref,
-    string URI: string ref,
-    int fileid: @file ref
+  int id: @xmlnamespace,
+  string prefixName: string ref,
+  string URI: string ref,
+  int fileid: @file ref
 );
 
 xmlHasNs(
-    int elementId: @xmlnamespaceable ref,
-    int nsId: @xmlnamespace ref,
-    int fileid: @file ref
+  int elementId: @xmlnamespaceable ref,
+  int nsId: @xmlnamespace ref,
+  int fileid: @file ref
 );
 
 xmlComments(
-    unique int id: @xmlcomment,
-    string text: string ref,
-    int parentid: @xmlparent ref,
-    int fileid: @file ref
+  unique int id: @xmlcomment,
+  string text: string ref,
+  int parentid: @xmlparent ref,
+  int fileid: @file ref
 );
 
 xmlChars(
-    unique int id: @xmlcharacters,
-    string text: string ref,
-    int parentid: @xmlparent ref,
-    int idx: int ref,
-    int isCDATA: int ref,
-    int fileid: @file ref
+  unique int id: @xmlcharacters,
+  string text: string ref,
+  int parentid: @xmlparent ref,
+  int idx: int ref,
+  int isCDATA: int ref,
+  int fileid: @file ref
 );
 
 @xmlparent = @file | @xmlelement;
 @xmlnamespaceable = @xmlelement | @xmlattribute;
 
 xmllocations(
-    int xmlElement: @xmllocatable ref,
-    int location: @location_default ref
+  int xmlElement: @xmllocatable ref,
+  int location: @location_default ref
 );
 
-@xmllocatable = @xmlcharacters
-              | @xmlelement
-              | @xmlcomment
-              | @xmlattribute
-              | @xmldtd
-              | @file
-              | @xmlnamespace;
+@xmllocatable = @xmlcharacters | @xmlelement | @xmlcomment | @xmlattribute | @xmldtd | @file | @xmlnamespace;