Skip to content

Commit 89cea5c

Browse files
authored
Merge pull request github#6178 from github/yo-h/java-sealed-classes
Java: add `permits` relation to dbscheme (sealed classes)
2 parents 53823e4 + aa19fe6 commit 89cea5c

File tree

5 files changed

+2034
-0
lines changed

5 files changed

+2034
-0
lines changed

java/ql/src/config/semmlecode.dbscheme

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -479,6 +479,11 @@ implInterface(
479479
int id2: @interface ref
480480
);
481481

482+
permits(
483+
int id1: @classorinterface ref,
484+
int id2: @classorinterface ref
485+
);
486+
482487
hasModifier(
483488
int id1: @modifiable ref,
484489
int id2: @modifier ref

java/ql/src/config/semmlecode.dbscheme.stats

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17639,6 +17639,64 @@
1763917639
</dependencies>
1764017640
</relation>
1764117641
<relation>
17642+
<name>permits</name>
17643+
<cardinality>16</cardinality>
17644+
<columnsizes>
17645+
<e>
17646+
<k>id1</k>
17647+
<v>6</v>
17648+
</e>
17649+
<e>
17650+
<k>id2</k>
17651+
<v>16</v>
17652+
</e>
17653+
</columnsizes>
17654+
<dependencies>
17655+
<dep>
17656+
<src>id1</src>
17657+
<trg>id2</trg>
17658+
<val>
17659+
<hist>
17660+
<budget>12</budget>
17661+
<bs>
17662+
<b>
17663+
<a>1</a>
17664+
<b>2</b>
17665+
<v>2</v>
17666+
</b>
17667+
<b>
17668+
<a>3</a>
17669+
<b>4</b>
17670+
<v>2</v>
17671+
</b>
17672+
<b>
17673+
<a>4</a>
17674+
<b>5</b>
17675+
<v>2</v>
17676+
</b>
17677+
</bs>
17678+
</hist>
17679+
</val>
17680+
</dep>
17681+
<dep>
17682+
<src>id2</src>
17683+
<trg>id1</trg>
17684+
<val>
17685+
<hist>
17686+
<budget>12</budget>
17687+
<bs>
17688+
<b>
17689+
<a>1</a>
17690+
<b>2</b>
17691+
<v>16</v>
17692+
</b>
17693+
</bs>
17694+
</hist>
17695+
</val>
17696+
</dep>
17697+
</dependencies>
17698+
</relation>
17699+
<relation>
1764217700
<name>hasModifier</name>
1764317701
<cardinality>5667539</cardinality>
1764417702
<columnsizes>

0 commit comments

Comments
 (0)