/*
 *      This dbscheme is auto-generated by 'semmle/dbscheme_gen.py'.
 *      WARNING: Any modifications to this file will be lost.
 *      Relations can be changed by modifying master.py or
 *      by adding rules to dbscheme.template
 */

/*
 * External artifacts
 */

externalDefects(
  unique int id : @externalDefect,
  varchar(900) queryPath : string ref,
  int location : @location ref,
  varchar(900) message : string ref,
  float severity : float ref
);

externalMetrics(
  unique int id : @externalMetric,
  varchar(900) queryPath : string ref,
  int location : @location ref,
  float value : float ref
);

externalData(
  int id : @externalDataElement,
  varchar(900) queryPath : string ref,
  int column: int ref,
  varchar(900) data : string ref
);

snapshotDate(unique date snapshotDate : date ref);

sourceLocationPrefix(varchar(900) prefix : string ref);


/*
 * Duplicate code
 */

duplicateCode(
  unique int id : @duplication,
  varchar(900) relativePath : string ref,
  int equivClass : int ref);

similarCode(
  unique int id : @similarity,
  varchar(900) relativePath : string ref,
  int equivClass : int ref);

@duplication_or_similarity = @duplication | @similarity

tokens(
  int id : @duplication_or_similarity ref,
  int offset : int ref,
  int beginLine : int ref,
  int beginColumn : int ref,
  int endLine : int ref,
  int endColumn : int ref);

/*
 * Line metrics
 */
py_codelines(int id : @py_scope ref,
             int count : int ref);

py_commentlines(int id : @py_scope ref,
                int count : int ref);

py_docstringlines(int id : @py_scope ref,
                int count : int ref);

py_alllines(int id : @py_scope ref,
                int count : int ref);

/*
 * Version history
 */

svnentries(
  int id : @svnentry,
  varchar(500) revision : string ref,
  varchar(500) author : string ref,
  date revisionDate : date ref,
  int changeSize : int ref
)

svnaffectedfiles(
  int id : @svnentry ref,
  int file : @file ref,
  varchar(500) action : string ref
)

svnentrymsg(
  int id : @svnentry ref,
  varchar(500) message : string ref
)

svnchurn(
  int commit : @svnentry ref,
  int file : @file ref,
  int churnedLines : int ref
)

/****************************
        Python dbscheme
****************************/

/*
  fromSource(0) = unknown,
  fromSource(1) = from source,
  fromSource(2) = from library
*/
files(unique int id: @file,
      varchar(900) name: string ref,
      varchar(900) simple: string ref,
      varchar(900) ext: string ref,
      int fromSource: int ref);

folders(unique int id: @folder,
        varchar(900) name: string ref,
        varchar(900) simple: string ref);

@container = @folder | @file;

containerparent(int parent: @container ref,
                unique int child: @container ref);

@sourceline = @file | @py_Module;
 
numlines(int element_id: @sourceline ref,
         int num_lines: int ref,
         int num_code: int ref,
         int num_comment: int ref
        );
        
@location = @location_ast | @location_default ;

locations_default(unique int id: @location_default,
          int file: @file ref,
          int beginLine: int ref,
          int beginColumn: int ref,
          int endLine: int ref,
          int endColumn: int ref);

locations_ast(unique int id: @location_ast,
          int module: @py_Module ref,
          int beginLine: int ref,
          int beginColumn: int ref,
          int endLine: int ref,
          int endColumn: int ref);
          
py_module_path(int module: @py_Module ref, int file: @file ref);
         
variable(unique int id : @py_variable,
         int scope : @py_scope ref,
         varchar(1) name : string ref);

py_line_lengths(unique int id : @py_line,
                int file: @py_Module ref,
                int line : int ref,
                int length : int ref);

/* AUTO GENERATED PART STARTS HERE */


/* <Field> Assert.location = 0, location */
/* <Field> Assert.test = 1, expr */
/* <Field> Assert.msg = 2, expr */

/* <Field> Assign.location = 0, location */
/* <Field> Assign.value = 1, expr */
/* <Field> Assign.targets = 2, expr_list */

/* <Field> Attribute.location = 0, location */
/* <Field> Attribute.value = 1, expr */
/* <Field> Attribute.attr = 2, str */
/* <Field> Attribute.ctx = 3, expr_context */

/* <Field> AugAssign.location = 0, location */
/* <Field> AugAssign.operation = 1, BinOp */

/* <Field> BinaryExpr.location = 0, location */
/* <Field> BinaryExpr.left = 1, expr */
/* <Field> BinaryExpr.op = 2, operator */
/* <Field> BinaryExpr.right = 3, expr */
/* <Parent> BinaryExpr = AugAssign  */

/* <Field> BoolExpr.location = 0, location */
/* <Field> BoolExpr.op = 1, boolop */
/* <Field> BoolExpr.values = 2, expr_list */

/* <Field> Break.location = 0, location */

/* <Field> Bytes.location = 0, location */
/* <Field> Bytes.s = 1, bytes */

/* <Field> Call.location = 0, location */
/* <Field> Call.func = 1, expr */
/* <Field> Call.args = 2, expr_list */
/* <Field> Call.keywords = 3, keyword_list */
/* <Field> Call.starargs = 4, expr */
/* <Field> Call.kwargs = 5, expr */

/* <Field> Class.name = 0, str */
/* <Field> Class.body = 1, stmt_list */
/* <Parent> Class = ClassExpr  */

/* <Field> ClassExpr.location = 0, location */
/* <Field> ClassExpr.name = 1, str */
/* <Field> ClassExpr.bases = 2, expr_list */
/* <Field> ClassExpr.keywords = 3, keyword_list */
/* <Field> ClassExpr.starargs = 4, expr */
/* <Field> ClassExpr.kwargs = 5, expr */
/* <Field> ClassExpr.inner_scope = 6, Class */

/* <Field> Compare.location = 0, location */
/* <Field> Compare.left = 1, expr */
/* <Field> Compare.ops = 2, cmpop_list */
/* <Field> Compare.comparators = 3, expr_list */

/* <Field> Continue.location = 0, location */

/* <Field> Delete.location = 0, location */
/* <Field> Delete.targets = 1, expr_list */

/* <Field> Dict.location = 0, location */
/* <Field> Dict.keys = 1, expr_list */
/* <Field> Dict.values = 2, expr_list */

/* <Field> DictComp.location = 0, location */
/* <Field> DictComp.function = 1, Function */
/* <Field> DictComp.iterable = 2, expr */

/* <Field> Ellipsis.location = 0, location */

/* <Field> ExceptStmt.location = 0, location */
/* <Field> ExceptStmt.type = 1, expr */
/* <Field> ExceptStmt.name = 2, expr */
/* <Field> ExceptStmt.body = 3, stmt_list */

/* <Field> Exec.location = 0, location */
/* <Field> Exec.body = 1, expr */
/* <Field> Exec.globals = 2, expr */
/* <Field> Exec.locals = 3, expr */

/* <Field> ExprStmt.location = 0, location */
/* <Field> ExprStmt.value = 1, expr */

/* <Field> For.location = 0, location */
/* <Field> For.target = 1, expr */
/* <Field> For.iter = 2, expr */
/* <Field> For.body = 3, stmt_list */
/* <Field> For.orelse = 4, stmt_list */

/* <Field> Function.name = 0, str */
/* <Field> Function.args = 1, parameter_list */
/* <Field> Function.vararg = 2, expr */
/* <Field> Function.kwonlyargs = 3, str_list */
/* <Field> Function.kwarg = 4, expr */
/* <Field> Function.body = 5, stmt_list */
/* <Parent> Function = FunctionParent  */

/* <Field> FunctionExpr.location = 0, location */
/* <Field> FunctionExpr.name = 1, str */
/* <Field> FunctionExpr.args = 2, arguments */
/* <Field> FunctionExpr.returns = 3, expr */
/* <Field> FunctionExpr.inner_scope = 4, Function */

/* <Field> GeneratorExp.location = 0, location */
/* <Field> GeneratorExp.function = 1, Function */
/* <Field> GeneratorExp.iterable = 2, expr */

/* <Field> Global.location = 0, location */
/* <Field> Global.names = 1, str_list */

/* <Field> If.location = 0, location */
/* <Field> If.test = 1, expr */
/* <Field> If.body = 2, stmt_list */
/* <Field> If.orelse = 3, stmt_list */

/* <Field> IfExp.location = 0, location */
/* <Field> IfExp.test = 1, expr */
/* <Field> IfExp.body = 2, expr */
/* <Field> IfExp.orelse = 3, expr */

/* <Field> Import.location = 0, location */
/* <Field> Import.names = 1, alias_list */

/* <Field> ImportExpr.location = 0, location */
/* <Field> ImportExpr.level = 1, int */
/* <Field> ImportExpr.name = 2, str */
/* <Field> ImportExpr.top = 3, bool */

/* <Field> ImportStar.location = 0, location */
/* <Field> ImportStar.module = 1, expr */

/* <Field> ImportMember.location = 0, location */
/* <Field> ImportMember.module = 1, expr */
/* <Field> ImportMember.name = 2, str */

/* <Field> Lambda.location = 0, location */
/* <Field> Lambda.args = 1, arguments */
/* <Field> Lambda.inner_scope = 2, Function */

/* <Field> List.location = 0, location */
/* <Field> List.elts = 1, expr_list */
/* <Field> List.ctx = 2, expr_context */

/* <Field> ListComp.location = 0, location */
/* <Field> ListComp.function = 1, Function */
/* <Field> ListComp.iterable = 2, expr */
/* <Field> ListComp.generators = 3, comprehension_list */
/* <Field> ListComp.elt = 4, expr */

/* <Field> Module.name = 0, str */
/* <Field> Module.hash = 1, str */
/* <Field> Module.body = 2, stmt_list */
/* <Field> Module.kind = 3, str */

/* <Field> Name.location = 0, location */
/* <Field> Name.variable = 1, variable */
/* <Field> Name.ctx = 2, expr_context */
/* <Parent> Name = ParameterList  */

/* <Field> Nonlocal.location = 0, location */
/* <Field> Nonlocal.names = 1, str_list */

/* <Field> Num.location = 0, location */
/* <Field> Num.n = 1, number */
/* <Field> Num.text = 2, number */

/* <Field> Pass.location = 0, location */

/* <Field> Print.location = 0, location */
/* <Field> Print.dest = 1, expr */
/* <Field> Print.values = 2, expr_list */
/* <Field> Print.nl = 3, bool */

/* <Field> Raise.location = 0, location */
/* <Field> Raise.exc = 1, expr */
/* <Field> Raise.cause = 2, expr */
/* <Field> Raise.type = 3, expr */
/* <Field> Raise.inst = 4, expr */
/* <Field> Raise.tback = 5, expr */

/* <Field> Repr.location = 0, location */
/* <Field> Repr.value = 1, expr */

/* <Field> Return.location = 0, location */
/* <Field> Return.value = 1, expr */

/* <Field> Set.location = 0, location */
/* <Field> Set.elts = 1, expr_list */

/* <Field> SetComp.location = 0, location */
/* <Field> SetComp.function = 1, Function */
/* <Field> SetComp.iterable = 2, expr */

/* <Field> Slice.location = 0, location */
/* <Field> Slice.start = 1, expr */
/* <Field> Slice.stop = 2, expr */
/* <Field> Slice.step = 3, expr */

/* <Field> Starred.location = 0, location */
/* <Field> Starred.value = 1, expr */
/* <Field> Starred.ctx = 2, expr_context */

/* <Field> Str.location = 0, location */
/* <Field> Str.s = 1, str */

/* <Field> Subscript.location = 0, location */
/* <Field> Subscript.value = 1, expr */
/* <Field> Subscript.index = 2, expr */
/* <Field> Subscript.ctx = 3, expr_context */

/* <Field> Try.location = 0, location */
/* <Field> Try.body = 1, stmt_list */
/* <Field> Try.orelse = 2, stmt_list */
/* <Field> Try.handlers = 3, stmt_list */
/* <Field> Try.finalbody = 4, stmt_list */

/* <Field> Tuple.location = 0, location */
/* <Field> Tuple.elts = 1, expr_list */
/* <Field> Tuple.ctx = 2, expr_context */
/* <Parent> Tuple = ParameterList  */

/* <Field> UnaryExpr.location = 0, location */
/* <Field> UnaryExpr.op = 1, unaryop */
/* <Field> UnaryExpr.operand = 2, expr */

/* <Field> While.location = 0, location */
/* <Field> While.test = 1, expr */
/* <Field> While.body = 2, stmt_list */
/* <Field> While.orelse = 3, stmt_list */

/* <Field> With.location = 0, location */
/* <Field> With.context_expr = 1, expr */
/* <Field> With.optional_vars = 2, expr */
/* <Field> With.body = 3, stmt_list */

/* <Field> Yield.location = 0, location */
/* <Field> Yield.value = 1, expr */

/* <Field> YieldFrom.location = 0, location */
/* <Field> YieldFrom.value = 1, expr */

/* <Field> Alias.value = 0, expr */
/* <Field> Alias.asname = 1, expr */
/* <Parent> Alias = AliasList  */
/* <Parent> AliasList = Import  */

/* <Field> Arguments.kw_defaults = 0, expr_list */
/* <Field> Arguments.defaults = 1, expr_list */
/* <Field> Arguments.annotations = 2, expr_list */
/* <Field> Arguments.varargannotation = 3, expr */
/* <Field> Arguments.kwargannotation = 4, expr */
/* <Parent> Arguments = ArgumentsParent  */
/* <Parent> boolean = BoolParent  */
/* <Parent> Boolop = BoolExpr  */
/* <Parent> string = Bytes  */
/* <Parent> Cmpop = CmpopList  */
/* <Parent> CmpopList = Compare  */

/* <Field> Comprehension.iter = 0, expr */
/* <Field> Comprehension.target = 1, expr */
/* <Field> Comprehension.ifs = 2, expr_list */
/* <Parent> Comprehension = ComprehensionList  */
/* <Parent> ComprehensionList = ListComp  */

/* <Field> Expr.location = 0, location */
/* <Parent> Expr = ExprParent  */
/* <Parent> ExprContext = ExprContextParent  */
/* <Parent> ExprList = ExprListParent  */
/* <Parent> int = ImportExpr  */

/* <Field> Keyword.arg = 0, str */
/* <Field> Keyword.value = 1, expr */
/* <Parent> Keyword = KeywordList  */
/* <Parent> KeywordList = KeywordListParent  */
/* <Parent> Location = ExprOrStmt  */
/* <Parent> string = Num  */
/* <Parent> Operator = BinaryExpr  */
/* <Parent> ParameterList = Function  */

/* <Field> Stmt.location = 0, location */
/* <Parent> Stmt = StmtList  */
/* <Parent> StmtList = StmtListParent  */
/* <Parent> string = StrParent  */
/* <Parent> StringList = StrListParent  */
/* <Parent> Unaryop = UnaryExpr  */
/* <Parent> Variable = Name  */
py_Classes(unique int id : @py_Class,
    unique int parent : @py_ClassExpr ref);

py_Functions(unique int id : @py_Function,
    int parent : @py_Function_parent ref,
    int idx : int ref);

py_Modules(unique int id : @py_Module);

py_aliases(unique int id : @py_alias,
    int parent : @py_alias_list ref,
    int idx : int ref);

py_alias_lists(unique int id : @py_alias_list,
    unique int parent : @py_Import ref);

py_arguments(unique int id : @py_arguments,
    int parent : @py_arguments_parent ref,
    int idx : int ref);

py_bools(boolean id : boolean ref,
    unique int parent : @py_bool_parent ref);

py_boolops(unique int id : @py_boolop,
    int kind: int ref,
    unique int parent : @py_BoolExpr ref);

py_bytes(varchar(1) id : string ref,
    unique int parent : @py_Bytes ref);

py_cmpops(unique int id : @py_cmpop,
    int kind: int ref,
    int parent : @py_cmpop_list ref,
    int idx : int ref);

py_cmpop_lists(unique int id : @py_cmpop_list,
    unique int parent : @py_Compare ref);

py_comprehensions(unique int id : @py_comprehension,
    int parent : @py_comprehension_list ref,
    int idx : int ref);

py_comprehension_lists(unique int id : @py_comprehension_list,
    unique int parent : @py_ListComp ref);

py_exprs(unique int id : @py_expr,
    int kind: int ref,
    int parent : @py_expr_parent ref,
    int idx : int ref);

py_expr_contexts(unique int id : @py_expr_context,
    int kind: int ref,
    int parent : @py_expr_context_parent ref,
    int idx : int ref);

py_expr_lists(unique int id : @py_expr_list,
    int parent : @py_expr_list_parent ref,
    int idx : int ref);

py_ints(int id : int ref,
    unique int parent : @py_ImportExpr ref);

py_keywords(unique int id : @py_keyword,
    int parent : @py_keyword_list ref,
    int idx : int ref);

py_keyword_lists(unique int id : @py_keyword_list,
    unique int parent : @py_keyword_list_parent ref);

py_locations(unique int id : @location ref,
    unique int parent : @py_expr_or_stmt ref);

py_numbers(varchar(1) id : string ref,
    int parent : @py_Num ref,
    int idx : int ref);

py_operators(unique int id : @py_operator,
    int kind: int ref,
    unique int parent : @py_BinaryExpr ref);

py_parameter_lists(unique int id : @py_parameter_list,
    unique int parent : @py_Function ref);

py_stmts(unique int id : @py_stmt,
    int kind: int ref,
    int parent : @py_stmt_list ref,
    int idx : int ref);

py_stmt_lists(unique int id : @py_stmt_list,
    int parent : @py_stmt_list_parent ref,
    int idx : int ref);

py_strs(varchar(1) id : string ref,
    int parent : @py_str_parent ref,
    int idx : int ref);

py_str_lists(unique int id : @py_str_list,
    int parent : @py_str_list_parent ref,
    int idx : int ref);

py_unaryops(unique int id : @py_unaryop,
    int kind: int ref,
    unique int parent : @py_UnaryExpr ref);

py_variables(int id : @py_variable ref,
    unique int parent : @py_Name ref);

@py_Function_parent = @py_DictComp | @py_FunctionExpr | @py_GeneratorExp | @py_Lambda | @py_ListComp | @py_SetComp;

@py_arguments_parent = @py_FunctionExpr | @py_Lambda;

@py_ast_node = @py_Class | @py_Function | @py_Module | @py_expr | @py_stmt;

@py_bool_parent = @py_ImportExpr | @py_Print;

case @py_boolop.kind of
    0 = @py_And
|   1 = @py_Or;

case @py_cmpop.kind of
    0 = @py_Eq
|   1 = @py_Gt
|   2 = @py_GtE
|   3 = @py_In
|   4 = @py_Is
|   5 = @py_IsNot
|   6 = @py_Lt
|   7 = @py_LtE
|   8 = @py_NotEq
|   9 = @py_NotIn;

case @py_expr.kind of
    0 = @py_Attribute
|   1 = @py_BinaryExpr
|   2 = @py_BoolExpr
|   3 = @py_Bytes
|   4 = @py_Call
|   5 = @py_ClassExpr
|   6 = @py_Compare
|   7 = @py_Dict
|   8 = @py_DictComp
|   9 = @py_Ellipsis
|   10 = @py_FunctionExpr
|   11 = @py_GeneratorExp
|   12 = @py_IfExp
|   13 = @py_ImportExpr
|   14 = @py_ImportMember
|   15 = @py_Lambda
|   16 = @py_List
|   17 = @py_ListComp
|   18 = @py_Name
|   19 = @py_Num
|   20 = @py_Repr
|   21 = @py_Set
|   22 = @py_SetComp
|   23 = @py_Slice
|   24 = @py_Starred
|   25 = @py_Str
|   26 = @py_Subscript
|   27 = @py_Tuple
|   28 = @py_UnaryExpr
|   29 = @py_Yield
|   30 = @py_YieldFrom;

case @py_expr_context.kind of
    0 = @py_AugLoad
|   1 = @py_AugStore
|   2 = @py_Del
|   3 = @py_Load
|   4 = @py_Param
|   5 = @py_Store;

@py_expr_context_parent = @py_Attribute | @py_List | @py_Name | @py_Starred | @py_Subscript | @py_Tuple;

@py_expr_list_parent = @py_Assign | @py_BoolExpr | @py_Call | @py_ClassExpr | @py_Compare | @py_Delete | @py_Dict | @py_List | @py_Print | @py_Set | @py_Tuple | @py_arguments | @py_comprehension;

@py_expr_or_stmt = @py_expr | @py_stmt;

@py_expr_parent = @py_Assert | @py_Assign | @py_Attribute | @py_AugAssign | @py_BinaryExpr | @py_Call | @py_ClassExpr | @py_Compare | @py_DictComp | @py_ExceptStmt | @py_Exec | @py_Expr_stmt | @py_For | @py_Function | @py_FunctionExpr | @py_GeneratorExp | @py_If | @py_IfExp | @py_ImportMember | @py_ImportStar | @py_ListComp | @py_Print | @py_Raise | @py_Repr | @py_Return | @py_SetComp | @py_Slice | @py_Starred | @py_Subscript | @py_UnaryExpr | @py_While | @py_With | @py_Yield | @py_YieldFrom | @py_alias | @py_arguments | @py_comprehension | @py_expr_list | @py_keyword | @py_parameter_list;

@py_keyword_list_parent = @py_Call | @py_ClassExpr;

case @py_operator.kind of
    0 = @py_Add
|   1 = @py_BitAnd
|   2 = @py_BitOr
|   3 = @py_BitXor
|   4 = @py_Div
|   5 = @py_FloorDiv
|   6 = @py_LShift
|   7 = @py_Mod
|   8 = @py_Mult
|   9 = @py_Pow
|   10 = @py_RShift
|   11 = @py_Sub;

@py_parameter = @py_Name | @py_Tuple;

@py_scope = @py_Class | @py_Function | @py_Module;

case @py_stmt.kind of
    0 = @py_Assert
|   1 = @py_Assign
|   2 = @py_AugAssign
|   3 = @py_Break
|   4 = @py_Continue
|   5 = @py_Delete
|   6 = @py_ExceptStmt
|   7 = @py_Exec
|   8 = @py_Expr_stmt
|   9 = @py_For
|   10 = @py_Global
|   11 = @py_If
|   12 = @py_Import
|   13 = @py_ImportStar
|   14 = @py_Nonlocal
|   15 = @py_Pass
|   16 = @py_Print
|   17 = @py_Raise
|   18 = @py_Return
|   19 = @py_Try
|   20 = @py_While
|   21 = @py_With;

@py_stmt_list_parent = @py_Class | @py_ExceptStmt | @py_For | @py_Function | @py_If | @py_Module | @py_Try | @py_While | @py_With;

@py_str_list_parent = @py_Function | @py_Global | @py_Nonlocal;

@py_str_parent = @py_Attribute | @py_Class | @py_ClassExpr | @py_Function | @py_FunctionExpr | @py_ImportExpr | @py_ImportMember | @py_Module | @py_Str | @py_keyword | @py_str_list;

case @py_unaryop.kind of
    0 = @py_Invert
|   1 = @py_Not
|   2 = @py_UAdd
|   3 = @py_USub;


/*
 * End of auto-generated part
 */



/* Map relative names to absolute names for imports */
py_absolute_names(int module : @py_Module ref,
                  varchar(1) relname : string ref,
                  varchar(1) absname : string ref);

py_exports(int id : @py_Module ref,
           varchar(1) name : string ref);

/* Successor information */
py_successors(int predecessor : @py_flow_node ref,
              int successor : @py_flow_node ref);

py_true_successors(int predecessor : @py_flow_node ref,
              int successor : @py_flow_node ref);

py_exception_successors(int predecessor : @py_flow_node ref,
              int successor : @py_flow_node ref);

py_false_successors(int predecessor : @py_flow_node ref,
              int successor : @py_flow_node ref);

py_flow_bb_node(unique int flownode : @py_flow_node,
             int realnode : @py_ast_node ref,
             int basicblock : @py_flow_node ref,
             int index : int ref);
                        
py_scope_flow(int flow : @py_flow_node ref,
              int scope : @py_scope ref,
              int kind : int ref);

py_idoms(unique int node : @py_flow_node ref,
         int immediate_dominator : @py_flow_node ref);

py_ssa_phi(int phi : @py_ssa_var ref,
           int arg: @py_ssa_var ref);

py_ssa_var(unique int id : @py_ssa_var,
            int var : @py_variable ref);

py_ssa_use(int node: @py_flow_node ref,
           int var : @py_ssa_var ref);

py_ssa_defn(unique int id : @py_ssa_var ref,
                  int node: @py_flow_node ref);

@py_base_var = @py_variable | @py_ssa_var;

py_scopes(unique int node : @py_expr_or_stmt ref,
         int scope : @py_scope ref);

py_scope_location(unique int id : @location ref,
                   unique int scope : @py_scope ref);

py_flags(unique varchar(1) name : string ref,
         varchar(1) value : string ref);

py_syntax_error(unique int id : @location ref,
                varchar(1) message : string ref);

py_comments(unique int id : @py_comment,
           varchar(1) text : string ref,
           unique int location : @location ref);

/* Type information support */

py_cobjects(unique int obj : @py_cobject,
            int typeof : @py_cobject ref);

py_cmembers(int object : @py_cobject ref,
            varchar(1) name : string ref,
            int member : @py_cobject ref);

py_citems(int object : @py_cobject ref,
            int index : int ref,
            int member : @py_cobject ref);

py_cobjectnames(unique int obj : @py_cobject ref,
                varchar(1) name : string ref);

py_special_objects(unique int obj : @py_cobject ref,
                  unique varchar(1) name : string ref);

py_decorated_object(int object : @py_object ref,
                    int level: int ref);

@py_object = @py_cobject | @py_flow_node;

@py_source_element = @py_ast_node | @container;

/* XML Files */ 

xmlEncoding  (unique int id: @file ref, varchar(900) encoding: string ref);

xmlDTDs       (unique int id: @xmldtd, 
              varchar(900) root: string ref, 
              varchar(900) publicId: string ref, 
              varchar(900) systemId: string ref,
              int fileid: @file ref); 
             
xmlElements   (unique int id: @xmlelement, 
              varchar(900) name: string ref, 
              int parentid: @xmlparent ref,
              int idx: int ref,
              int fileid: @file ref);            

xmlAttrs      (unique int id: @xmlattribute, 
              int elementid: @xmlelement ref,
              varchar(900) name: string ref, 
              varchar(3600) value: string ref,
              int idx: int ref,
              int fileid: @file ref);  
               
xmlNs         (int id: @xmlnamespace, 
              varchar(900) prefixName: string ref, 
              varchar(900) URI: string ref,
              int fileid: @file ref);  
               
xmlHasNs      (int elementId: @xmlnamespaceable ref, 
              int nsId: @xmlnamespace ref,
              int fileid: @file ref);  

xmlComments   (unique int id: @xmlcomment, 
              varchar(3600) text: string ref, 
              int parentid: @xmlparent ref,
              int fileid: @file ref); 
               
xmlChars      (unique int id: @xmlcharacters, 
              varchar(3600) 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);

@xmllocatable = @xmlcharacters | @xmlelement | @xmlcomment | @xmlattribute | @xmldtd | @file | @xmlnamespace;