register on_binding attribute

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

src/api/java/NativeStatic.txt

@@ -92,6 +92,7 @@ struct JavaInfo {
   jmethodID eq = nullptr;
   jmethodID final = nullptr;
   jmethodID decide = nullptr;
+  jmethodID on_binding = nullptr;
 
   Z3_solver_callback cb = nullptr;
 };
@@ -173,6 +174,7 @@ DLL_VIS JNIEXPORT jlong JNICALL Java_com_microsoft_z3_Native_propagateInit(JNIEn
   info->eq = jenv->GetMethodID(jcls, "eqWrapper", "(JJ)V");
   info->final = jenv->GetMethodID(jcls, "finWrapper", "()V");
   info->decide = jenv->GetMethodID(jcls, "decideWrapper", "(JIZ)V");
+  info->on_binding = jenv->GetMethodID(jcls, "onBindingWrapper", "(JIZ)V");
 
   if (!info->push || !info->pop || !info->fresh || !info->created || !info->fixed || !info->eq || !info->final || !info->decide) {
     assert(false);