PPL Configured Java Language Interface  0.12.1
Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache Class Reference

A cache for global references to Java classes. More...

#include <ppl_java_common.defs.hh>

List of all members.

Public Member Functions

 Java_Class_Cache ()
 Default constructor.
void init_cache (JNIEnv *env)
 Initializes all cache fields.
void clear_cache (JNIEnv *env)
 Resets all fields to NULL.

Public Attributes

jclass Boolean
jclass Integer
jclass Long
jclass Iterator
jclass Artificial_Parameter
jclass Artificial_Parameter_Sequence
jclass Bounded_Integer_Type_Overflow
jclass Bounded_Integer_Type_Representation
jclass Bounded_Integer_Type_Width
jclass By_Reference
jclass Coefficient
jclass Congruence
jclass Constraint
jclass Generator
jclass Grid_Generator
jclass Generator_Type
jclass Grid_Generator_Type
jclass Constraint_System
jclass Congruence_System
jclass Generator_System
jclass Grid_Generator_System
jclass Linear_Expression
jclass Linear_Expression_Coefficient
jclass Linear_Expression_Difference
jclass Linear_Expression_Sum
jclass Linear_Expression_Times
jclass Linear_Expression_Unary_Minus
jclass Linear_Expression_Variable
jclass MIP_Problem_Status
jclass Optimization_Mode
jclass Pair
jclass PIP_Problem_Control_Parameter_Name
jclass PIP_Problem_Control_Parameter_Value
jclass PIP_Problem_Status
jclass Poly_Con_Relation
jclass Poly_Gen_Relation
jclass PPL_Object
jclass Relation_Symbol
jclass Variable
jclass Variables_Set

Private Member Functions

void init_cache (JNIEnv *env, jclass &field, const char *name)
 Sets field to a global reference to Java class called name.
void clear_cache (JNIEnv *env, jclass &field)
 Resets field to NULL, deleting the global reference (if any).
 Java_Class_Cache (const Java_Class_Cache &)
Java_Class_Cacheoperator= (const Java_Class_Cache &)

Detailed Description

A cache for global references to Java classes.

The cache is loaded by Parma_Polyhedra_Library.initialize_library(); It is cleared by Parma_Polyhedra_Library.finalize_library().

Definition at line 190 of file ppl_java_common.defs.hh.


Constructor & Destructor Documentation


Member Function Documentation

void Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::clear_cache ( JNIEnv *  env,
jclass &  field 
)
private

Resets field to NULL, deleting the global reference (if any).

Definition at line 162 of file ppl_java_common.cc.

void Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::init_cache ( JNIEnv *  env,
jclass &  field,
const char *  name 
)
private

Sets field to a global reference to Java class called name.

Definition at line 82 of file ppl_java_common.cc.

References CHECK_RESULT_ASSERT.

Java_Class_Cache& Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::operator= ( const Java_Class_Cache )
private

Member Data Documentation


The documentation for this class was generated from the following files: