diff options
Diffstat (limited to 'annotation-file-utilities/tests/source-extension/StaticInit.jaif')
-rw-r--r-- | annotation-file-utilities/tests/source-extension/StaticInit.jaif | 37 |
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 |