mirror of git://gcc.gnu.org/git/gcc.git
				
				
				
			
		
			
				
	
	
		
			39 lines
		
	
	
		
			886 B
		
	
	
	
		
			C++
		
	
	
	
			
		
		
	
	
			39 lines
		
	
	
		
			886 B
		
	
	
	
		
			C++
		
	
	
	
| 
 | |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
 | |
| 
 | |
| #ifndef __org_w3c_dom_UserDataHandler__
 | |
| #define __org_w3c_dom_UserDataHandler__
 | |
| 
 | |
| #pragma interface
 | |
| 
 | |
| #include <java/lang/Object.h>
 | |
| extern "Java"
 | |
| {
 | |
|   namespace org
 | |
|   {
 | |
|     namespace w3c
 | |
|     {
 | |
|       namespace dom
 | |
|       {
 | |
|           class Node;
 | |
|           class UserDataHandler;
 | |
|       }
 | |
|     }
 | |
|   }
 | |
| }
 | |
| 
 | |
| class org::w3c::dom::UserDataHandler : public ::java::lang::Object
 | |
| {
 | |
| 
 | |
| public:
 | |
|   virtual void handle(jshort, ::java::lang::String *, ::java::lang::Object *, ::org::w3c::dom::Node *, ::org::w3c::dom::Node *) = 0;
 | |
|   static const jshort NODE_CLONED = 1;
 | |
|   static const jshort NODE_IMPORTED = 2;
 | |
|   static const jshort NODE_DELETED = 3;
 | |
|   static const jshort NODE_RENAMED = 4;
 | |
|   static const jshort NODE_ADOPTED = 5;
 | |
|   static ::java::lang::Class class$;
 | |
| } __attribute__ ((java_interface));
 | |
| 
 | |
| #endif // __org_w3c_dom_UserDataHandler__
 |