25 |
|
|
26 |
/** The interface to the paper library. |
/** The interface to the paper library. |
27 |
*/ |
*/ |
28 |
public class Paper { |
public class Paper implements GLDeletable { |
29 |
public static boolean dbg = true; |
public static boolean dbg = true; |
30 |
private static void p(String s) { if(dbg) System.out.println(s); } |
private static void p(String s) { if(dbg) System.out.println(s); } |
31 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.err.println(s); } |
75 |
} |
} |
76 |
|
|
77 |
public void finalize() { |
public void finalize() { |
78 |
|
if(c_id != 0) GL.addDeletable(this); |
79 |
|
} |
80 |
|
public void deleteObject() { |
81 |
impl_delete(c_id); |
impl_delete(c_id); |
82 |
|
c_id = 0; |
83 |
} |
} |
84 |
|
|
85 |
int getId() { return c_id; } |
int getId() { return c_id; } |