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


Pragma Java_Interface

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.