/* DO NOT EDIT THIS FILE - it is machine generated */
#include <jni.h>
/* Header for class org_mozilla_webclient_wrapper_0005fnative_RDFEnumeration */

#ifndef _Included_org_mozilla_webclient_wrapper_0005fnative_RDFEnumeration
#define _Included_org_mozilla_webclient_wrapper_0005fnative_RDFEnumeration
#ifdef __cplusplus
extern "C" {
#endif
/*
 * Class:     org_mozilla_webclient_wrapper_0005fnative_RDFEnumeration
 * Method:    nativeFinalize
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_org_mozilla_webclient_wrapper_1native_RDFEnumeration_nativeFinalize
  (JNIEnv *, jobject);

/*
 * Class:     org_mozilla_webclient_wrapper_0005fnative_RDFEnumeration
 * Method:    nativeHasMoreElements
 * Signature: (I)Z
 */
JNIEXPORT jboolean JNICALL Java_org_mozilla_webclient_wrapper_1native_RDFEnumeration_nativeHasMoreElements
  (JNIEnv *, jobject, jint);

/*
 * Class:     org_mozilla_webclient_wrapper_0005fnative_RDFEnumeration
 * Method:    nativeNextElement
 * Signature: (I)I
 */
JNIEXPORT jint JNICALL Java_org_mozilla_webclient_wrapper_1native_RDFEnumeration_nativeNextElement
  (JNIEnv *, jobject, jint);

#ifdef __cplusplus
}
#endif
#endif