mirror of git://gcc.gnu.org/git/gcc.git
				
				
				
			
		
			
				
	
	
		
			40 lines
		
	
	
		
			845 B
		
	
	
	
		
			C++
		
	
	
	
			
		
		
	
	
			40 lines
		
	
	
		
			845 B
		
	
	
	
		
			C++
		
	
	
	
| 
 | |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
 | |
| 
 | |
| #ifndef __org_w3c_dom_html2_HTMLOptionsCollection__
 | |
| #define __org_w3c_dom_html2_HTMLOptionsCollection__
 | |
| 
 | |
| #pragma interface
 | |
| 
 | |
| #include <java/lang/Object.h>
 | |
| extern "Java"
 | |
| {
 | |
|   namespace org
 | |
|   {
 | |
|     namespace w3c
 | |
|     {
 | |
|       namespace dom
 | |
|       {
 | |
|           class Node;
 | |
|         namespace html2
 | |
|         {
 | |
|             class HTMLOptionsCollection;
 | |
|         }
 | |
|       }
 | |
|     }
 | |
|   }
 | |
| }
 | |
| 
 | |
| class org::w3c::dom::html2::HTMLOptionsCollection : public ::java::lang::Object
 | |
| {
 | |
| 
 | |
| public:
 | |
|   virtual jint getLength() = 0;
 | |
|   virtual void setLength(jint) = 0;
 | |
|   virtual ::org::w3c::dom::Node * item(jint) = 0;
 | |
|   virtual ::org::w3c::dom::Node * namedItem(::java::lang::String *) = 0;
 | |
|   static ::java::lang::Class class$;
 | |
| } __attribute__ ((java_interface));
 | |
| 
 | |
| #endif // __org_w3c_dom_html2_HTMLOptionsCollection__
 |