METHOD_0 ( ) { int state = 1 << INT_0 ; IDENT_0 . METHOD_1 ( state ) ; org . eclipse . swt . widgets . IDENT_1 IDENT_2 = METHOD_2 ( IDENT_0 ) ; "<AssertPlaceHolder>" ; } METHOD_3 ( int ) { return ( ( state ) & IDENT_3 ) != 0 ; }
org . junit . Assert . assertTrue ( IDENT_2 . METHOD_3 ( state ) )