April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(serial): New commits
by Roberto Bagnara 24 Apr '09

24 Apr '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e35fe767762… Merge: 96f52363af74f4f9cc45f7e0287fc1740385f52a c165032ea5b1736061c110240c22c972732db98b Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 24 08:44:10 2009 +0200 Merge branch 'master' into serial. Resolved conflicts: configure.ac src/Bit_Row.defs.hh src/Makefile.am src/Polyhedron.defs.hh src/Row.defs.hh

1 0

[GIT] ppl/ppl(master): Corrected Java Generator private method void set( Generator).
by Enea Zaffanella 23 Apr '09

23 Apr '09

Module: ppl/ppl Branch: master Commit: b1c68544454e49a25a446e3344d2657cbf15c786 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1c68544454e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 20:45:46 2009 +0200 Corrected Java Generator private method void set(Generator). We were not correctly setting the divisor for the generator. Also got rid of unused jni method set_grid_generator(). --- interfaces/Java/jni/ppl_java_common.cc | 15 +-------- interfaces/Java/jni/ppl_java_common.defs.hh | 7 ---- .../Java/parma_polyhedra_library/Generator.java | 35 ++++++++++--------- 3 files changed, 19 insertions(+), 38 deletions(-) diff --git a/interfaces/Java/jni/ppl_java_common.cc b/interfaces/Java/jni/ppl_java_common.cc index f69ac06..d36da04 100644 --- a/interfaces/Java/jni/ppl_java_common.cc +++ b/interfaces/Java/jni/ppl_java_common.cc @@ -779,7 +779,7 @@ build_cxx_generator(JNIEnv* env, jobject j_generator) { CHECK_RESULT_ASSERT(env, j_le_field); jobject j_le = env->GetObjectField(j_generator, j_le_field); jfieldID j_coeff_field - = env->GetFieldID(generator_class, "den", + = env->GetFieldID(generator_class, "div", "Lparma_polyhedra_library/Coefficient;"); CHECK_RESULT_ASSERT(env, j_coeff_field); jobject j_coeff = env->GetObjectField(j_generator, j_coeff_field); @@ -1064,19 +1064,6 @@ set_generator(JNIEnv* env, jobject& to_be_set, jobject gen) { } void -set_grid_generator(JNIEnv* env, jobject& to_be_set, jobject gen) { - jclass j_generator_class - = env->FindClass("parma_polyhedra_library/Grid_Generator"); - CHECK_RESULT_ASSERT(env, j_generator_class); - jmethodID j_coeff_set_id - = env->GetMethodID(j_generator_class, "set", - "(Lparma_polyhedra_library/Grid_Generator;)V"); - CHECK_RESULT_ASSERT(env, j_coeff_set_id); - env->CallVoidMethod(to_be_set, j_coeff_set_id, gen); - CHECK_EXCEPTION_ASSERT(env); // CHECK ME: an exception is better here? -} - -void set_coefficient(JNIEnv* env, jobject& to_be_set, jobject c) { jclass j_coeff_class = env->FindClass("parma_polyhedra_library/Coefficient"); diff --git a/interfaces/Java/jni/ppl_java_common.defs.hh b/interfaces/Java/jni/ppl_java_common.defs.hh index b0854a8..6e47223 100644 --- a/interfaces/Java/jni/ppl_java_common.defs.hh +++ b/interfaces/Java/jni/ppl_java_common.defs.hh @@ -390,13 +390,6 @@ set_generator(JNIEnv* env, jobject& to_be_set, jobject gen); /*! \brief Sets Java reference \p to_be_set - to the parma_polyhedra_library::Grid_Generator object \p g_gen. -*/ -void -set_grid_generator(JNIEnv* env, jobject& to_be_set, jobject g_gen); - -/*! \brief - Sets Java reference \p to_be_set to the parma_polyhedra_library::Coefficient object \p c. */ void diff --git a/interfaces/Java/parma_polyhedra_library/Generator.java b/interfaces/Java/parma_polyhedra_library/Generator.java index 19189ba..08f86fc 100644 --- a/interfaces/Java/parma_polyhedra_library/Generator.java +++ b/interfaces/Java/parma_polyhedra_library/Generator.java @@ -37,8 +37,8 @@ import javax.management.RuntimeErrorException; - a closure point. */ public class Generator { - //! The denominator used if the generator is a point or a clousure point. - private Coefficient den; + //! The divisor (valid if the generator is a point or a closure point). + private Coefficient div; //! The generator type. private Generator_Type gt; @@ -47,8 +47,8 @@ public class Generator { private Linear_Expression le; /*! \brief - Builds a generator of type \p g_type, stealing the coefficients from - \p e. + Builds a generator of type \p g_type, + stealing the coefficients from \p e. */ private Generator(Linear_Expression e, Generator_Type g_type) { le = e.clone(); @@ -61,16 +61,16 @@ public class Generator { Thrown if \p d is zero. */ public static Generator closure_point(Linear_Expression e, - Coefficient c) { - if (c.getBigInteger().equals(java.math.BigInteger.ZERO)) { + Coefficient d) { + if (d.getBigInteger().equals(java.math.BigInteger.ZERO)) { Error cause = new Error("parma_polyhedra_library.Generator::" - + "Generator(le, c):\n" + + "Generator(e, d):\n" + "the divisor can not be zero."); throw new RuntimeErrorException(cause); } Generator g = new Generator(e, Generator_Type.CLOSURE_POINT); - g.den = c; + g.div = d; return g; } @@ -80,8 +80,8 @@ public class Generator { Thrown if the homogeneous part of \p e represents the origin of the vector space. */ - public static Generator line(Linear_Expression le) { - return new Generator(le, Generator_Type.LINE); + public static Generator line(Linear_Expression e) { + return new Generator(e, Generator_Type.LINE); } //! Returns the point at \p e / \p d. @@ -89,16 +89,16 @@ public class Generator { \exception RuntimeErrorException Thrown if \p d is zero. */ - public static Generator point(Linear_Expression le, Coefficient d) { + public static Generator point(Linear_Expression e, Coefficient d) { if (d.getBigInteger().equals(java.math.BigInteger.ZERO)) { Error cause = new Error("parma_polyhedra_library.Generator::" - + "Generator(le, d):\n" + + "Generator(e, d):\n" + "the divisor can not be zero."); throw new RuntimeErrorException(cause); } - Generator g = new Generator(le, Generator_Type.POINT); - g.den = d; + Generator g = new Generator(e, Generator_Type.POINT); + g.div = d; return g; } @@ -108,8 +108,8 @@ public class Generator { Thrown if the homogeneous part of \p e represents the origin of the vector space. */ - public static Generator ray(Linear_Expression le) { - return new Generator(le, Generator_Type.RAY); + public static Generator ray(Linear_Expression e) { + return new Generator(e, Generator_Type.RAY); } //! If \p this is either a point or a closure point, returns its divisor. @@ -120,7 +120,7 @@ public class Generator { public Coefficient divisor() { if (this.gt == Generator_Type.POINT || this.gt == Generator_Type.CLOSURE_POINT) - return den; + return div; Error cause = new Error("parma_polyhedra_library.Generator::divisor:\n" + "this is neither a point" + " nor a closure point."); @@ -131,6 +131,7 @@ public class Generator { private void set(Generator g) { this.le = g.le; this.gt = g.gt; + this.div = g.div; } //! Returns an ascii formatted internal representation of \p this.

1 0

[GIT] ppl/ppl(master): Got rid of (unnecessarily involved) method is_null.
by Enea Zaffanella 23 Apr '09

23 Apr '09

Module: ppl/ppl Branch: master Commit: de88902aff57879b54b8d43957f49d4250f1ba7b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de88902aff57… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 19:59:49 2009 +0200 Got rid of (unnecessarily involved) method is_null. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 8 ++++---- interfaces/Java/jni/ppl_java_common.cc | 16 ---------------- interfaces/Java/jni/ppl_java_common.defs.hh | 4 ---- .../Java/parma_polyhedra_library/By_Reference.java | 6 ------ 4 files changed, 4 insertions(+), 30 deletions(-) diff --git a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 index 1a24c00..7b80eb6 100644 --- a/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 +++ b/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4 @@ -868,7 +868,7 @@ Java_parma_1polyhedra_1library_@1CLASS@_@1WIDEN@_1widening_1assign = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_this)); @CPP_CLASS@* y_ptr = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_y)); - if (is_null(env, j_by_ref_int)) + if (j_by_ref_int == NULL) this_ptr->@WIDEN@_widening_assign(*y_ptr); else { jobject j_integer = get_by_reference(env, j_by_ref_int); @@ -892,7 +892,7 @@ Java_parma_1polyhedra_1library_@1CLASS@_widening_1assign = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_this)); @CPP_CLASS@* y_ptr = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_y)); - if (is_null(env, j_by_ref_int)) + if (j_by_ref_int == NULL) this_ptr->widening_assign(*y_ptr); else { jobject j_integer = get_by_reference(env, j_by_ref_int); @@ -916,7 +916,7 @@ Java_parma_1polyhedra_1library_@1CLASS@_@1EXTRAPOLATION@_1extrapolation_1assign = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_this)); @CPP_CLASS@* y_ptr = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_y)); - if (is_null(env, j_by_ref_int)) + if (j_by_ref_int == NULL) this_ptr->@EXTRAPOLATION@_extrapolation_assign(*y_ptr); else { jobject j_integer = get_by_reference(env, j_by_ref_int); @@ -957,7 +957,7 @@ Java_parma_1polyhedra_1library_@1CLASS@_@1LIMITEDBOUNDED@_1@1WIDENEXPN@_1extrapo @CPP_CLASS@* y_ptr = reinterpret_cast<@CPP_CLASS@*>(get_ptr(env, j_y)); @!CONSTRAINER@_System cs = build_cxx_@CONSTRAINER@_system(env, j_cs); - if (is_null(env, j_by_ref_int)) + if (j_by_ref_int == NULL) this_ptr->@LIMITEDBOUNDED@_@WIDENEXPN@_extrapolation_assign(*y_ptr, cs); else { jobject j_integer = get_by_reference(env, j_by_ref_int); diff --git a/interfaces/Java/jni/ppl_java_common.cc b/interfaces/Java/jni/ppl_java_common.cc index e36c604..f69ac06 100644 --- a/interfaces/Java/jni/ppl_java_common.cc +++ b/interfaces/Java/jni/ppl_java_common.cc @@ -1173,22 +1173,6 @@ get_pair_element(JNIEnv* env, int arg, jobject j_pair) { } } -jboolean -is_null(JNIEnv* env, jobject obj) { - jclass by_reference_class - = env->FindClass("parma_polyhedra_library/By_Reference"); - CHECK_RESULT_ASSERT(env, by_reference_class); - jmethodID j_reference_is_null_id - = env->GetStaticMethodID(by_reference_class, - "is_null", - "(Ljava/lang/Object;)Z"); - CHECK_RESULT_ASSERT(env, j_reference_is_null_id); - jboolean ret = env->CallStaticBooleanMethod(by_reference_class, - j_reference_is_null_id, obj); - CHECK_EXCEPTION_ASSERT(env); // CHECK ME: an exception is better here? - return ret; -} - jobject build_java_constraint(JNIEnv* env, const Constraint& c) { jclass j_constraint_class diff --git a/interfaces/Java/jni/ppl_java_common.defs.hh b/interfaces/Java/jni/ppl_java_common.defs.hh index 7969cc6..b0854a8 100644 --- a/interfaces/Java/jni/ppl_java_common.defs.hh +++ b/interfaces/Java/jni/ppl_java_common.defs.hh @@ -444,10 +444,6 @@ set_pair_element(JNIEnv* env, jobject& pair_to_be_set, jobject get_pair_element(JNIEnv* env, int arg, jobject pair); -//! Returns \c true if and only if \p obj is a null Java reference. -jboolean -is_null(JNIEnv* env, jobject obj); - //! Returns a pointer to the C++ object wrapped by \p ppl_object. void* get_ptr(JNIEnv* env, jobject ppl_object); diff --git a/interfaces/Java/parma_polyhedra_library/By_Reference.java b/interfaces/Java/parma_polyhedra_library/By_Reference.java index dda3f27..17bb4a0 100644 --- a/interfaces/Java/parma_polyhedra_library/By_Reference.java +++ b/interfaces/Java/parma_polyhedra_library/By_Reference.java @@ -43,10 +43,4 @@ public class By_Reference<T> { return obj; } - // FIXME: this must be moved in another place. - static boolean is_null(java.lang.Object obj) { - if (obj == null) - return true; - return false; - } }

1 0

[GIT] ppl/ppl(master): Prefer passing jobject, jint and jlong by value.
by Enea Zaffanella 23 Apr '09

23 Apr '09

Module: ppl/ppl Branch: master Commit: 9a391d71c0cd009dfe2c3c345a92ad996cb284c8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a391d71c0cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 23 18:25:04 2009 +0200 Prefer passing jobject, jint and jlong by value. --- interfaces/Java/jni/ppl_java_common.cc | 80 +++++++++++------------- interfaces/Java/jni/ppl_java_common.defs.hh | 78 +++++++++++------------ interfaces/Java/jni/ppl_java_common.inlines.hh | 2 +- 3 files changed, 74 insertions(+), 86 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9a391d71…

1 0

[Fwd: GCC 4.4.0 Released]
by Roberto Bagnara 23 Apr '09

23 Apr '09

-------- Original Message -------- Subject: GCC 4.4.0 Released Date: Thu, 23 Apr 2009 09:12:30 +0200 From: Jakub Jelinek <jakub(a)redhat.com> Reply-To: Jakub Jelinek <jakub(a)redhat.com> Organization: Dipartimento di Informatica To: gcc-announce(a)gcc.gnu.org, gcc(a)gcc.gnu.org The GNU Compiler Collection version 4.4.0 has been released. GCC 4.4.0 is a major release, containing substantial new functionality not available in GCC 4.3.x or previous GCC releases. See: http://gcc.gnu.org/gcc-4.4/changes.html for more information about changes in GCC 4.4.0. This release is available from the FTP servers listed here: http://www.gnu.org/order/ftp.html The release is in gcc/gcc-4.4.0/ subdirectory. If you encounter difficulties using GCC 4.4, please do not contact me directly. Instead, please visit http://gcc.gnu.org for information about getting help. As always, a vast number of people contributed to this GCC releases -- far too many to thank individually! -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(master): Added missing checks.
by Abramo Bagnara 23 Apr '09

23 Apr '09

Module: ppl/ppl Branch: master Commit: c165032ea5b1736061c110240c22c972732db98b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c165032ea5b1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 23 16:36:00 2009 +0200 Added missing checks. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 36 ++- interfaces/Java/jni/ppl_java_common.cc | 393 ++++++++++++++++---- interfaces/Java/jni/ppl_java_common.defs.hh | 16 + interfaces/Java/jni/ppl_java_common.inlines.hh | 45 ++- interfaces/Java/jni/ppl_java_globals.cc | 13 +- 5 files changed, 425 insertions(+), 78 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c165032e…

1 0

[GIT] ppl/ppl(master): Avoid use of anonymous enum.
by Abramo Bagnara 23 Apr '09

23 Apr '09

Module: ppl/ppl Branch: master Commit: ececf3c3476d18d1a87795e3334f9b372ea658cb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ececf3c3476d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 23 12:23:41 2009 +0200 Avoid use of anonymous enum. --- src/C_Integer.hh | 20 ++++++++++---------- src/checked.cc | 2 +- src/meta_programming.hh | 10 +++++----- 3 files changed, 16 insertions(+), 16 deletions(-) diff --git a/src/C_Integer.hh b/src/C_Integer.hh index 86df040..1687382 100644 --- a/src/C_Integer.hh +++ b/src/C_Integer.hh @@ -62,7 +62,7 @@ struct C_Integer : public False { }; template <> struct C_Integer<signed char> : public True { - enum { is_signed = true }; + enum anonymous_enum { is_signed = true }; typedef void smaller_type; typedef void smaller_signed_type; typedef void smaller_unsigned_type; @@ -73,7 +73,7 @@ struct C_Integer<signed char> : public True { template <> struct C_Integer<signed short> : public True { - enum { is_signed = true }; + enum anonymous_enum { is_signed = true }; typedef signed char smaller_type; typedef signed char smaller_signed_type; typedef unsigned char smaller_unsigned_type; @@ -84,7 +84,7 @@ struct C_Integer<signed short> : public True { template <> struct C_Integer<signed int> : public True { - enum { is_signed = true }; + enum anonymous_enum { is_signed = true }; typedef signed short smaller_type; typedef signed short smaller_signed_type; typedef unsigned short smaller_unsigned_type; @@ -95,7 +95,7 @@ struct C_Integer<signed int> : public True { template <> struct C_Integer<signed long> : public True { - enum { is_signed = true }; + enum anonymous_enum { is_signed = true }; typedef signed int smaller_type; typedef signed int smaller_signed_type; typedef unsigned int smaller_unsigned_type; @@ -106,7 +106,7 @@ struct C_Integer<signed long> : public True { template <> struct C_Integer<signed long long> : public True { - enum { is_signed = true }; + enum anonymous_enum { is_signed = true }; typedef signed long smaller_type; typedef signed long smaller_signed_type; typedef unsigned long smaller_unsigned_type; @@ -117,7 +117,7 @@ struct C_Integer<signed long long> : public True { template <> struct C_Integer<unsigned char> : public True { - enum { is_signed = false }; + enum anonymous_enum { is_signed = false }; typedef void smaller_type; typedef void smaller_signed_type; typedef void smaller_unsigned_type; @@ -128,7 +128,7 @@ struct C_Integer<unsigned char> : public True { template <> struct C_Integer<unsigned short> : public True { - enum { is_signed = false }; + enum anonymous_enum { is_signed = false }; typedef unsigned char smaller_type; typedef signed char smaller_signed_type; typedef unsigned char smaller_unsigned_type; @@ -139,7 +139,7 @@ struct C_Integer<unsigned short> : public True { template <> struct C_Integer<unsigned int> : public True { - enum { is_signed = false }; + enum anonymous_enum { is_signed = false }; typedef unsigned short smaller_type; typedef signed short smaller_signed_type; typedef unsigned short smaller_unsigned_type; @@ -150,7 +150,7 @@ struct C_Integer<unsigned int> : public True { template <> struct C_Integer<unsigned long> : public True { - enum { is_signed = false }; + enum anonymous_enum { is_signed = false }; typedef unsigned int smaller_type; typedef signed int smaller_signed_type; typedef unsigned int smaller_unsigned_type; @@ -161,7 +161,7 @@ struct C_Integer<unsigned long> : public True { template <> struct C_Integer<unsigned long long> : public True { - enum { is_signed = false }; + enum anonymous_enum { is_signed = false }; typedef unsigned long smaller_type; typedef signed long smaller_signed_type; typedef unsigned long smaller_unsigned_type; diff --git a/src/checked.cc b/src/checked.cc index bd19e2b..e21c25d 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -90,7 +90,7 @@ sum_sign(bool& a_neg, unsigned long& a_mod, */ Result parse_number_part(std::istream& is, number_struct& num) { - enum { BASE, INTEGER, FRACTIONAL, EXPONENT } state = BASE; + enum anonymous_enum { BASE, INTEGER, FRACTIONAL, EXPONENT } state = BASE; PPL_UNINITIALIZED(unsigned long, max_exp_div); PPL_UNINITIALIZED(int, max_exp_rem); bool empty_exponent = true; diff --git a/src/meta_programming.hh b/src/meta_programming.hh index 83c29fb..a28f659 100644 --- a/src/meta_programming.hh +++ b/src/meta_programming.hh @@ -39,7 +39,7 @@ namespace Parma_Polyhedra_Library { */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) #define const_bool_nodef(name, value) \ - enum { name = (value) } + enum anonymous_enum_ ## name { name = (value) } #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief @@ -53,7 +53,7 @@ namespace Parma_Polyhedra_Library { */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) #define const_int_nodef(name, value) \ - enum { name = (value) } + enum anonymous_enum_ ## name { name = (value) } #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief @@ -116,7 +116,7 @@ struct Compile_Time_Check<true> { #define PPL_COMPILE_TIME_CHECK_NAME(suffix) compile_time_check_ ## suffix #define PPL_COMPILE_TIME_CHECK_AUX(e, suffix) \ - enum { \ + enum anonymous_enum_compile_time_check_ ## suffix { \ /* If e evaluates to false, then the sizeof cannot be compiled. */ \ PPL_COMPILE_TIME_CHECK_NAME(suffix) \ = sizeof(Parma_Polyhedra_Library:: \ @@ -141,7 +141,7 @@ struct Compile_Time_Check<true> { #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <bool b> struct Bool { - enum { + enum anonymous_enum { value = b }; }; @@ -244,7 +244,7 @@ struct Is_Same_Or_Derived { "architecture with sizeof(char) == sizeof(double)" " (!?)"); - enum { + enum anonymous_enum { /*! Assuming <CODE>sizeof(char) != sizeof(double)</CODE>, the C++ overload resolution mechanism guarantees that \p value evaluates

1 0

[Fwd: Re: [Fwd: Re: Some troubles I met while building PPL.]]
by Enea Zaffanella 23 Apr '09

23 Apr '09

@Yuriy: please, direct all mails related to the PPL to the ppl-devel mailing list. -------- Original Message -------- [...] From: Yuriy Taraday Subject: Re: [PPL-devel] [Fwd: Re: Some troubles I met while building PPL.] To: zaffanella(a)cs.unipr.it [...] Oh, we didn't mention this function before. I'm curious why "const jobject&"? jobject - just a pointer and constant referencing to a pointer looks pointless. On Thu, Apr 23, 2009 at 1:08 PM, Enea Zaffanella <zaffanella(a)cs.unipr.it <mailto:zaffanella@cs.unipr.it>> wrote: Yuriy Taraday <yorik.sar(a)gmail.com <mailto:yorik.sar@gmail.com>> wrote: [...] By the way, in our project we use Java interface and we needed the value of PPL_Object.ptr to use in JNI library. May be, it should be somehow accessible from the outside? It might be useful for extending PPL and using it in conjunction with other libraries. Well, I am a bit reluctant in making this publicly accessible, since it is an implementation detail and we would like to have maximum freedom about it (for instance, currently not all PPL Java objects are derived from PPL_Object). Anyway, if you are working at the JNI level and you don't mind having to fix your code whenever we might decide to change the implementation, then you should be able to extract the C++ pointer in the same way we currently do: [code snippet from interfaces/Java/jni/ppl_java_globals.cc] ================= MIP_Problem* mip = reinterpret_cast<MIP_Problem*>(get_ptr(env, j_this_mip_problem)); ================= Here we use the helper function `get_ptr' function from ppl_java_common.defs.hh: //! Returns a pointer to the C++ object wrapped by \p ppl_object. void* get_ptr(JNIEnv* env, const jobject& ppl_object); to obtain a void*, which is then immediately cast to the appropriate C++ pointer type. Regards, Enea Zaffanella.

1 0

[Fwd: Re: Some troubles I met while building PPL.]
by Abramo Bagnara 23 Apr '09

23 Apr '09

-- Abramo Bagnara Opera Unica Phone: +39.0546.656023 Via Borghesi, 16 48014 Castel Bolognese (RA) - Italy

2 1

Re: [PPL-devel] Some troubles I met while building PPL.
by Abramo Bagnara 23 Apr '09

23 Apr '09

Yuriy Taraday ha scritto: > Wow... > I didn't face any problems compiling GMP, I only had to explicity set > ABI version to 32 (by default it builds with 64, but PPL's configure > didn't recognize it). > The only problem with PPL was that missing name of the enum, I added it > and everything became fine. Not everything that compiles runs as expected. These compilers are deprecated for very good reasons, but of course you're free to use the compiler you prefer. Please understand, however, that if you choose to use unsupported versions, we could not be able to support you and to track your bug reports. Best regards, Abramo -- Abramo Bagnara Opera Unica Phone: +39.0546.656023 Via Borghesi, 16 48014 Castel Bolognese (RA) - Italy

1 0