/**

* An invocation of the compiler. Note that more than one file may be

* compiled per invocation. For example, this command compiles three

* source files:

*

* javac A.java B.java C.java

*

* The `id` simply identifies the invocation, while `cwd` is the working

* directory from which the compiler was invoked.

*/

compilations(

/**

* An invocation of the compiler. Note that more than one file may

* be compiled per invocation. For example, this command compiles

* three source files:

*

* javac A.java B.java C.java

*/

unique int id : @compilation,

int kind: int ref,

string cwd : string ref,

string name : string ref

);

case @compilation.kind of

1 = @javacompilation

| 2 = @kotlincompilation

;

compilation_started(

int id : @compilation ref

)

compilation_info(

int id : @compilation ref,

string info_key: string ref,

string info_value: string ref

)

/**

* The arguments that were passed to the extractor for a compiler

* invocation. If `id` is for the compiler invocation

*

* javac A.java B.java C.java

*

* then typically there will be rows for

*

* num | arg

* --- | ---

* 0 | *path to extractor*

* 1 | `--javac-args`

* 2 | A.java

* 3 | B.java

* 4 | C.java

*/

#keyset[id, num]

compilation_args(

int id : @compilation ref,

int num : int ref,

string arg : string ref

);

/**

* The expanded arguments that were passed to the extractor for a

* compiler invocation. This is similar to `compilation_args`, but

* for a `@@@someFile` argument, it includes the arguments from that

* file, rather than just taking the argument literally.

*/

#keyset[id, num]

compilation_expanded_args(

int id : @compilation ref,

int num : int ref,

string arg : string ref

);

/**

* The source files that are compiled by a compiler invocation.

* If `id` is for the compiler invocation

*

* javac A.java B.java C.java

*

* then there will be rows for

*

* num | arg

* --- | ---

* 0 | A.java

* 1 | B.java

* 2 | C.java

*/

#keyset[id, num]

compilation_compiling_files(

int id : @compilation ref,

int num : int ref,

int file : @file ref

);

/**

* For each file recorded in `compilation_compiling_files`,

* there will be a corresponding row in

* `compilation_compiling_files_completed` once extraction

* of that file is complete. The `result` will indicate the

* extraction result:

*

* 0: Successfully extracted

* 1: Errors were encountered, but extraction recovered

* 2: Errors were encountered, and extraction could not recover

*/

#keyset[id, num]

compilation_compiling_files_completed(

int id : @compilation ref,

int num : int ref,

int result : int ref

);

/**

* The time taken by the extractor for a compiler invocation.

*

* For each file `num`, there will be rows for

*

* kind | seconds

* ---- | ---

* 1 | CPU seconds used by the extractor frontend

* 2 | Elapsed seconds during the extractor frontend

* 3 | CPU seconds used by the extractor backend

* 4 | Elapsed seconds during the extractor backend

*/

#keyset[id, num, kind]

compilation_time(

int id : @compilation ref,

int num : int ref,

/* kind:

1 = frontend_cpu_seconds

2 = frontend_elapsed_seconds

3 = extractor_cpu_seconds

4 = extractor_elapsed_seconds

*/

int kind : int ref,

float seconds : float ref

);

/**

* The `cpu_seconds` and `elapsed_seconds` are the CPU time and elapsed

* time (respectively) that the original compilation (not the extraction)

* took for compiler invocation `id`.

*/

compilation_compiler_times(

unique int id : @compilation ref,

float cpu_seconds : float ref,

float elapsed_seconds : float ref

);

/**

* If extraction was successful, then `cpu_seconds` and

* `elapsed_seconds` are the CPU time and elapsed time (respectively)

* that extraction took for compiler invocation `id`.

* The `result` will indicate the extraction result:

*

* 0: Successfully extracted

* 1: Errors were encountered, but extraction recovered

* 2: Errors were encountered, and extraction could not recover

*/

compilation_finished(

unique int id : @compilation ref,

float cpu_seconds : float ref,

float elapsed_seconds : float ref,

int result : int ref

);

diagnostics(

unique int id: @diagnostic,

string generated_by: string ref, // TODO: Sync this with the other languages?

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

);

/**

* An error or warning generated by the extractor.

* The diagnostic message `diagnostic` was generated during compiler

* invocation `compilation`, and is the `file_number_diagnostic_number`th

* message generated while extracting the `file_number`th file of that

* invocation.

*/

#keyset[compilation, file_number, file_number_diagnostic_number]

diagnostic_for(

unique int diagnostic : @diagnostic ref,

int compilation : @compilation ref,

int file_number : int ref,

int file_number_diagnostic_number : int ref

);

/*

* External artifacts

*/

externalData(

int id : @externalDataElement,

string path : string ref,

int column: int ref,

string value : string ref

);

sourceLocationPrefix(

string prefix : string ref

);

/*

* SMAP

*/

smap_header(

int outputFileId: @file ref,

string outputFilename: string ref,

string defaultStratum: string ref

);

smap_files(

int outputFileId: @file ref,

string stratum: string ref,

int inputFileNum: int ref,

string inputFileName: string ref,

int inputFileId: @file ref

);

smap_lines(

int outputFileId: @file ref,

string stratum: string ref,

int inputFileNum: int ref,

int inputStartLine: int ref,

int inputLineCount: int ref,

int outputStartLine: int ref,

int outputLineIncrement: int ref

);

/*

* Locations and files

*/

@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 ;

#keyset[element_id]

numlines(

int element_id: @sourceline ref,

int num_lines: int ref,

int num_code: int ref,

int num_comment: int ref

);

files(

unique int id: @file,

string name: string ref

);

folders(

unique int id: @folder,

string name: string ref

);

@container = @folder | @file

containerparent(

int parent: @container ref,

unique int child: @container ref

);

/*

* Java

*/

cupackage(

unique int id: @file ref,

int packageid: @package ref

);

#keyset[fileid,keyName]

jarManifestMain(

int fileid: @file ref,

string keyName: string ref,

string value: string ref

);

#keyset[fileid,entryName,keyName]

jarManifestEntries(

int fileid: @file ref,

string entryName: string ref,

string keyName: string ref,

string value: string ref

);

packages(

unique int id: @package,

string nodeName: string ref

);

primitives(

unique int id: @primitive,

string nodeName: string ref

);

modifiers(

unique int id: @modifier,

string nodeName: string ref

);

/**

* An errortype is used when the extractor is unable to extract a type

* correctly for some reason.

*/

error_type(

unique int id: @errortype

);

classes_or_interfaces(

unique int id: @classorinterface,

string nodeName: string ref,

int parentid: @package ref,

int sourceid: @classorinterface ref

);

file_class(

int id: @classorinterface ref

);

class_object(

unique int id: @classorinterface ref,

unique int instance: @field ref

);

type_companion_object(

unique int id: @classorinterface ref,

unique int instance: @field ref,

unique int companion_object: @classorinterface ref

);

kt_nullable_types(

unique int id: @kt_nullable_type,

int classid: @reftype ref

)

kt_notnull_types(

unique int id: @kt_notnull_type,

int classid: @reftype ref

)

kt_type_alias(

unique int id: @kt_type_alias,

string name: string ref,

int kttypeid: @kt_type ref

)

@kt_type = @kt_nullable_type | @kt_notnull_type

isInterface(

unique int id: @classorinterface ref

);

isRecord(

unique int id: @classorinterface ref

);

fielddecls(

unique int id: @fielddecl,

int parentid: @reftype ref

);

#keyset[fieldId] #keyset[fieldDeclId,pos]

fieldDeclaredIn(

int fieldId: @field ref,

int fieldDeclId: @fielddecl ref,

int pos: int ref

);

fields(

unique int id: @field,

string nodeName: string ref,

int typeid: @type ref,

int parentid: @reftype ref

);

fieldsKotlinType(

unique int id: @field ref,

int kttypeid: @kt_type ref

);

constrs(

unique int id: @constructor,

string nodeName: string ref,

string signature: string ref,

int typeid: @type ref,

int parentid: @reftype ref,

int sourceid: @constructor ref

);

constrsKotlinType(

unique int id: @constructor ref,

int kttypeid: @kt_type ref

);

methods(

unique int id: @method,

string nodeName: string ref,

string signature: string ref,

int typeid: @type ref,

int parentid: @reftype ref,

int sourceid: @method ref

);

methodsKotlinType(

unique int id: @method ref,

int kttypeid: @kt_type ref

);

#keyset[parentid,pos]

params(

unique int id: @param,

int typeid: @type ref,

int pos: int ref,

int parentid: @callable ref,

int sourceid: @param ref

);

paramsKotlinType(

unique int id: @param ref,

int kttypeid: @kt_type ref

);

paramName(

unique int id: @param ref,

string nodeName: string ref

);

isVarargsParam(

int param: @param ref

);

exceptions(

unique int id: @exception,

int typeid: @type ref,

int parentid: @callable ref

);

isAnnotType(

int interfaceid: @classorinterface ref

);

isAnnotElem(

int methodid: @method ref

);

annotValue(

int parentid: @annotation ref,

int id2: @method ref,

unique int value: @expr ref

);

isEnumType(

int classid: @classorinterface ref

);

isEnumConst(

int fieldid: @field ref

);

#keyset[parentid,pos]

typeVars(

unique int id: @typevariable,

string nodeName: string ref,

int pos: int ref,

int parentid: @classorinterfaceorcallable ref

);

wildcards(

unique int id: @wildcard,

string nodeName: string ref,

int kind: int ref

);

#keyset[parentid,pos]

typeBounds(

unique int id: @typebound,

int typeid: @reftype ref,

int pos: int ref,

int parentid: @boundedtype ref

);

#keyset[parentid,pos]

typeArgs(

int argumentid: @reftype ref,

int pos: int ref,

int parentid: @classorinterfaceorcallable ref

);

isParameterized(

int memberid: @member ref

);

isRaw(

int memberid: @member ref

);

#keyset[classid] #keyset[parent]

isAnonymClass(

int classid: @classorinterface ref,

int parent: @classinstancexpr ref

);

#keyset[typeid] #keyset[parent]

isLocalClassOrInterface(

int typeid: @classorinterface ref,

int parent: @localtypedeclstmt ref

);

isDefConstr(

int constructorid: @constructor ref

);

#keyset[exprId]

lambdaKind(

int exprId: @lambdaexpr ref,

int bodyKind: int ref

);

isCanonicalConstr(

int constructorid: @constructor ref

);

arrays(

unique int id: @array,

string 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

);

extendsReftype(

int id1: @reftype ref,

int id2: @classorinterface ref

);

implInterface(

int id1: @classorarray ref,

int id2: @classorinterface ref

);

permits(

int id1: @classorinterface ref,

int id2: @classorinterface ref

);

hasModifier(

int id1: @modifiable ref,

int id2: @modifier ref

);

imports(

unique int id: @import,

int holder: @classorinterfaceorpackage ref,

string name: string ref,

int kind: int ref

);

#keyset[parent,idx]

stmts(

unique int id: @stmt,

int kind: int ref,

int parent: @stmtparent ref,

int idx: int ref,

int bodydecl: @callable ref

);

@stmtparent = @callable | @stmt | @switchexpr | @whenexpr| @stmtexpr;

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 = @localtypedeclstmt

| 19 = @constructorinvocationstmt

| 20 = @superconstructorinvocationstmt

| 21 = @case

| 22 = @catchclause

| 23 = @yieldstmt

| 24 = @errorstmt

| 25 = @whenbranch

;

#keyset[parent,idx]

exprs(

unique int id: @expr,

int kind: int ref,

int typeid: @type ref,

int parent: @exprparent ref,

int idx: int ref

);

exprsKotlinType(

unique int id: @expr ref,

int kttypeid: @kt_type ref

);

callableEnclosingExpr(

unique int id: @expr ref,

int callable_id: @callable ref

);

statementEnclosingExpr(

unique int id: @expr ref,

int statement_id: @stmt ref

);

isParenthesized(

unique int id: @expr ref,

int parentheses: int 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 = @newexpr

| 53 = @conditionalexpr

| 54 = @parexpr // deprecated

| 55 = @instanceofexpr

| 56 = @localvariabledeclexpr

| 57 = @typeliteral

| 58 = @thisaccess

| 59 = @superaccess

| 60 = @varaccess

| 61 = @methodaccess

| 62 = @unannotatedtypeaccess

| 63 = @arraytypeaccess

| 64 = @packageaccess

| 65 = @wildcardtypeaccess

| 66 = @declannotation

| 67 = @uniontypeaccess

| 68 = @lambdaexpr

| 69 = @memberref

| 70 = @annotatedtypeaccess

| 71 = @typeannotation

| 72 = @intersectiontypeaccess

| 73 = @switchexpr

| 74 = @errorexpr

| 75 = @whenexpr

| 76 = @getclassexpr

| 77 = @safecastexpr

| 78 = @implicitcastexpr

| 79 = @implicitnotnullexpr

| 80 = @implicitcoerciontounitexpr

| 81 = @notinstanceofexpr

| 82 = @stmtexpr

| 83 = @stringtemplateexpr

| 84 = @notnullexpr

| 85 = @unsafecoerceexpr

| 86 = @valueeqexpr

| 87 = @valueneexpr

| 88 = @propertyref

| 89 = @recordpatternexpr

;

/** Holds if this `when` expression was written as an `if` expression. */

when_if(unique int id: @whenexpr ref);

/** Holds if this `when` branch was written as an `else` branch. */

when_branch_else(unique int id: @whenbranch ref);

@classinstancexpr = @newexpr | @lambdaexpr | @memberref | @propertyref

@annotation = @declannotation | @typeannotation

@typeaccess = @unannotatedtypeaccess | @annotatedtypeaccess

@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

| @valueeqexpr

| @valueneexpr;

@unaryexpr = @postincexpr

| @postdecexpr

| @preincexpr

| @predecexpr

| @minusexpr

| @plusexpr

| @bitnotexpr

| @lognotexpr

| @notnullexpr;

@caller = @classinstancexpr

| @methodaccess

| @constructorinvocationstmt

| @superconstructorinvocationstmt;

callableBinding(

unique int callerid: @caller ref,

int callee: @callable ref

);

memberRefBinding(

unique int id: @expr ref,

int callable: @callable ref

);

propertyRefGetBinding(

unique int id: @expr ref,

int getter: @callable ref

);

propertyRefFieldBinding(

unique int id: @expr ref,

int field: @field ref

);

propertyRefSetBinding(

unique int id: @expr ref,

int setter: @callable ref

);

@exprparent = @stmt | @expr | @whenbranch | @callable | @field | @fielddecl | @classorinterface | @param | @localvar | @typevariable;

variableBinding(

unique int expr: @varaccess ref,

int variable: @variable ref

);

@variable = @localscopevariable | @field;

@localscopevariable = @localvar | @param;

localvars(

unique int id: @localvar,

string nodeName: string ref,

int typeid: @type ref,

int parentid: @localvariabledeclexpr ref

);

localvarsKotlinType(

unique int id: @localvar ref,

int kttypeid: @kt_type ref

);

@namedexprorstmt = @breakstmt

| @continuestmt

| @labeledstmt

| @literal;

namestrings(

string name: string ref,

string value: string ref,

unique int parent: @namedexprorstmt ref

);

/*

* Modules

*/

#keyset[name]

modules(

unique int id: @module,

string name: string ref

);

isOpen(

int id: @module ref

);

#keyset[fileId]

cumodule(

int fileId: @file ref,

int moduleId: @module ref

);

@directive = @requires

| @exports

| @opens

| @uses

| @provides

#keyset[directive]

directives(

int id: @module ref,

int directive: @directive ref

);

requires(

unique int id: @requires,

int target: @module ref

);

isTransitive(

int id: @requires ref

);

isStatic(

int id: @requires ref

);

exports(

unique int id: @exports,

int target: @package ref

);

exportsTo(

int id: @exports ref,

int target: @module ref

);

opens(

unique int id: @opens,

int target: @package ref

);

opensTo(

int id: @opens ref,

int target: @module ref

);

uses(

unique int id: @uses,

string serviceInterface: string ref

);

provides(

unique int id: @provides,

string serviceInterface: string ref

);

providesWith(

int id: @provides ref,

string serviceImpl: string ref

);

isNullDefaultCase(

int id: @case ref

);

/*

* Javadoc

*/

javadoc(

unique int id: @javadoc

);

isNormalComment(

int commentid : @javadoc ref

);

isEolComment(

int commentid : @javadoc ref

);

hasJavadoc(

int documentableid: @member ref,

int javadocid: @javadoc ref

);

#keyset[parentid,idx]

javadocTag(

unique int id: @javadocTag,

string name: string ref,

int parentid: @javadocParent ref,

int idx: int ref

);

#keyset[parentid,idx]

javadocText(

unique int id: @javadocText,

string text: string ref,

int parentid: @javadocParent ref,

int idx: int ref