3 # (C) Copyright IBM Corporation 2004, 2005
6 # Permission is hereby granted, free of charge, to any person obtaining a
7 # copy of this software and associated documentation files (the "Software"),
8 # to deal in the Software without restriction, including without limitation
9 # on the rights to use, copy, modify, merge, publish, distribute, sub
10 # license, and/or sell copies of the Software, and to permit persons to whom
11 # the Software is furnished to do so, subject to the following conditions:
13 # The above copyright notice and this permission notice (including the next
14 # paragraph) shall be included in all copies or substantial portions of the
17 # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 # FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL
20 # IBM AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
22 # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
26 # Ian Romanick <idr@us.ibm.com>
29 import re
, sys
, string
33 def parse_GL_API( file_name
, factory
= None ):
34 doc
= libxml2
.readFile( file_name
, None, libxml2
.XML_PARSE_XINCLUDE
+ libxml2
.XML_PARSE_NOBLANKS
+ libxml2
.XML_PARSE_DTDVALID
+ libxml2
.XML_PARSE_DTDATTR
+ libxml2
.XML_PARSE_DTDLOAD
+ libxml2
.XML_PARSE_NOENT
)
35 ret
= doc
.xincludeProcess()
38 factory
= gl_item_factory()
40 api
= factory
.create_item( "api", None, None )
41 api
.process_element( doc
)
43 # After the XML has been processed, we need to go back and assign
44 # dispatch offsets to the functions that request that their offsets
45 # be assigned by the scripts. Typically this means all functions
46 # that are not part of the ABI.
48 for func
in api
.functionIterateByCategory():
49 if func
.assign_offset
:
50 func
.offset
= api
.next_offset
;
58 def is_attr_true( element
, name
):
59 """Read a name value from an element's attributes.
61 The value read from the attribute list must be either 'true' or
62 'false'. If the value is 'false', zero will be returned. If the
63 value is 'true', non-zero will be returned. An exception will be
64 raised for any other value."""
66 value
= element
.nsProp( name
, None )
69 elif value
== "false":
72 raise RuntimeError('Invalid value "%s" for boolean "%s".' % (value
, name
))
76 """Base class of all API pretty-printers.
78 In the model-view-controller pattern, this is the view. Any derived
79 class will want to over-ride the printBody, printRealHader, and
80 printRealFooter methods. Some derived classes may want to over-ride
81 printHeader and printFooter, or even Print (though this is unlikely).
85 # Name of the script that is generating the output file.
86 # Every derived class should set this to the name of its
92 # License on the *generated* source file. This may differ
93 # from the license on the script that is generating the file.
94 # Every derived class should set this to some reasonable
97 # See license.py for an example of a reasonable value.
99 self
.license
= "The license for this file is unspecified."
102 # The header_tag is the name of the C preprocessor define
103 # used to prevent multiple inclusion. Typically only
104 # generated C header files need this to be set. Setting it
105 # causes code to be generated automatically in printHeader
108 self
.header_tag
= None
111 # List of file-private defines that must be undefined at the
112 # end of the file. This can be used in header files to define
113 # names for use in the file, then undefine them at the end of
120 def Print(self
, api
):
127 def printHeader(self
):
128 """Print the header associated with all files and call the printRealHeader method."""
130 print '/* DO NOT EDIT - This file generated automatically by %s script */' \
134 print ' * ' + self
.license
.replace('\n', '\n * ')
138 print '#if !defined( %s )' % (self
.header_tag
)
139 print '# define %s' % (self
.header_tag
)
141 self
.printRealHeader();
145 def printFooter(self
):
146 """Print the header associated with all files and call the printRealFooter method."""
148 self
.printRealFooter()
152 for u
in self
.undef_list
:
153 print "# undef %s" % (u
)
157 print '#endif /* !defined( %s ) */' % (self
.header_tag
)
160 def printRealHeader(self
):
161 """Print the "real" header for the created file.
163 In the base class, this function is empty. All derived
164 classes should over-ride this function."""
168 def printRealFooter(self
):
169 """Print the "real" footer for the created file.
171 In the base class, this function is empty. All derived
172 classes should over-ride this function."""
177 """Conditionally define `PURE' function attribute.
179 Conditionally defines a preprocessor macro `PURE' that wraps
180 GCC's `pure' function attribute. The conditional code can be
181 easilly adapted to other compilers that support a similar
184 The name is also added to the file's undef_list.
186 self
.undef_list
.append("PURE")
187 print """# if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 96)
188 # define PURE __attribute__((pure))
195 def printFastcall(self
):
196 """Conditionally define `FASTCALL' function attribute.
198 Conditionally defines a preprocessor macro `FASTCALL' that
199 wraps GCC's `fastcall' function attribute. The conditional
200 code can be easilly adapted to other compilers that support a
203 The name is also added to the file's undef_list.
206 self
.undef_list
.append("FASTCALL")
207 print """# if defined(__i386__) && defined(__GNUC__) && !defined(__CYGWIN__) && !defined(__MINGW32__)
208 # define FASTCALL __attribute__((fastcall))
215 def printVisibility(self
, S
, s
):
216 """Conditionally define visibility function attribute.
218 Conditionally defines a preprocessor macro name S that wraps
219 GCC's visibility function attribute. The visibility used is
220 the parameter s. The conditional code can be easilly adapted
221 to other compilers that support a similar feature.
223 The name is also added to the file's undef_list.
226 self
.undef_list
.append(S
)
227 print """# if (__GNUC__ > 3 || (__GNUC__ == 3 && __GNUC_MINOR__ >= 3)) && defined(__ELF__)
228 # define %s __attribute__((visibility("%s")))
231 # endif""" % (S
, s
, S
)
235 def printNoinline(self
):
236 """Conditionally define `NOINLINE' function attribute.
238 Conditionally defines a preprocessor macro `NOINLINE' that
239 wraps GCC's `noinline' function attribute. The conditional
240 code can be easilly adapted to other compilers that support a
243 The name is also added to the file's undef_list.
246 self
.undef_list
.append("NOINLINE")
247 print """# if defined(__GNUC__)
248 # define NOINLINE __attribute__((noinline))
255 def real_function_name(element
):
256 name
= element
.nsProp( "name", None )
257 alias
= element
.nsProp( "alias", None )
265 def real_category_name(c
):
266 if re
.compile("[1-9][0-9]*[.][0-9]+").match(c
):
267 return "GL_VERSION_" + c
.replace(".", "_")
272 def classify_category(name
, number
):
273 """Based on the category name and number, select a numerical class for it.
275 Categories are divided into four classes numbered 0 through 3. The
278 0. Core GL versions, sorted by version number.
279 1. ARB extensions, sorted by extension number.
280 2. Non-ARB extensions, sorted by extension number.
281 3. Un-numbered extensions, sorted by extension name.
285 core_version
= float(name
)
289 if core_version
> 0.0:
292 elif name
.startswith("GL_ARB_") or name
.startswith("GLX_ARB_") or name
.startswith("WGL_ARB_"):
304 return [cat_type
, key
]
307 def create_parameter_string(parameters
, include_names
):
308 """Create a parameter string from a list of gl_parameters."""
313 list.append( p
.string() )
315 list.append( p
.type_string() )
317 if len(list) == 0: list = ["void"]
319 return string
.join(list, ", ")
323 def __init__(self
, element
, context
):
324 self
.context
= context
325 self
.name
= element
.nsProp( "name", None )
326 self
.category
= real_category_name( element
.parent
.nsProp( "name", None ) )
330 class gl_type( gl_item
):
331 def __init__(self
, element
, context
):
332 gl_item
.__init
__(self
, element
, context
)
333 self
.size
= int( element
.nsProp( "size", None ), 0 )
335 te
= typeexpr
.type_expression( None )
336 tn
= typeexpr
.type_node()
337 tn
.size
= int( element
.nsProp( "size", None ), 0 )
338 tn
.integer
= not is_attr_true( element
, "float" )
339 tn
.unsigned
= is_attr_true( element
, "unsigned" )
340 tn
.name
= "GL" + self
.name
341 te
.set_base_type_node( tn
)
347 def get_type_expression(self
):
348 return self
.type_expr
351 class gl_enum( gl_item
):
352 def __init__(self
, element
, context
):
353 gl_item
.__init
__(self
, element
, context
)
354 self
.value
= int( element
.nsProp( "value", None ), 0 )
356 temp
= element
.nsProp( "count", None )
357 if not temp
or temp
== "?":
358 self
.default_count
= -1
363 raise RuntimeError('Invalid count value "%s" for enum "%s" in function "%s" when an integer was expected.' % (temp
, self
.name
, n
))
365 self
.default_count
= c
371 """Calculate a 'priority' for this enum name.
373 When an enum is looked up by number, there may be many
374 possible names, but only one is the 'prefered' name. The
375 priority is used to select which name is the 'best'.
377 Highest precedence is given to core GL name. ARB extension
378 names have the next highest, followed by EXT extension names.
379 Vendor extension names are the lowest.
382 if self
.name
.endswith( "_BIT" ):
387 if self
.category
.startswith( "GL_VERSION_" ):
389 elif self
.category
.startswith( "GL_ARB_" ):
391 elif self
.category
.startswith( "GL_EXT_" ):
396 return priority
+ bias
401 def __init__(self
, element
, context
):
402 self
.name
= element
.nsProp( "name", None )
404 ts
= element
.nsProp( "type", None )
405 self
.type_expr
= typeexpr
.type_expression( ts
, context
)
407 temp
= element
.nsProp( "variable_param", None )
409 self
.count_parameter_list
= temp
.split( ' ' )
411 self
.count_parameter_list
= []
413 # The count tag can be either a numeric string or the name of
414 # a variable. If it is the name of a variable, the int(c)
415 # statement will throw an exception, and the except block will
418 c
= element
.nsProp( "count", None )
428 self
.count_scale
= int(element
.nsProp( "count_scale", None ))
430 elements
= (count
* self
.count_scale
)
434 #if ts == "GLdouble":
435 # print '/* stack size -> %s = %u (before)*/' % (self.name, self.type_expr.get_stack_size())
436 # print '/* # elements = %u */' % (elements)
437 self
.type_expr
.set_elements( elements
)
438 #if ts == "GLdouble":
439 # print '/* stack size -> %s = %u (after) */' % (self.name, self.type_expr.get_stack_size())
441 self
.is_counter
= is_attr_true( element
, 'counter' )
442 self
.is_output
= is_attr_true( element
, 'output' )
445 # Pixel data has special parameters.
447 self
.width
= element
.nsProp('img_width', None)
448 self
.height
= element
.nsProp('img_height', None)
449 self
.depth
= element
.nsProp('img_depth', None)
450 self
.extent
= element
.nsProp('img_extent', None)
452 self
.img_xoff
= element
.nsProp('img_xoff', None)
453 self
.img_yoff
= element
.nsProp('img_yoff', None)
454 self
.img_zoff
= element
.nsProp('img_zoff', None)
455 self
.img_woff
= element
.nsProp('img_woff', None)
457 self
.img_format
= element
.nsProp('img_format', None)
458 self
.img_type
= element
.nsProp('img_type', None)
459 self
.img_target
= element
.nsProp('img_target', None)
461 self
.img_pad_dimensions
= is_attr_true( element
, 'img_pad_dimensions' )
462 self
.img_null_flag
= is_attr_true( element
, 'img_null_flag' )
463 self
.img_send_null
= is_attr_true( element
, 'img_send_null' )
468 def compatible(self
, other
):
473 return self
.is_pointer()
476 def is_pointer(self
):
477 return self
.type_expr
.is_pointer()
487 def is_variable_length(self
):
488 return len(self
.count_parameter_list
) or self
.counter
492 count
= self
.type_expr
.get_element_count()
494 if (self
.size() / count
) == 8:
504 return self
.type_expr
.original_string
+ " " + self
.name
507 def type_string(self
):
508 return self
.type_expr
.original_string
511 def get_base_type_string(self
):
512 return self
.type_expr
.get_base_name()
515 def get_dimensions(self
):
517 return [ 0, "0", "0", "0", "0" ]
537 return [ dim
, w
, h
, d
, e
]
540 def get_stack_size(self
):
541 return self
.type_expr
.get_stack_size()
548 return self
.type_expr
.get_element_size()
551 def get_element_count(self
):
552 c
= self
.type_expr
.get_element_count()
559 def size_string(self
, use_parens
= 1):
561 if self
.counter
or self
.count_parameter_list
:
562 list = [ "compsize" ]
564 if self
.counter
and self
.count_parameter_list
:
565 list.append( self
.counter
)
567 list = [ self
.counter
]
570 list.append( str(s
) )
572 if len(list) > 1 and use_parens
:
573 return "(%s)" % (string
.join(list, " * "))
575 return string
.join(list, " * ")
577 elif self
.is_image():
583 def format_string(self
):
584 if self
.type_expr
.original_string
== "GLenum":
587 return self
.type_expr
.format_string()
591 class gl_function( gl_item
):
592 def __init__(self
, element
, context
):
593 self
.context
= context
596 self
.entry_points
= []
597 self
.return_type
= "void"
603 self
.assign_offset
= 0
605 self
.static_entry_points
= []
607 # Track the parameter string (for the function prototype)
608 # for each entry-point. This is done because some functions
609 # change their prototype slightly when promoted from extension
610 # to ARB extension to core. glTexImage3DEXT and glTexImage3D
611 # are good examples of this. Scripts that need to generate
612 # code for these differing aliases need to real prototype
613 # for each entry-point. Otherwise, they may generate code
614 # that won't compile.
616 self
.parameter_strings
= {}
618 self
.process_element( element
)
623 def process_element(self
, element
):
624 name
= element
.nsProp( "name", None )
625 alias
= element
.nsProp( "alias", None )
627 if is_attr_true(element
, "static_dispatch"):
628 self
.static_entry_points
.append(name
)
630 self
.entry_points
.append( name
)
636 # Only try to set the offset when a non-alias
637 # entry-point is being processes.
639 offset
= element
.nsProp( "offset", None )
646 if offset
== "assign":
647 self
.assign_offset
= 1
651 self
.name
= true_name
652 elif self
.name
!= true_name
:
653 raise RuntimeError("Function true name redefined. Was %s, now %s." % (self
.name
, true_name
))
656 # There are two possible cases. The first time an entry-point
657 # with data is seen, self.initialized will be 0. On that
658 # pass, we just fill in the data. The next time an
659 # entry-point with data is seen, self.initialized will be 1.
660 # On that pass we have to make that the new values match the
661 # valuse from the previous entry-point.
665 child
= element
.children
667 if child
.type == "element":
668 if child
.name
== "return":
669 return_type
= child
.nsProp( "type", None )
670 elif child
.name
== "param":
671 param
= self
.context
.factory
.create_item( "parameter", child
, self
.context
)
672 parameters
.append( param
)
678 if self
.return_type
!= return_type
:
679 raise RuntimeError( "Return type changed in %s. Was %s, now %s." % (name
, self
.return_type
, return_type
))
681 if len(parameters
) != len(self
.parameters
):
682 raise RuntimeError( "Parameter count mismatch in %s. Was %d, now %d." % (name
, len(self
.parameters
), len(parameters
)))
684 for j
in range(0, len(parameters
)):
686 p2
= self
.parameters
[j
]
687 if not p1
.compatible( p2
):
688 raise RuntimeError( 'Parameter type mismatch in %s. "%s" was "%s", now "%s".' % (name
, p2
.name
, p2
.type_expr
.original_string
, p1
.type_expr
.original_string
))
691 if true_name
== name
or not self
.initialized
:
692 self
.return_type
= return_type
693 self
.parameters
= parameters
695 for param
in self
.parameters
:
697 self
.images
.append( param
)
701 self
.parameter_strings
[name
] = create_parameter_string(parameters
, 1)
703 self
.parameter_strings
[name
] = None
708 def get_images(self
):
709 """Return potentially empty list of input images."""
713 def parameterIterator(self
):
714 return self
.parameters
.__iter
__();
717 def get_parameter_string(self
, entrypoint
= None):
719 s
= self
.parameter_strings
[ entrypoint
]
723 return create_parameter_string( self
.parameters
, 1 )
725 def is_static_entry_point(self
, name
):
726 return name
in self
.static_entry_points
728 def dispatch_name(self
):
729 if self
.name
in self
.static_entry_points
:
732 return "_dispatch_stub_%u" % (self
.offset
)
734 def static_name(self
, name
):
735 if name
in self
.static_entry_points
:
738 return "_dispatch_stub_%u" % (self
.offset
)
741 class gl_item_factory
:
742 """Factory to create objects derived from gl_item."""
744 def create_item(self
, item_name
, element
, context
):
745 if item_name
== "function":
746 return gl_function(element
, context
)
747 if item_name
== "type":
748 return gl_type(element
, context
)
749 elif item_name
== "enum":
750 return gl_enum(element
, context
)
751 elif item_name
== "parameter":
752 return gl_parameter(element
, context
)
753 elif item_name
== "api":
760 def __init__(self
, factory
):
761 self
.functions_by_name
= {}
762 self
.enums_by_name
= {}
763 self
.types_by_name
= {}
765 self
.category_dict
= {}
766 self
.categories
= [{}, {}, {}, {}]
768 self
.factory
= factory
772 typeexpr
.create_initial_types()
776 def process_element(self
, doc
):
777 element
= doc
.children
778 while element
.type != "element" or element
.name
!= "OpenGLAPI":
779 element
= element
.next
782 self
.process_OpenGLAPI(element
)
786 def process_OpenGLAPI(self
, element
):
787 child
= element
.children
789 if child
.type == "element":
790 if child
.name
== "category":
791 self
.process_category( child
)
792 elif child
.name
== "OpenGLAPI":
793 self
.process_OpenGLAPI( child
)
800 def process_category(self
, cat
):
801 cat_name
= cat
.nsProp( "name", None )
802 cat_number
= cat
.nsProp( "number", None )
804 [cat_type
, key
] = classify_category(cat_name
, cat_number
)
805 self
.categories
[cat_type
][key
] = [cat_name
, cat_number
]
809 if child
.type == "element":
810 if child
.name
== "function":
811 func_name
= real_function_name( child
)
813 temp_name
= child
.nsProp( "name", None )
814 self
.category_dict
[ temp_name
] = [cat_name
, cat_number
]
816 if self
.functions_by_name
.has_key( func_name
):
817 func
= self
.functions_by_name
[ func_name
]
818 func
.process_element( child
)
820 func
= self
.factory
.create_item( "function", child
, self
)
821 self
.functions_by_name
[ func_name
] = func
823 if func
.offset
>= self
.next_offset
:
824 self
.next_offset
= func
.offset
+ 1
827 elif child
.name
== "enum":
828 enum
= self
.factory
.create_item( "enum", child
, self
)
829 self
.enums_by_name
[ enum
.name
] = enum
830 elif child
.name
== "type":
831 t
= self
.factory
.create_item( "type", child
, self
)
832 self
.types_by_name
[ "GL" + t
.name
] = t
840 def functionIterateByCategory(self
, cat
= None):
841 """Iterate over functions by category.
843 If cat is None, all known functions are iterated in category
844 order. See classify_category for details of the ordering.
845 Within a category, functions are sorted by name. If cat is
846 not None, then only functions in that category are iterated.
848 lists
= [{}, {}, {}, {}]
850 for func
in self
.functionIterateAll():
851 [cat_name
, cat_number
] = self
.category_dict
[func
.name
]
853 if (cat
== None) or (cat
== cat_name
):
854 [func_cat_type
, key
] = classify_category(cat_name
, cat_number
)
856 if not lists
[func_cat_type
].has_key(key
):
857 lists
[func_cat_type
][key
] = {}
859 lists
[func_cat_type
][key
][func
.name
] = func
863 for func_cat_type
in range(0,4):
864 keys
= lists
[func_cat_type
].keys()
868 names
= lists
[func_cat_type
][key
].keys()
872 functions
.append(lists
[func_cat_type
][key
][name
])
874 return functions
.__iter
__()
877 def functionIterateByOffset(self
):
879 for func
in self
.functions_by_name
.itervalues():
880 if func
.offset
> max_offset
:
881 max_offset
= func
.offset
884 temp
= [None for i
in range(0, max_offset
+ 1)]
885 for func
in self
.functions_by_name
.itervalues():
886 if func
.offset
!= -1:
887 temp
[ func
.offset
] = func
891 for i
in range(0, max_offset
+ 1):
895 return list.__iter
__();
898 def functionIterateAll(self
):
899 return self
.functions_by_name
.itervalues()
902 def enumIterateByName(self
):
903 keys
= self
.enums_by_name
.keys()
908 list.append( self
.enums_by_name
[ enum
] )
910 return list.__iter
__()
913 def categoryIterate(self
):
914 """Iterate over categories.
916 Iterate over all known categories in the order specified by
917 classify_category. Each iterated value is a tuple of the
918 name and number (which may be None) of the category.
922 for cat_type
in range(0,4):
923 keys
= self
.categories
[cat_type
].keys()
927 list.append(self
.categories
[cat_type
][key
])
929 return list.__iter
__()
932 def get_category_for_name( self
, name
):
933 if self
.category_dict
.has_key(name
):
934 return self
.category_dict
[name
]
936 return ["<unknown category>", None]
939 def typeIterate(self
):
940 return self
.types_by_name
.itervalues()
943 def find_type( self
, type_name
):
944 if type_name
in self
.types_by_name
:
945 return self
.types_by_name
[ type_name
].type_expr
947 print "Unable to find base type matching \"%s\"." % (type_name
)