aboutsummaryrefslogtreecommitdiff
path: root/annotation-file-utilities/tests/source-extension/StaticInit.jaif
diff options
context:
space:
mode:
Diffstat (limited to 'annotation-file-utilities/tests/source-extension/StaticInit.jaif')
-rw-r--r--annotation-file-utilities/tests/source-extension/StaticInit.jaif37
1 files changed, 37 insertions, 0 deletions
diff --git a/annotation-file-utilities/tests/source-extension/StaticInit.jaif b/annotation-file-utilities/tests/source-extension/StaticInit.jaif
new file mode 100644
index 0000000..3e98587
--- /dev/null
+++ b/annotation-file-utilities/tests/source-extension/StaticInit.jaif
@@ -0,0 +1,37 @@
+package GUT.quals:
+annotation @Peer:
+annotation @Rep:
+
+
+package annotator.tests:
+class StaticInit:
+staticinit *0:
+new *1: @GUT.quals.Peer
+
+package annotator.tests:
+class StaticInit:
+staticinit *1:
+new *0: @GUT.quals.Rep
+
+package annotator.tests:
+class StaticInit:
+staticinit *0:
+new *0: @GUT.quals.Peer
+
+package annotator.tests:
+class StaticInit:
+staticinit *0:
+local o2:
+type: @GUT.quals.Peer
+
+package annotator.tests:
+class StaticInit:
+staticinit *1:
+local si:
+type: @GUT.quals.Rep
+
+package annotator.tests:
+class StaticInit:
+staticinit *0:
+local o:
+type: @GUT.quals.Peer