| method | void org. |
| method | org.apache. |
| post | init'ed(logger) |
|   | info | method not available | -- call on Logger org. |
| method | void setUserDetailsService( |
| post | this.userDetailsService == userDetailsService |
| post | init'ed(this. |
| method | UserDetails getUserDetails(String) |
| pre | this.userDetailsService != null |
| post | init'ed(return_value) |
|   | info | method not available | -- call on UserDetails org. |