public void METHOD_1 ( int height ) { if ( height == ( VAR_1 ) ) return ; <BUG> if ( height < 0 ) throw new TYPE_1 ( STRING_1 ) ;</BUG> VAR_1 = height ; VAR_2 = true ; }
public void METHOD_1 ( int height ) { if ( height == ( VAR_1 ) ) return ; if ( height < 0 ) { VAR_1 = 0 ; } else { VAR_1 = height ; VAR_2 = true ; } } 
