mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Upgrade scripts testing: set initial dbschemes
This commit sets initial dbschemes for cpp, csharp, java, javascript, and python so that automated testing for upgrade scripts would also cover legacy upgrades.
This commit is contained in:
Chuan-kai Lin
6
.gitattributes
vendored
6
.gitattributes
vendored
@@ -52,6 +52,12 @@
|
||||
java/ql/test/stubs/**/*.java linguist-generated=true
|
||||
java/ql/test/experimental/stubs/**/*.java linguist-generated=true
|
||||
|
||||
# For some languages, upgrade script testing references really old dbscheme
|
||||
# files from legacy upgrades that have CRLF line endings. Since upgrade
|
||||
# resolution relies on object hashes, we must suppress line ending conversion
|
||||
# for those testing dbscheme files.
|
||||
*/ql/lib/upgrades/initial/*.dbscheme -text
|
||||
|
||||
# Generated test files - these are synced from the standard JavaScript libraries using
|
||||
# `javascript/ql/experimental/adaptivethreatmodeling/test/update_endpoint_test_files.py`.
|
||||
javascript/ql/experimental/adaptivethreatmodeling/test/endpoint_large_scale/autogenerated/**/*.js linguist-generated=true -merge
|
||||
|
||||
1111
cpp/ql/lib/upgrades/initial/semmlecode.cpp.dbscheme
Normal file
1111
cpp/ql/lib/upgrades/initial/semmlecode.cpp.dbscheme
Normal file
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
648
java/ql/lib/upgrades/initial/semmlecode.dbscheme
Normal file
648
java/ql/lib/upgrades/initial/semmlecode.dbscheme
Normal file
@@ -0,0 +1,648 @@
|
||||
/*
|
||||
* 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) path : string ref,
|
||||
int column: int ref,
|
||||
varchar(900) value : 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);
|
||||
|
||||
/*
|
||||
* 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
|
||||
)
|
||||
|
||||
/*
|
||||
* Java dbscheme
|
||||
*/
|
||||
|
||||
@location = @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
|
||||
);
|
||||
|
||||
hasLocation(int locatableid: @locatable ref, int id: @location ref);
|
||||
|
||||
@sourceline = @locatable ;
|
||||
|
||||
numlines(int element_id: @sourceline ref,
|
||||
int num_lines: int ref,
|
||||
int num_code: int ref,
|
||||
int num_comment: int ref
|
||||
);
|
||||
|
||||
/*
|
||||
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);
|
||||
|
||||
cupackage (unique int id: @file ref, int packageid: @package ref);
|
||||
|
||||
/* Java */
|
||||
|
||||
packages (unique int id: @package,
|
||||
varchar(900) nodeName: string ref);
|
||||
|
||||
primitives (unique int id: @primitive,
|
||||
varchar(20) nodeName: string ref);
|
||||
|
||||
modifiers (unique int id: @modifier,
|
||||
varchar(20) nodeName: string ref);
|
||||
|
||||
classes (unique int id: @class,
|
||||
varchar(900) nodeName: string ref,
|
||||
int parentid: @package ref,
|
||||
int sourceid: @class ref);
|
||||
|
||||
interfaces (unique int id: @interface,
|
||||
varchar(900) nodeName: string ref,
|
||||
int parentid: @package ref,
|
||||
int sourceid: @interface ref);
|
||||
|
||||
fielddecls (unique int id: @fielddecl,
|
||||
int parentid: @reftype ref);
|
||||
|
||||
fieldDeclaredIn (int fieldId: @field ref,
|
||||
int fieldDeclId: @fielddecl ref,
|
||||
int pos: int ref);
|
||||
|
||||
fields (unique int id: @field,
|
||||
varchar(900) nodeName: string ref,
|
||||
int typeid: @type ref,
|
||||
int parentid: @reftype ref,
|
||||
int sourceid: @field ref);
|
||||
|
||||
constrs (unique int id: @constructor,
|
||||
varchar(900) nodeName: string ref,
|
||||
varchar(900) signature: string ref,
|
||||
int typeid: @type ref,
|
||||
int parentid: @reftype ref,
|
||||
int sourceid: @constructor ref);
|
||||
|
||||
methods (unique int id: @method,
|
||||
varchar(900) nodeName: string ref,
|
||||
varchar(900) signature: string ref,
|
||||
int typeid: @type ref,
|
||||
int parentid: @reftype ref,
|
||||
int sourceid: @method ref);
|
||||
|
||||
params (int id: @param,
|
||||
varchar(900) nodeName: string ref,
|
||||
int typeid: @type ref,
|
||||
int pos: int ref,
|
||||
int parentid: @callable ref,
|
||||
int sourceid: @param ref);
|
||||
|
||||
exceptions (unique int id: @exception,
|
||||
int typeid: @type ref,
|
||||
int parentid: @callable ref);
|
||||
|
||||
isAnnotType (int interfaceid: @interface ref);
|
||||
|
||||
isAnnotElem (int methodid: @method ref);
|
||||
|
||||
// annotValue(annot, id2, value) holds iff
|
||||
// annot is an application of an annotation @A(v1=n1,...,vk=nk)]
|
||||
// && id2=vi, value=ni for some i
|
||||
annotValue (int parentid: @annotation ref,
|
||||
int id2: @method ref,
|
||||
unique int value: @expr ref); // unique because source/bytecode expressions are disjoint
|
||||
|
||||
isEnumType (int classid: @class ref);
|
||||
|
||||
isEnumConst (int fieldid: @field ref);
|
||||
|
||||
typeVars (unique int id: @typevariable,
|
||||
varchar(900) nodeName: string ref,
|
||||
int pos: int ref,
|
||||
int kind: int ref, // unused, but kept for backwards compatibility
|
||||
int parentid: @typeormethod ref);
|
||||
|
||||
wildcards (unique int id: @wildcard,
|
||||
varchar(900) nodeName: string ref,
|
||||
int kind: int ref);
|
||||
|
||||
typeBounds (unique int id: @typebound,
|
||||
int typeid: @reftype ref, // reftype because there are no primitive bounds
|
||||
int pos: int ref,
|
||||
int parentid: @boundedtype ref);
|
||||
|
||||
typeArgs (int argumentid: @reftype ref,
|
||||
int pos: int ref,
|
||||
int parentid: @typeormethod ref);
|
||||
|
||||
isParameterized(int memberid: @member ref);
|
||||
|
||||
isRaw (int memberid: @member ref);
|
||||
|
||||
erasure (unique int memberid: @member ref,
|
||||
int erasureid: @member ref);
|
||||
|
||||
isAnonymClass (int classid: @class ref,
|
||||
int parent: @classinstancexpr ref);
|
||||
|
||||
isLocalClass (int classid: @class ref,
|
||||
int parent: @localclassdeclstmt ref);
|
||||
|
||||
isDefConstr (int constructorid: @constructor ref);
|
||||
|
||||
arrays (unique int id: @array,
|
||||
varchar(900) nodeName: string ref,
|
||||
int elementtypeid: @type ref,
|
||||
int dimension: int ref,
|
||||
int componenttypeid: @type ref);
|
||||
|
||||
enclInReftype (unique int child: @reftype ref,
|
||||
int parent: @reftype ref);
|
||||
|
||||
// id1 extends id2
|
||||
extendsReftype (int id1: @reftype ref,
|
||||
int id2: @classorinterface ref);
|
||||
|
||||
implInterface (int id1: @classorarray ref,
|
||||
int id2: @interface ref);
|
||||
|
||||
hasModifier (int id1: @modifiable ref,
|
||||
int id2: @modifier ref);
|
||||
|
||||
readsField (unique int id: @readsFieldExpr,
|
||||
int id1: @callable ref,
|
||||
int id2: @field ref);
|
||||
|
||||
writesField (unique int id: @writesFieldExpr,
|
||||
int id1: @callable ref,
|
||||
int id2: @field ref);
|
||||
|
||||
callsMethod (unique int id: @makesMethodCallExpr,
|
||||
int id1: @callable ref,
|
||||
int id2: @method ref,
|
||||
int kind: int ref);
|
||||
|
||||
callsConstr (unique int id: @makesConstructorCallExpr,
|
||||
int id1: @callable ref,
|
||||
int id2: @constructor ref,
|
||||
int kind: int ref);
|
||||
|
||||
imports (unique int id: @import,
|
||||
int holder: @typeorpackage ref,
|
||||
varchar(900) name: string ref,
|
||||
int kind: int ref);
|
||||
|
||||
stmts (unique int id: @stmt,
|
||||
int kind: int ref,
|
||||
int parent: @stmtparent ref,
|
||||
int idx: int ref,
|
||||
int bodydecl: @callable ref);
|
||||
|
||||
@stmtparent = @callable | @stmt;
|
||||
|
||||
succs(int fromSuccessor: @stmt ref,
|
||||
int toSuccessor: @stmtparent ref);
|
||||
|
||||
case @stmt.kind of
|
||||
0 = @block
|
||||
| 1 = @ifstmt
|
||||
| 2 = @forstmt
|
||||
| 3 = @enhancedforstmt
|
||||
| 4 = @whilestmt
|
||||
| 5 = @dostmt
|
||||
| 6 = @trystmt
|
||||
| 7 = @switchstmt
|
||||
| 8 = @synchronizedstmt
|
||||
| 9 = @returnstmt
|
||||
| 10 = @throwstmt
|
||||
| 11 = @breakstmt
|
||||
| 12 = @continuestmt
|
||||
| 13 = @emptystmt
|
||||
| 14 = @exprstmt
|
||||
| 15 = @labeledstmt
|
||||
| 16 = @assertstmt
|
||||
| 17 = @localvariabledeclstmt
|
||||
| 18 = @localclassdeclstmt
|
||||
| 19 = @constructorinvocationstmt
|
||||
| 20 = @superconstructorinvocationstmt
|
||||
| 21 = @case
|
||||
| 22 = @catchclause;
|
||||
|
||||
exprs(
|
||||
unique int id: @expr,
|
||||
int kind: int ref,
|
||||
int typeid: @type ref,
|
||||
int parent: @element ref, // to deal with annotations inside annotations
|
||||
int idx: int ref
|
||||
);
|
||||
|
||||
callableEnclosingExpr(
|
||||
unique int id: @expr ref,
|
||||
int callable_id: @callable ref
|
||||
);
|
||||
|
||||
statementEnclosingExpr(
|
||||
unique int id: @expr ref,
|
||||
int statement_id: @stmt ref
|
||||
);
|
||||
|
||||
case @expr.kind of
|
||||
1 = @arrayaccess
|
||||
| 2 = @arraycreationexpr
|
||||
| 3 = @arrayinit
|
||||
| 4 = @assignexpr
|
||||
| 5 = @assignaddexpr
|
||||
| 6 = @assignsubexpr
|
||||
| 7 = @assignmulexpr
|
||||
| 8 = @assigndivexpr
|
||||
| 9 = @assignremexpr
|
||||
| 10 = @assignandexpr
|
||||
| 11 = @assignorexpr
|
||||
| 12 = @assignxorexpr
|
||||
| 13 = @assignlshiftexpr
|
||||
| 14 = @assignrshiftexpr
|
||||
| 15 = @assignurshiftexpr
|
||||
| 16 = @booleanliteral
|
||||
| 17 = @integerliteral
|
||||
| 18 = @longliteral
|
||||
| 19 = @floatingpointliteral
|
||||
| 20 = @doubleliteral
|
||||
| 21 = @characterliteral
|
||||
| 22 = @stringliteral
|
||||
| 23 = @nullliteral
|
||||
| 24 = @mulexpr
|
||||
| 25 = @divexpr
|
||||
| 26 = @remexpr
|
||||
| 27 = @addexpr
|
||||
| 28 = @subexpr
|
||||
| 29 = @lshiftexpr
|
||||
| 30 = @rshiftexpr
|
||||
| 31 = @urshiftexpr
|
||||
| 32 = @andbitexpr
|
||||
| 33 = @orbitexpr
|
||||
| 34 = @xorbitexpr
|
||||
| 35 = @andlogicalexpr
|
||||
| 36 = @orlogicalexpr
|
||||
| 37 = @ltexpr
|
||||
| 38 = @gtexpr
|
||||
| 39 = @leexpr
|
||||
| 40 = @geexpr
|
||||
| 41 = @eqexpr
|
||||
| 42 = @neexpr
|
||||
| 43 = @postincexpr
|
||||
| 44 = @postdecexpr
|
||||
| 45 = @preincexpr
|
||||
| 46 = @predecexpr
|
||||
| 47 = @minusexpr
|
||||
| 48 = @plusexpr
|
||||
| 49 = @bitnotexpr
|
||||
| 50 = @lognotexpr
|
||||
| 51 = @castexpr
|
||||
| 52 = @classinstancexpr
|
||||
| 53 = @conditionalexpr
|
||||
| 54 = @parexpr
|
||||
| 55 = @instanceofexpr
|
||||
| 56 = @localvariabledeclexpr
|
||||
| 57 = @typeliteral
|
||||
| 58 = @thisaccess
|
||||
| 59 = @superaccess
|
||||
| 60 = @varaccess
|
||||
| 61 = @methodaccess
|
||||
| 62 = @typeaccess
|
||||
| 63 = @arraytypeaccess
|
||||
| 64 = @packageaccess
|
||||
| 65 = @wildcardtypeaccess
|
||||
| 66 = @annotation
|
||||
| 67 = @uniontypeaccess;
|
||||
|
||||
|
||||
@assignment = @assignexpr
|
||||
| @assignop;
|
||||
|
||||
@unaryassignment = @postincexpr
|
||||
| @postdecexpr
|
||||
| @preincexpr
|
||||
| @predecexpr;
|
||||
|
||||
@assignop = @assignaddexpr
|
||||
| @assignsubexpr
|
||||
| @assignmulexpr
|
||||
| @assigndivexpr
|
||||
| @assignremexpr
|
||||
| @assignandexpr
|
||||
| @assignorexpr
|
||||
| @assignxorexpr
|
||||
| @assignlshiftexpr
|
||||
| @assignrshiftexpr
|
||||
| @assignurshiftexpr;
|
||||
|
||||
@literal = @booleanliteral
|
||||
| @integerliteral
|
||||
| @longliteral
|
||||
| @floatingpointliteral
|
||||
| @doubleliteral
|
||||
| @characterliteral
|
||||
| @stringliteral
|
||||
| @nullliteral;
|
||||
|
||||
@binaryexpr = @mulexpr
|
||||
| @divexpr
|
||||
| @remexpr
|
||||
| @addexpr
|
||||
| @subexpr
|
||||
| @lshiftexpr
|
||||
| @rshiftexpr
|
||||
| @urshiftexpr
|
||||
| @andbitexpr
|
||||
| @orbitexpr
|
||||
| @xorbitexpr
|
||||
| @andlogicalexpr
|
||||
| @orlogicalexpr
|
||||
| @ltexpr
|
||||
| @gtexpr
|
||||
| @leexpr
|
||||
| @geexpr
|
||||
| @eqexpr
|
||||
| @neexpr;
|
||||
|
||||
@unaryexpr = @postincexpr
|
||||
| @postdecexpr
|
||||
| @preincexpr
|
||||
| @predecexpr
|
||||
| @minusexpr
|
||||
| @plusexpr
|
||||
| @bitnotexpr
|
||||
| @lognotexpr;
|
||||
|
||||
@caller = @classinstancexpr
|
||||
| @methodaccess
|
||||
| @constructorinvocationstmt
|
||||
| @superconstructorinvocationstmt;
|
||||
|
||||
@abscaller = @caller | @callExpr ;
|
||||
|
||||
callableBinding (unique int callerid: @caller ref,
|
||||
int callee: @callable ref);
|
||||
|
||||
@exprparent = @stmt | @expr | @callable | @field | @fielddecl | @class | @interface;
|
||||
|
||||
variableBinding (unique int expr: @varaccess ref,
|
||||
int variable: @variable ref);
|
||||
|
||||
@variable = @localvar | @param | @field;
|
||||
@localorparam = @localvar | @param;
|
||||
|
||||
localvars (unique int id: @localvar,
|
||||
varchar(900) nodeName: string ref,
|
||||
int typeid: @type ref,
|
||||
int parentid: @localvariabledeclexpr ref);
|
||||
|
||||
@namedexprorstmt =
|
||||
@breakstmt
|
||||
| @continuestmt
|
||||
| @labeledstmt
|
||||
| @literal;
|
||||
|
||||
namestrings (varchar(900) name: string ref,
|
||||
unique int parent: @namedexprorstmt ref);
|
||||
|
||||
javadoc (unique int id: @javadoc);
|
||||
|
||||
isNormalComment(int commentid : @javadoc ref);
|
||||
|
||||
hasJavadoc (int documentableid: @member ref,
|
||||
int javadocid: @javadoc ref);
|
||||
|
||||
javadocTag (unique int id: @javadocTag,
|
||||
varchar(900) name: string ref,
|
||||
int parentid: @javadocParent ref,
|
||||
int idx: int ref);
|
||||
|
||||
javadocText (unique int id: @javadocText,
|
||||
varchar(900) text: string ref,
|
||||
int parentid: @javadocParent ref,
|
||||
int idx: int ref);
|
||||
|
||||
@typeorpackage = @type | @package;
|
||||
|
||||
@child = @typeorpackage | @typeormethod | @callable;
|
||||
|
||||
@modifiable_or_locatable = @modifiable | @locatable_element;
|
||||
|
||||
@named_element = @commentable | @modifier_named;
|
||||
|
||||
@typeormethod = @type | @method;
|
||||
@classorinterface = @interface | @class;
|
||||
@boundedtype = @typevariable | @wildcard;
|
||||
@reftype = @classorinterface | @array | @boundedtype;
|
||||
@classorarray = @class | @array;
|
||||
@type = @primitive | @reftype;
|
||||
@callable = @method | @constructor;
|
||||
@element = @file | @package | @primitive | @class | @interface | @method | @constructor | @modifier | @param | @exception | @field |
|
||||
@annotation | @boundedtype | @array | @localvar | @expr | @stmt | @import | @fielddecl;
|
||||
|
||||
@modifiable = @member_modifiable| @param | @localvar ;
|
||||
|
||||
@commentable = @package | @modifiable | @locatable_element ;
|
||||
|
||||
@package_member = @file | @param | @member ;
|
||||
|
||||
@member_modifiable = @class | @interface | @method | @constructor | @field ;
|
||||
|
||||
@expression = @callExpr | @fieldAccessExpr;
|
||||
@fieldAccessExpr = @readsFieldExpr | @writesFieldExpr;
|
||||
@callExpr = @makesMethodCallExpr | @makesConstructorCallExpr;
|
||||
|
||||
@member = @method | @constructor | @field | @reftype ;
|
||||
|
||||
@locatable = @file | @class | @interface | @fielddecl | @field | @constructor | @method | @param | @exception
|
||||
| @boundedtype | @typebound | @array
|
||||
| @readsFieldExpr | @writesFieldExpr | @makesMethodCallExpr | @makesConstructorCallExpr
|
||||
| @import | @stmt | @expr | @localvar | @javadoc | @javadocTag | @javadocText
|
||||
| @xmllocatable | @externalDefect | @externalMetric;
|
||||
|
||||
@locatable_element = @file | @class | @interface | @field | @param | @exception | @callable
|
||||
|
||||
@named = @param | @member | @package | @typeormethod | @file;
|
||||
|
||||
@modifier_named = @modifier | @modifiable | @named;
|
||||
|
||||
@javadocParent = @javadoc | @javadocTag;
|
||||
@javadocElement = @javadocTag | @javadocText;
|
||||
|
||||
/* 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;
|
||||
|
||||
@top = @element | @locatable | @folder;
|
||||
|
||||
/* *** Well-Founded Orders *** */
|
||||
|
||||
/* The type hierarchy order */
|
||||
order:typeOrder(3);
|
||||
|
||||
key:extendsReftype.order(id1, id2, typeOrder);
|
||||
key:implInterface.order(id1, id2, typeOrder);
|
||||
|
||||
/* The AST parent-child order */
|
||||
|
||||
order:astChildOrder(4);
|
||||
|
||||
key:classes.order(id, parentid, astChildOrder); // Transitive
|
||||
key:interfaces.order(id, parentid, astChildOrder); // Transitive
|
||||
key:fields.order(id, parentid, astChildOrder);
|
||||
key:methods.order(id, parentid, astChildOrder);
|
||||
key:constrs.order(id, parentid, astChildOrder);
|
||||
key:params.order(id, parentid, astChildOrder);
|
||||
key:exceptions.order(id, parentid, astChildOrder);
|
||||
key:typeVars.order(id, parentid, astChildOrder);
|
||||
key:typeBounds.order(id, parentid, astChildOrder);
|
||||
key:stmts.order(id,parent,astChildOrder);
|
||||
key:stmts.order(id,bodydecl,astChildOrder);
|
||||
key:exprs.order(id,parent,astChildOrder);
|
||||
key:localvars.order(id,parentid,astChildOrder);
|
||||
|
||||
/* Calls and field accesses */
|
||||
|
||||
key:readsField.order(id, id1, astChildOrder);
|
||||
key:writesField.order(id, id1, astChildOrder);
|
||||
key:callsMethod.order(id, id1, astChildOrder);
|
||||
key:callsConstr.order(id, id1, astChildOrder);
|
||||
|
||||
/* Binary Relations */
|
||||
|
||||
key:enclInReftype.order(child, parent, astChildOrder);
|
||||
|
||||
@@ -0,0 +1,477 @@
|
||||
/*** Standard fragments ***/
|
||||
|
||||
/** Files and folders **/
|
||||
|
||||
@location = @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
|
||||
);
|
||||
|
||||
@sourceline = @toplevel;
|
||||
|
||||
numlines(int element_id: @sourceline ref,
|
||||
int num_lines: int ref,
|
||||
int num_code: int ref,
|
||||
int num_comment: int ref
|
||||
);
|
||||
|
||||
|
||||
/*
|
||||
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);
|
||||
|
||||
/** 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);
|
||||
|
||||
/** External data **/
|
||||
|
||||
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) path : string ref,
|
||||
int column: int ref,
|
||||
varchar(900) value : string ref
|
||||
);
|
||||
|
||||
snapshotDate(unique date snapshotDate : date ref);
|
||||
|
||||
sourceLocationPrefix(varchar(900) prefix : string ref);
|
||||
|
||||
/** Version control data **/
|
||||
|
||||
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
|
||||
);
|
||||
|
||||
|
||||
/*** JavaScript-specific part ***/
|
||||
|
||||
// top-level code fragments
|
||||
toplevels (unique int id: @toplevel,
|
||||
int kind: int ref);
|
||||
|
||||
case @toplevel.kind of
|
||||
0 = @script
|
||||
| 1 = @inline_script
|
||||
| 2 = @event_handler
|
||||
| 3 = @javascript_url;
|
||||
|
||||
// statements
|
||||
stmts (unique int id: @stmt,
|
||||
int kind: int ref,
|
||||
int parent: @stmtparent ref,
|
||||
int idx: int ref,
|
||||
varchar(900) tostring: string ref);
|
||||
|
||||
stmtContainers (int stmt: @stmt ref,
|
||||
int container: @stmt_container ref);
|
||||
|
||||
semicolonInserted (int stmt: @stmt ref);
|
||||
|
||||
jumpTargets (int jump: @stmt ref,
|
||||
int target: @stmt ref);
|
||||
|
||||
@stmtparent = @stmt | @toplevel | @functionexpr;
|
||||
@stmt_container = @toplevel | @functiondecl;
|
||||
|
||||
case @stmt.kind of
|
||||
0 = @emptystmt
|
||||
| 1 = @blockstmt
|
||||
| 2 = @exprstmt
|
||||
| 3 = @ifstmt
|
||||
| 4 = @labeledstmt
|
||||
| 5 = @breakstmt
|
||||
| 6 = @continuestmt
|
||||
| 7 = @withstmt
|
||||
| 8 = @switchstmt
|
||||
| 9 = @returnstmt
|
||||
| 10 = @throwstmt
|
||||
| 11 = @trystmt
|
||||
| 12 = @whilestmt
|
||||
| 13 = @dowhilestmt
|
||||
| 14 = @forstmt
|
||||
| 15 = @forinstmt
|
||||
| 16 = @debuggerstmt
|
||||
| 17 = @functiondeclstmt
|
||||
| 18 = @vardeclstmt
|
||||
| 19 = @case
|
||||
| 20 = @catchclause
|
||||
;
|
||||
|
||||
// expressions
|
||||
exprs (unique int id: @expr,
|
||||
int kind: int ref,
|
||||
int parent: @exprparent ref,
|
||||
int idx: int ref,
|
||||
varchar(900) tostring: string ref);
|
||||
|
||||
literals (varchar(900) value: string ref,
|
||||
varchar(900) raw: string ref,
|
||||
unique int expr: @expr ref);
|
||||
|
||||
enclosingStmt (int expr: @expr ref,
|
||||
int stmt: @stmt ref);
|
||||
|
||||
arraySize (int ae: @arrayexpr ref,
|
||||
int sz: int ref);
|
||||
|
||||
@exprparent = @expr | @stmt | @property | @vardeclarator;
|
||||
|
||||
case @expr.kind of
|
||||
0 = @identifier
|
||||
| 1 = @nullliteral
|
||||
| 2 = @booleanliteral
|
||||
| 3 = @numberliteral
|
||||
| 4 = @stringliteral
|
||||
| 5 = @regexpliteral
|
||||
| 6 = @thisexpr
|
||||
| 7 = @arrayexpr
|
||||
| 8 = @objexpr
|
||||
| 9 = @functionexpr
|
||||
| 10 = @seqexpr
|
||||
| 11 = @conditionalexpr
|
||||
| 12 = @newexpr
|
||||
| 13 = @callexpr
|
||||
| 14 = @dotexpr
|
||||
| 15 = @indexexpr
|
||||
| 16 = @negexpr
|
||||
| 17 = @plusexpr
|
||||
| 18 = @lognotexpr
|
||||
| 19 = @bitnotexpr
|
||||
| 20 = @typeofexpr
|
||||
| 21 = @voidexpr
|
||||
| 22 = @deleteexpr
|
||||
| 23 = @eqexpr
|
||||
| 24 = @neqexpr
|
||||
| 25 = @eqqexpr
|
||||
| 26 = @neqqexpr
|
||||
| 27 = @ltexpr
|
||||
| 28 = @leexpr
|
||||
| 29 = @gtexpr
|
||||
| 30 = @geexpr
|
||||
| 31 = @lshiftexpr
|
||||
| 32 = @rshiftexpr
|
||||
| 33 = @urshiftexpr
|
||||
| 34 = @addexpr
|
||||
| 35 = @subexpr
|
||||
| 36 = @mulexpr
|
||||
| 37 = @divexpr
|
||||
| 38 = @modexpr
|
||||
| 39 = @bitorexpr
|
||||
| 40 = @xorexpr
|
||||
| 41 = @bitandexpr
|
||||
| 42 = @inexpr
|
||||
| 43 = @instanceofexpr
|
||||
| 44 = @logandexpr
|
||||
| 45 = @logorexpr
|
||||
| 47 = @assignexpr
|
||||
| 48 = @assignaddexpr
|
||||
| 49 = @assignsubexpr
|
||||
| 50 = @assignmulexpr
|
||||
| 51 = @assigndivexpr
|
||||
| 52 = @assignmodexpr
|
||||
| 53 = @assignlshiftexpr
|
||||
| 54 = @assignrshiftexpr
|
||||
| 55 = @assignurshiftexpr
|
||||
| 56 = @assignorexpr
|
||||
| 57 = @assignxorexpr
|
||||
| 58 = @assignandexpr
|
||||
| 59 = @preincexpr
|
||||
| 60 = @postincexpr
|
||||
| 61 = @predecexpr
|
||||
| 62 = @postdecexpr
|
||||
| 63 = @parexpr
|
||||
;
|
||||
|
||||
@literal = @nullliteral | @booleanliteral | @numberliteral | @stringliteral | @regexpliteral;
|
||||
|
||||
@propaccess = @dotexpr | @indexexpr;
|
||||
|
||||
@invokeexpr = @newexpr | @callexpr;
|
||||
|
||||
@unaryexpr = @negexpr | @plusexpr | @lognotexpr | @bitnotexpr | @typeofexpr | @voidexpr | @deleteexpr;
|
||||
|
||||
@equalitytest = @eqexpr | @neqexpr | @eqqexpr | @neqqexpr;
|
||||
|
||||
@comparison = @equalitytest | @ltexpr | @leexpr | @gtexpr | @geexpr;
|
||||
|
||||
@binaryexpr = @comparison | @lshiftexpr | @rshiftexpr | @urshiftexpr | @addexpr | @subexpr | @mulexpr | @divexpr | @modexpr | @bitorexpr | @xorexpr | @bitandexpr | @inexpr | @instanceofexpr | @logandexpr | @logorexpr;
|
||||
|
||||
@assignment = @assignexpr | @assignaddexpr | @assignsubexpr | @assignmulexpr | @assigndivexpr | @assignmodexpr | @assignlshiftexpr | @assignrshiftexpr | @assignurshiftexpr | @assignorexpr | @assignxorexpr | @assignandexpr;
|
||||
|
||||
@updateexpr = @preincexpr | @postincexpr | @predecexpr | @postdecexpr;
|
||||
|
||||
// scopes
|
||||
scopes (unique int id: @scope,
|
||||
int kind: int ref);
|
||||
|
||||
case @scope.kind of
|
||||
0 = @globalscope
|
||||
| 1 = @functionscope
|
||||
| 2 = @catchscope
|
||||
| 3 = @modulescope;
|
||||
|
||||
@scopenode = @functiondecl | @catchclause | @script;
|
||||
|
||||
scopenodes (int node: @scopenode ref,
|
||||
int scope: @scope ref);
|
||||
|
||||
scopenesting (int inner: @scope ref,
|
||||
int outer: @scope ref);
|
||||
|
||||
// functions
|
||||
@functiondecl = @functiondeclstmt | @functionexpr;
|
||||
|
||||
@parameterized = @functiondecl | @catchclause;
|
||||
|
||||
params (unique int id: @param,
|
||||
int variable: @variable ref,
|
||||
varchar(900) name: string ref,
|
||||
int pos: int ref,
|
||||
int parent: @parameterized ref);
|
||||
|
||||
// variables
|
||||
variables (unique int id: @variable,
|
||||
varchar(900) name: string ref,
|
||||
int scope: @scope ref);
|
||||
|
||||
isArgumentsObject (int id: @variable ref);
|
||||
|
||||
vardecls (unique int id: @vardeclarator,
|
||||
int variable: @variable ref,
|
||||
int parent: @stmt ref,
|
||||
int pos: int ref,
|
||||
varchar(900) tostring: string ref);
|
||||
|
||||
// function declaration statements and named function expressions implicitly
|
||||
// declare variables; this table links the function declaration with its variable
|
||||
functionvars (int func: @functiondecl ref,
|
||||
int var: @variable ref);
|
||||
|
||||
bind (int id: @identifier ref,
|
||||
int decl: @variable ref);
|
||||
|
||||
@vardeclaration = @param | @vardeclarator | @functiondecl;
|
||||
|
||||
// properties in object literals
|
||||
properties (unique int id: @property,
|
||||
int parent: @objexpr ref,
|
||||
int index: int ref,
|
||||
int kind: int ref, // 0 - normal, 1 - getter, 2 - setter
|
||||
varchar(900) tostring: string ref);
|
||||
|
||||
// comments
|
||||
comments (unique int id: @comment,
|
||||
int kind: int ref,
|
||||
int toplevel: @toplevel ref,
|
||||
varchar(900) text: string ref,
|
||||
varchar(900) tostring: string ref);
|
||||
|
||||
case @comment.kind of
|
||||
0 = @slashslashcomment
|
||||
| 1 = @slashstarcomment
|
||||
| 2 = @doccomment
|
||||
| 3 = @htmlcommentstart
|
||||
| 4 = @htmlcommentend;
|
||||
|
||||
@htmlcomment = @htmlcommentstart | @htmlcommentend;
|
||||
@linecomment = @slashslashcomment | @htmlcomment;
|
||||
@blockcomment = @slashstarcomment | @doccomment;
|
||||
|
||||
// source lines
|
||||
lines (unique int id: @line,
|
||||
int toplevel: @toplevel ref,
|
||||
varchar(900) text: string ref,
|
||||
varchar(2) terminator: string ref);
|
||||
|
||||
// errors
|
||||
errors (unique int id: @error,
|
||||
int kind: int ref,
|
||||
int toplevel: @toplevel ref,
|
||||
varchar(900) message: string ref);
|
||||
|
||||
case @error.kind of
|
||||
0 = @parseerror;
|
||||
|
||||
// regular expressions
|
||||
regexpterm (unique int id: @regexpterm,
|
||||
int kind: int ref,
|
||||
int parent: @regexpparent ref,
|
||||
int idx: int ref,
|
||||
varchar(900) tostring: string ref);
|
||||
|
||||
@regexpparent = @regexpterm | @regexpliteral;
|
||||
|
||||
case @regexpterm.kind of
|
||||
0 = @regexp_alt
|
||||
| 1 = @regexp_seq
|
||||
| 2 = @regexp_caret
|
||||
| 3 = @regexp_dollar
|
||||
| 4 = @regexp_wordboundary
|
||||
| 5 = @regexp_nonwordboundary
|
||||
| 6 = @regexp_positive_lookahead
|
||||
| 7 = @regexp_negative_lookahead
|
||||
| 8 = @regexp_star
|
||||
| 9 = @regexp_plus
|
||||
| 10 = @regexp_opt
|
||||
| 11 = @regexp_range
|
||||
| 12 = @regexp_dot
|
||||
| 13 = @regexp_group
|
||||
| 14 = @regexp_normal_char
|
||||
| 15 = @regexp_hex_escape
|
||||
| 16 = @regexp_unicode_escape
|
||||
| 17 = @regexp_dec_escape
|
||||
| 18 = @regexp_oct_escape
|
||||
| 19 = @regexp_ctrl_escape
|
||||
| 20 = @regexp_char_class_escape
|
||||
| 21 = @regexp_id_escape
|
||||
| 22 = @regexp_backref
|
||||
| 23 = @regexp_char_class
|
||||
| 24 = @regexp_char_range;
|
||||
|
||||
regexpParseErrors (unique int id: @regexp_parse_error,
|
||||
int kind: int ref,
|
||||
int regexp: @regexpterm ref);
|
||||
|
||||
case @regexp_parse_error.kind of
|
||||
0 = @regexp_parse_error_unexpected_eos
|
||||
| 1 = @regexp_parse_error_unexpected_char
|
||||
| 2 = @regexp_parse_error_expected_digit
|
||||
| 3 = @regexp_parse_error_expected_hex_digit
|
||||
| 4 = @regexp_parse_error_expected_control_letter
|
||||
| 5 = @regexp_parse_error_expected_closing_paren
|
||||
| 6 = @regexp_parse_error_expected_closing_brace
|
||||
| 7 = @regexp_parse_error_expected_eos
|
||||
| 8 = @regexp_parse_error_octal_escape
|
||||
| 9 = @regexp_parse_error_invalid_backref;
|
||||
|
||||
@regexp_quantifier = @regexp_star | @regexp_plus | @regexp_opt | @regexp_range;
|
||||
@regexp_escape = @regexp_char_escape | @regexp_char_class_escape;
|
||||
@regexp_char_escape = @regexp_hex_escape | @regexp_unicode_escape | @regexp_dec_escape | @regexp_oct_escape | @regexp_ctrl_escape | @regexp_id_escape;
|
||||
@regexp_constant = @regexp_normal_char | @regexp_char_escape;
|
||||
|
||||
isGreedy (int id: @regexp_quantifier ref);
|
||||
rangeQuantifierLowerBound (int id: @regexp_range ref, int lo: int ref);
|
||||
rangeQuantifierUpperBound (int id: @regexp_range ref, int hi: int ref);
|
||||
isCapture (int id: @regexp_group ref, int number: int ref);
|
||||
isInverted (int id: @regexp_char_class ref);
|
||||
regexpConstValue (int id: @regexp_constant ref, varchar(1) value: string ref);
|
||||
charClassEscape (int id: @regexp_char_class_escape ref, varchar(1) value: string ref);
|
||||
backref (int id: @regexp_backref ref, int value: int ref);
|
||||
|
||||
// tokens
|
||||
tokeninfo (unique int id: @token,
|
||||
int kind: int ref,
|
||||
int toplevel: @toplevel ref,
|
||||
int idx: int ref,
|
||||
varchar(900) value: string ref);
|
||||
|
||||
case @token.kind of
|
||||
0 = @token_eof
|
||||
| 1 = @token_null_literal
|
||||
| 2 = @token_boolean_literal
|
||||
| 3 = @token_numeric_literal
|
||||
| 4 = @token_string_literal
|
||||
| 5 = @token_regular_expression
|
||||
| 6 = @token_identifier
|
||||
| 7 = @token_keyword
|
||||
| 8 = @token_punctuator;
|
||||
|
||||
// locations
|
||||
@locatable = @file
|
||||
| @toplevel | @stmt | @expr | @property | @vardeclaration
|
||||
| @comment
|
||||
| @line
|
||||
| @error | @regexp_parse_error
|
||||
| @regexpterm
|
||||
| @token;
|
||||
|
||||
hasLocation (int locatable: @locatable ref,
|
||||
int location: @location ref);
|
||||
|
||||
// Closure externs
|
||||
external_global (unique int id: @external_global, varchar(900) name: string ref);
|
||||
external_member (unique int id: @external_member, varchar(900) name: string ref, int parent: @external_entity ref);
|
||||
|
||||
external_function (unique int id: @external_function, int decl: @external_decl ref);
|
||||
external_object (unique int id: @external_object, int decl: @external_decl ref);
|
||||
|
||||
@external_decl = @external_global | @external_member;
|
||||
@external_entity = @external_function | @external_object;
|
||||
837
python/ql/lib/upgrades/initial/semmlecode.python.dbscheme
Normal file
837
python/ql/lib/upgrades/initial/semmlecode.python.dbscheme
Normal file
@@ -0,0 +1,837 @@
|
||||
/*
|
||||
* 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;
|
||||
Reference in New Issue
Block a user