void disconnect_push_consumer();
void push(in any data) raises(Disconnected);
Generated by the OmniBroker IDL-to-HTML translator (non-commercial)