Next: Pragma Keep_Names, Previous: Pragma Java_Constructor, Up: Implementation Defined Pragmas [Contents][Index]
Syntax:
pragma Java_Interface ([Entity =>] abstract_tagged_type_LOCAL_NAME);
This pragma is used to assert that the specified Ada abstract tagged type is to be mapped to a Java interface name.
See sections 7.1 and 7.2 of the GNAT User’s Guide: Supplement for the JVM Platform. for related information.