| method | void com.dmdirc.config.prefs.validator. CommandNameValidator() |
| pre | init'ed(com/dmdirc/commandparser/CommandManager. commandChar) |
| post | this.validatorList == &new ArrayList(ValidatorC hain#1) |
| post | new ArrayList(ValidatorChain#1) num objects == 1 |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:add |