Merge pull request #2114 from yh-semmle/java-expr-parent

Java: refine type of parent column in `exprs` relation
This commit is contained in:
Anders Schack-Mulligen
2019-10-11 09:58:11 +02:00
committed by GitHub

View File

@@ -501,7 +501,7 @@ exprs(
unique int id: @expr,
int kind: int ref,
int typeid: @type ref,
int parent: @element ref,
int parent: @exprparent ref,
int idx: int ref
);