Next: , Previous: , Up: Implementation Defined Pragmas   [Contents][Index]


2.90 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.