Searched refs:Java_Interface (Results 1 – 7 of 7) sorted by relevance
197 Java_Interface // The LVM GUI is written in Java.
6772 when Pragma_Java_Interface => Java_Interface : declare identifier6817 end Java_Interface;
11877 when Pragma_Java_Interface => Java_Interface : declare identifier11922 end Java_Interface;
16018 when Pragma_Java_Interface => Java_Interface : declare identifier16063 end Java_Interface;
184 * Pragma Java_Interface::1019 * Pragma Java_Interface::4029 @node Pragma Java_Interface4030 @unnumberedsec Pragma Java_Interface4031 @findex Java_Interface4036 pragma Java_Interface ([Entity =>] abstract_tagged_type_LOCAL_NAME);