1 files changed, 47 insertions, 0 deletions
diff --git a/libjava/gnu/java/security/x509/GnuPKIExtension.h b/libjava/gnu/java/security/x509/GnuPKIExtension.h
new file mode 100644
index 000000000..d91dc7b03
--- /dev/null
+++ b/libjava/gnu/java/security/x509/GnuPKIExtension.h
@@ -0,0 +1,47 @@
+
+// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
+
+#ifndef __gnu_java_security_x509_GnuPKIExtension__
+#define __gnu_java_security_x509_GnuPKIExtension__
+
+#pragma interface
+
+#include <java/lang/Object.h>
+#include <gcj/array.h>
+
+extern "Java"
+{
+  namespace gnu
+  {
+    namespace java
+    {
+      namespace security
+      {
+          class OID;
+        namespace x509
+        {
+            class GnuPKIExtension;
+          namespace ext
+          {
+              class Extension;
+          }
+        }
+      }
+    }
+  }
+}
+
+class gnu::java::security::x509::GnuPKIExtension : public ::java::lang::Object
+{
+
+public:
+  virtual ::gnu::java::security::x509::ext::Extension * getExtension(::gnu::java::security::OID *) = 0;
+  virtual ::java::util::Collection * getExtensions() = 0;
+  virtual jboolean hasUnsupportedCriticalExtension() = 0;
+  virtual ::java::util::Set * getCriticalExtensionOIDs() = 0;
+  virtual ::java::util::Set * getNonCriticalExtensionOIDs() = 0;
+  virtual JArray< jbyte > * getExtensionValue(::java::lang::String *) = 0;
+  static ::java::lang::Class class$;
+} __attribute__ ((java_interface));
+
+#endif // __gnu_java_security_x509_GnuPKIExtension__