Welcome to GNATpolyglot’s documentation!

Note

GNATpolyglot is currently in beta: its behavior and generated output are still subject to change.

Contents:

• GNATpolyglot
  • Generating Proxy IR
    • Generating Ada Proxy layer
  • Generating Language specific interfaces
    • Generating C++ interfaces
    • Generating Java interfaces
    • Generating Rust interfaces
  • Example: Generating Ada to C++ bindings
• Ada2Proxy
  • Using the tool
  • Types
    • Scalars
    • Enumeration types
    • Record
    • Tagged types
    • Limited types
    • Arrays
    • Strings
    • Access types
  • Subprograms
    • Parameter types
    • Dot-callable Primitives
    • Operators
  • Global variables and constants
  • Exceptions
• Proxy2Cpp
  • Using the tool
  • Modules
  • Functions
    • Function placement
    • Operators
  • Types
    • Scalars
    • Enumerations
    • Arrays
    • Strings
    • Classes
    • Inheritance
    • Pointers
    • References and view types
  • Exceptions
  • Building
• Proxy2Java
  • Using the tool
  • Modules
  • Functions
    • Function placement
    • Operators
  • Types
    • Scalars
    • Enumerations
    • Arrays
    • Strings
    • Classes
    • Inheritance
    • Pointers
  • Exceptions
  • How the bindings reach the bound library
  • Building
  • Supported platforms
• Proxy2Rust
  • Using the tool
  • Modules
  • Functions
    • Function placement
    • Parameters and return values
  • Types
    • Scalars
    • Enumerations
    • Classes
    • Ownership
    • Inheritance
  • Crate layout
  • Building
  • Supported platforms
• ABI
  • Argument passing
    • Scalars
    • Classes
    • Strings and arrays
    • Pointers
    • References
  • Returning values
  • Scalars
    • Classes
    • Strings and arrays
    • Ref to Pointers
• Limitations
  • Ada2Proxy
    • Long Scalar types
    • Access types
    • Anonymous type declarations
    • Array Types
    • Classwide objects
    • Controlled types
    • Discriminated types
    • Fixed point types
    • Generic declarations
    • Generic instantiations
    • Ghost code
    • Inheritable types
    • Integer types
    • Interfaces
    • Intrinsic subprograms
    • Limited Types
    • Nested packages
    • Class-wide contracts on abstract primitives
    • Unimplemented units
    • Wide characters
  • Proxy2Cpp
    • C++ object construction
    • Polymorphic copies
    • References to pointers
  • Proxy2Java
    • Supported platforms
    • Operator overloading
    • Pointer types
  • Proxy2Rust
    • Arrays and strings
    • Exceptions
    • Virtual inheritance
    • Pointers
    • Operators

Indices and tables

• Index

• Module Index

• Search Page