annotation-file-utilities/tests/source-extension/StaticInit.jaif

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