java-bridge-0.20130606.3: Bindings to the JNI and a high level interface generator.

Portabilitynon-portable (DeriveDataTypeable)
Stabilityprovisional
Maintainerjulian.fleischer@fu-berlin.de
Safe HaskellSafe-Inferred

Foreign.Java.Bindings.JavaTypes

Description

Data structures that describe the interface of Java structures such as classes, generic types, their methods, etc.

All types are instances of Data and Typeable and can therefor be used with Scrap Your Boilerplate combinators (see Data.Generics).

Synopsis

Documentation

data JavaType Source

A JavaType is either a Primitive Type, an Array, or an Object.

classDependencies :: JavaClass -> [String]Source

Calculate all classes that are referenced in any way by this class.

classFullName :: JavaClass -> StringSource

Derive the full name from a class definition. See also makeName.

newtype TyVar Source

A Type variable. This is merely a name.

Constructors

TyVar 

Fields

tyVarName :: String
 

data JavaGenericType Source

Constructors

Wildcard

super X, extends X

Parameterized
java.util.ListX

Fields

jgtBasetype :: String

A plain type, full name. Used for example in a Parameterized type, which may be parameterized by a plain type (like ClassNumber.

The full name of the base type, e.g. java.lang.Class.

jgtParameters :: [JavaGenericType]

The parameters.

GenericArray
X[]

Fields

jgtComponentType :: JavaGenericType

The base type of the generic array, e.g. java.lang.Number.

TypeVarReference
X

Fields

jgtName :: TyVar

The name of the type variable, e.g. E or X.

NotSoGeneric 

Fields

jgtBasetype :: String

A plain type, full name. Used for example in a Parameterized type, which may be parameterized by a plain type (like ClassNumber.

The full name of the base type, e.g. java.lang.Class.

jgtType :: JavaGenericType -> JavaGenericTypeTypeSource

Get the type of a generic type.

methodDependencies :: JavaMethod -> [String]Source

Return the full names of all classes that this method references in its definition.

constructorDependencies :: JavaConstructor -> [String]Source

Retrieve all classes that this constructor definition references in its parameters or generic declaration.