[PPL-devel] ppl/interfaces/Java/jni ppl_interface_generato ...

[Andrea Cimino]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	cimino at cs.unipr.it	2008-09-05 19:27:31

Modified files:
	interfaces/Java/jni: 
	                     ppl_interface_generator_java_ppl_java_classes_cc_code.m4 
	                     ppl_java_common.cc ppl_java_common.hh 
	                     ppl_java_globals.cc 

Log message:
	Use always `set_ptr' to set the value of the C++
	object pointer in the Java world, this makes the
	code cleaner. This was made also to implement (in a near
	future) de-allocation with the recently added functions in
	`marked_pointers.hh'
	Changed the `set_ptr' definition to avoid casts
	in the code.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_ppl_java_classes_cc_code.m4.diff?cvsroot=ppl&r1=1.52&r2=1.53
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.cc.diff?cvsroot=ppl&r1=1.39&r2=1.40
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.hh.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_globals.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10