/* @generated */
digraph cfg {
"NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_1" [label="1: Start NonnullAtrributeTest\nFormals:  callback:_fn_(*)\nLocals: \nAnnotation: <> NonnullAtrributeTest(<_Nonnull>) \n  " color=yellow style=filled]
	

	 "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_1" -> "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_3" ;
"NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_2" [label="2: Exit NonnullAtrributeTest \n  " color=yellow style=filled]
	

"NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_3" [label="3:  Call n$0 \n   n$0=*&callback:_fn_(*) [line 45, column 3]\n  n$1=n$0(null:NSError*,null:objc_object*) [line 45, column 3]\n " shape="box"]
	

	 "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_3" -> "NonnullAtrributeTest.69a49728cf7d46ab0add381e5c93704c_2" ;
"getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_1" [label="1: Start NonnullA_getA\nFormals:  self:NonnullA*\nLocals:  \n  " color=yellow style=filled]
	

	 "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_1" -> "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_3" ;
"getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_2" [label="2: Exit NonnullA_getA \n  " color=yellow style=filled]
	

"getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_3" [label="3:  Return Stmt \n   n$0=_fun___objc_alloc_no_fail(sizeof(t=NonnullA):unsigned long) [line 24, column 10]\n  n$1=_fun_NSObject_init(n$0:NonnullA*) virtual [line 24, column 10]\n  *&return:NonnullA*=n$1 [line 24, column 3]\n " shape="box"]
	

	 "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_3" -> "getA#NonnullA#instance.d4b29ece551a370c3f0c0c12526b3def_2" ;
"initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_1" [label="1: Start NonnullC_initWithCoder:and:\nFormals:  self:NonnullC* aDecoder:NSString* a:NonnullA*\nLocals:  y:int a1:NonnullA*\nAnnotation: <> NonnullC_initWithCoder:and:(<> <> <_Nonnull>) \n  " color=yellow style=filled]
	

	 "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_1" -> "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_5" ;
"initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_2" [label="2: Exit NonnullC_initWithCoder:and: \n  " color=yellow style=filled]
	

"initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_3" [label="3:  Return Stmt \n   n$0=*&self:NonnullC* [line 39, column 10]\n  *&return:objc_object*=n$0 [line 39, column 3]\n " shape="box"]
	

	 "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_3" -> "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_2" ;
"initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_4" [label="4:  DeclStmt \n   n$1=*&a1:NonnullA* [line 38, column 11]\n  n$2=*n$1.x:int [line 38, column 11]\n  *&y:int=n$2 [line 38, column 3]\n " shape="box"]
	

	 "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_4" -> "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_3" ;
"initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_5" [label="5:  DeclStmt \n   n$3=*&a:NonnullA* [line 37, column 19]\n  n$4=_fun_NonnullA_getA(n$3:NonnullA*) virtual [line 37, column 18]\n  *&a1:NonnullA*=n$4 [line 37, column 3]\n " shape="box"]
	

	 "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_5" -> "initWithCoder:and:#NonnullC(class NSString,class NonnullA)#instance.e23828ce4467c2001440771e2c4692f8_4" ;
}
