()
| 492 | |
| 493 | // destructor automatically caled at destroyed time. |
| 494 | protected void finalize() { |
| 495 | // FIXME: crashed on Ubuntu 14.04 64bit, OpenJDK java 1.6.0_33 |
| 496 | // cs.cs_close(ns.handleRef); |
| 497 | } |
| 498 | |
| 499 | // destructor automatically caled at destroyed time. |
| 500 | public int close() { |
nothing calls this directly
no outgoing calls
no test coverage detected