class IMADeviceState extends DeviceState {

    public final void setIndex(final int index)
            throws IllegalArgumentException {
        if (index < 0) {
            throw new IllegalArgumentException("index < 0");
        }
        this.index = index;
    }

    public  IMADeviceState(final Device device);
    protected  IMADeviceState();

}