Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-07 05:24:46 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

log refcount changes

Browse source
This commit is contained in:
Eric House 2016-04-07 09:48:23 -07:00
parent b2c4bd9e23
commit 160d69640a
1 changed files with 10 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
xwords4/android/XWords4/src/org/eehouse/android/xw4/jni/XwJNI.java
View file

@ -35,9 +35,11 @@ public class XwJNI {
public static class GamePtr {
private int m_ptr = 0;
private int m_refCount = 0;
private long m_rowid;
private GamePtr( int ptr ) {
private GamePtr( int ptr, long rowid ) {
m_ptr = ptr;
m_rowid = rowid;
retain();
}
@ -46,6 +48,8 @@ public class XwJNI {
public synchronized GamePtr retain()
{
++m_refCount;
DbgUtils.logdf( "GamePtr.retain(this=%H, rowid=%d): refCount now %d",
this, m_rowid, m_refCount );
return this;
}
@ -53,7 +57,10 @@ public class XwJNI {
// better if jni stuff isn't being done on the finalizer thread
public synchronized void release()
{
if ( 0 == --m_refCount ) {
--m_refCount;
DbgUtils.logdf( "GamePtr.release(this=%H, rowid=%d): refCount now %d",
this, m_rowid, m_refCount );
if ( 0 == m_refCount ) {
if ( 0 != m_ptr ) {
game_dispose( this );
m_ptr = 0;
@ -146,7 +153,7 @@ public class XwJNI {
int seed = Utils.nextRandomInt();
String tag = String.format( "%d", rowid );
int ptr = initJNI( getJNI().m_ptr, seed, tag );
GamePtr result = 0 == ptr ? null : new GamePtr( ptr );
GamePtr result = 0 == ptr ? null : new GamePtr( ptr, rowid );
return result;
}