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 193 of file ppl_java_common.defs.hh.


Constructor & Destructor Documentation

Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Java_Class_Cache (  ) 
Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Java_Class_Cache ( const Java_Class_Cache  )  [private]

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 157 of file ppl_java_common.cc.

void Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::clear_cache ( JNIEnv *  env  ) 

Resets all fields to NULL.

Definition at line 166 of file ppl_java_common.cc.

Referenced by Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_finalize_1library().

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 77 of file ppl_java_common.cc.

void Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::init_cache ( JNIEnv *  env  ) 

Initializes all cache fields.

Definition at line 89 of file ppl_java_common.cc.

Referenced by Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_initialize_1library().

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

Member Data Documentation

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

Referenced by Java_Class_Cache().

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

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

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

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

Referenced by Java_Class_Cache().

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

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

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

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

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

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

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

Referenced by Java_Class_Cache().

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

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

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

Referenced by Java_Class_Cache().

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

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

Referenced by Java_Class_Cache().

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

Referenced by Java_Class_Cache().

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

Referenced by Java_Class_Cache().

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

Referenced by Java_Class_Cache().

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

Referenced by Java_Class_Cache().

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

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

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

Referenced by Java_Class_Cache().

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

Referenced by Java_Class_Cache().

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

Referenced by Java_Class_Cache().

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

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

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

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

Referenced by Java_Class_Cache().

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

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

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


The documentation for this class was generated from the following files:
Generated on Sun Feb 27 16:35:42 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3