Skip to content

Commit b25414f

Browse files
committed
C#: Add DB upgrade and downgrade scripts.
1 parent ff546c1 commit b25414f

File tree

8 files changed

+8312
-0
lines changed

8 files changed

+8312
-0
lines changed
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
class AnnotatedElement extends @cil_has_type_annotation {
2+
string toString() { none() }
3+
}
4+
5+
class Field extends @cil_field {
6+
string toString() { none() }
7+
}
8+
9+
from AnnotatedElement element, int annotation
10+
where cil_type_annotation(element, annotation) and not element instanceof Field
11+
select element, annotation

0 commit comments

Comments
 (0)