1 2 3 4 5 6 7 8
// $Id$ import java.io.*; public interface Display_Object { public int update_display (Display_Push_Consumer display_push_consumer); }