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


2.88 Pragma Java_Constructor

Syntax:

    pragma Java_Constructor ([Entity =>] function_LOCAL_NAME);

This pragma is used to assert that the specified Ada function should be mapped to the Java constructor for some Ada tagged record type.

See section 7.3.2 of the GNAT User's Guide: Supplement for the JVM Platform. for related information.