METHOD_0 ( ) { com . IDENT_0 . domain . model . User user = new com . IDENT_0 . domain . model . User ( ) ; user . setId ( IDENT_1 . id ) ; user . setName ( IDENT_1 . name ) ; com . IDENT_0 . domain . model . IDENT_2 IDENT_3 = METHOD_1 ( STRING_0 ) ; com . IDENT_0 . domain . model . IDENT_2 IDENT_4 = METHOD_1 ( STRING_0 ) ; when ( IDENT_5 . METHOD_2 ( ) ) . thenReturn ( user ) ; com . IDENT_0 . domain . model . IDENT_6 IDENT_7 = IDENT_8 . METHOD_3 ( IDENT_3 , IDENT_4 ) ; verify ( IDENT_5 , times ( 0 ) ) . METHOD_2 ( ) ; "<AssertPlaceHolder>" ; } METHOD_2 ( ) { javax . servlet . http . IDENT_9 session = IDENT_10 . METHOD_4 ( ) ; if ( session == null ) { return null ; } java . lang . Object obj = session . METHOD_5 ( com . IDENT_0 . IDENT_11 . service . web . impl . IDENT_12 ) ; if ( obj != null ) { com . IDENT_0 . IDENT_11 . model . User user = ( ( com . IDENT_0 . IDENT_11 . model . User ) ( obj ) ) ; return user ; } return null ; }
org . junit . Assert . assertNull ( IDENT_7 )