JavaExceptionMessage

Detailed Description

Definition at line 578 of file constraint_solver_java_wrap.cc.

Public Member Functions
	JavaExceptionMessage (JNIEnv *jenv, jthrowable throwable)
const char *	message (const char *null_string="Could not get exception message in JavaExceptionMessage") const
	JavaExceptionMessage (JNIEnv *jenv, jthrowable throwable)
const char *	message (const char *null_string="Could not get exception message in JavaExceptionMessage") const

Constructor & Destructor Documentation

JavaExceptionMessage() [1/2]

JavaExceptionMessage ( JNIEnv *  jenv, jthrowable  throwable  )

inline

Definition at line 580 of file constraint_solver_java_wrap.cc.

JavaExceptionMessage() [2/2]

JavaExceptionMessage ( JNIEnv *  jenv, jthrowable  throwable  )

inline

Definition at line 563 of file sat_java_wrap.cc.

Member Function Documentation

message() [1/2]

const char* message ( const char *  null_string = "Could not get exception message in JavaExceptionMessage" ) const

inline

Definition at line 568 of file sat_java_wrap.cc.

message() [2/2]

const char* message ( const char *  null_string = "Could not get exception message in JavaExceptionMessage" ) const

inline

Definition at line 585 of file constraint_solver_java_wrap.cc.

---

The documentation for this class was generated from the following files:

• constraint_solver_java_wrap.cc
• sat_java_wrap.cc