Next: , Previous: Pragma Java_Constructor, Up: Implementation Defined Pragmas

2.90 Pragma Java_Interface


    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.