Permalink
Switch branches/tags
stable-20161113-115302 stable-20151214-102407 stable-20150506-095613 stable-20150401-084749 stable-20150126-161805 stable-20150120-095010 stable-20150120-091856 stable-20141219-150702 stable-20141029-170046 stable-20140715-165046 stable-20140530-090013 stable-20140521-143929 stable-20140509-113028 stable-20140509-110423 stable-20140415-165131 stable-20140414-164252 stable-20140414-144950 stable-20140414-131645 stable-20140408-135559 stable-20140408-132007 stable-20140408-115925 stable-20140408-093224 stable-20140401-201237 stable-20140121-151530 stable-20131109-100904 stable-20131029-195331 stable-20131029-122855 stable-20131029-112113 stable-20131017-152801 stable-20131011-075152 stable-20131011-063031 stable-20130921-135958 stable-20130916-144056 stable-20130913-105858 stable-20130910-194700 stable-20130829-132728 stable-20130715-164340 stable-20130704-153848 stable-20130704-142212 stable-20130619-100454 stable-20130613-130244 stable-20130611-165054 stable-20130610-140141 stable-20130610-132636 stable-20130503-165927 stable-20130502-102630 stable-20130416-220145 stable-20130413-115331 stable-20130411-234003 stable-20130410-214334 stable-20130402-171749 stable-20130320-170602 stable-20130314-105529 stable-20130308-184852 stable-20130227-171949 stable-20130225-155835 jenkins-Sireum-Update-Site-Stable-8 jenkins-Sireum-Update-Site-Stable-4 jenkins-Sireum-Update-Site-Stable-3 jenkins-Sireum-Update-Site-Stable-2 jenkins-Sireum-Update-Site-Stable-1 jenkins-Sireum-Update-Site-Dev-28 jenkins-Sireum-Update-Site-Dev-27 jenkins-Sireum-Update-Site-Dev-26 jenkins-Sireum-Update-Site-Dev-25 jenkins-Sireum-Update-Site-Dev-22 jenkins-Sireum-Update-Site-Dev-21 jenkins-Sireum-Update-Site-Dev-20 jenkins-Sireum-Update-Site-Dev-19 jenkins-Sireum-Update-Site-Dev-9 jenkins-Sireum-Update-Site-Dev-8 jenkins-Sireum-Update-Site-Dev-7 jenkins-Sireum-Update-Site-Dev-6 jenkins-Sireum-Update-Site-Dev-5 jenkins-Sireum-Update-Site-Dev-4 jenkins-Sireum-Update-Site-Dev-3 jenkins-Sireum-Update-Site-Dev-2 jenkins-Sireum-Dev-Update-Site-4 dev-20170105-002220 dev-20170104-002209 dev-20170103-002224 dev-20170102-002232 dev-20170101-002323 dev-20161231-002215 dev-20161230-002128 dev-20161229-002120 dev-20161228-002120 dev-20161227-002152 dev-20161226-002112 dev-20161225-002134 dev-20161224-002237 dev-20161223-002038 dev-20161222-002119 dev-20161221-002125 dev-20161220-002005 dev-20161219-002121 dev-20161218-002028 dev-20161217-002158 dev-20161216-002152 dev-20161215-002033
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
706 lines (593 sloc) 31.3 KB
<jxb:bindings version="1.0"
xmlns:jxb="http://java.sun.com/xml/ns/jaxb"
xmlns:xs="http://www.w3.org/2001/XMLSchema"
xmlns:xjc="http://java.sun.com/xml/ns/jaxb/xjc"
jxb:extensionBindingPrefixes="xjc">
<jxb:bindings schemaLocation="gnatxml.xsd" node="/xs:schema">
<jxb:globalBindings>
<xjc:superClass name="org.sireum.bakar.xml.Base"/>
</jxb:globalBindings>
<jxb:bindings node="//xs:complexType[@name='Source_Location']">
<jxb:bindings node="xs:attribute[@name='line']">
<jxb:property >
<jxb:baseType name="int" />
</jxb:property>
</jxb:bindings>
<jxb:bindings node="xs:attribute[@name='col']">
<jxb:property >
<jxb:baseType name="int" />
</jxb:property>
</jxb:bindings>
<jxb:bindings node="xs:attribute[@name='endline']">
<jxb:property >
<jxb:baseType name="int" />
</jxb:property>
</jxb:bindings>
<jxb:bindings node="xs:attribute[@name='endcol']">
<jxb:property >
<jxb:baseType name="int" />
</jxb:property>
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Element_Class']//xs:choice">
<jxb:property name="element" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Association_Class']//xs:choice">
<jxb:property name="association" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Constraint_Class']//xs:choice">
<jxb:property name="constraint" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Context_Clause_Class']//xs:choice">
<jxb:property name="contextClause" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Declaration_Class']//xs:choice">
<jxb:property name="declaration" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Declarative_Item_Class']//xs:choice">
<jxb:property name="declarativeItem" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Definition_Class']//xs:choice">
<jxb:property name="definition" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Discrete_Range_Class']//xs:choice">
<jxb:property name="discreteRange" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Discrete_Subtype_Definition_Class']//xs:choice">
<jxb:property name="discreteSubtypeDefinition" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Defining_Name_Class']//xs:choice">
<jxb:property name="definingName" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Expression_Class']//xs:choice">
<jxb:property name="expression" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Name_Class']//xs:choice">
<jxb:property name="name" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Path_Class']//xs:choice">
<jxb:property name="path" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Pragma_Element_Class']//xs:choice">
<jxb:property name="pragmaElement" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Range_Constraint_Class']//xs:choice">
<jxb:property name="rangeConstraint" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Record_Component_Class']//xs:choice">
<jxb:property name="recordComponent" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Statement_Class']//xs:choice">
<jxb:property name="theStatement" />
</jxb:bindings>
<!-- List -->
<jxb:bindings node="//xs:complexType[@name='Element_List']//xs:choice">
<jxb:property name="elements" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Association_List']//xs:choice">
<jxb:property name="associations" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Component_Clause_List']//xs:choice">
<jxb:property name="componentClauses" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Context_Clause_List']//xs:choice">
<jxb:property name="contextClauses" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Declaration_List']//xs:choice">
<jxb:property name="declarations" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Declarative_Item_List']//xs:choice">
<jxb:property name="declarativeItems" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Definition_List']//xs:choice">
<jxb:property name="definitions" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Discrete_Range_List']//xs:choice">
<jxb:property name="discreteRanges" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Discriminant_Association_List']//xs:choice">
<jxb:property name="discriminantAssociations" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Discriminant_Specification_List']//xs:choice">
<jxb:property name="discriminantSpecifications" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Defining_Name_List']//xs:choice">
<jxb:property name="definingNames" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Exception_Handler_List']//xs:choice">
<jxb:property name="exceptionHandlers" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Expression_List']//xs:choice">
<jxb:property name="expressions" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Name_List']//xs:choice">
<jxb:property name="names" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Parameter_Specification_List']//xs:choice">
<jxb:property name="parameterSpecifications" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Path_List']//xs:choice">
<jxb:property name="paths" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Record_Component_List']//xs:choice">
<jxb:property name="recordComponents" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Statement_List']//xs:choice">
<jxb:property name="statements" />
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Variant_List']//xs:choice">
<jxb:property name="variants" />
</jxb:bindings>
<!--
DECLARATIONS
-->
<jxb:bindings node="//xs:complexType[@name='Variable_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Constant_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Deferred_Constant_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Discriminant_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Component_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Loop_Parameter_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_reverse_q']//xs:complexType//xs:choice">
<jxb:property name="hasReverse" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Generalized_Iterator_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_reverse_q']//xs:complexType//xs:choice">
<jxb:property name="hasReverse" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Element_Iterator_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_reverse_q']//xs:complexType//xs:choice">
<jxb:property name="hasReverse" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Procedure_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Function_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Parameter_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Procedure_Body_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Function_Body_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Return_Variable_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Return_Constant_Specification']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Null_Procedure_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Object_Renaming_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Procedure_Renaming_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Function_Renaming_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Entry_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Procedure_Body_Stub']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Function_Body_Stub']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Generic_Function_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Procedure_Instantiation']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Function_Instantiation']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isOverriding" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_overriding_declaration_q']//xs:complexType//xs:choice">
<jxb:property name="isNotOverriding" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Object_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Incomplete_Type_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_tagged_q']//xs:complexType//xs:choice">
<jxb:property name="hasTagged" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Procedure_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Function_Declaration']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Derived_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Derived_Record_Extension_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Record_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Tagged_Record_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Pool_Specific_Access_To_Variable']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Access_To_Variable']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Access_To_Constant']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Access_To_Procedure']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Access_To_Protected_Procedure']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Access_To_Function']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Access_To_Protected_Function']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Subtype_Indication']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Component_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_aliased_q']//xs:complexType//xs:choice">
<jxb:property name="hasAliased" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Record_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Anonymous_Access_To_Variable']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Anonymous_Access_To_Constant']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Anonymous_Access_To_Procedure']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Anonymous_Access_To_Protected_Procedure']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Anonymous_Access_To_Function']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Anonymous_Access_To_Protected_Function']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Private_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Tagged_Private_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Private_Extension_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_synchronized_q']//xs:complexType//xs:choice">
<jxb:property name="hasSynchronized" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Private_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Tagged_Private_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Derived_Type_Definition']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_abstract_q']//xs:complexType//xs:choice">
<jxb:property name="hasAbstract" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_synchronized_q']//xs:complexType//xs:choice">
<jxb:property name="hasSynchronized" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_private_q']//xs:complexType//xs:choice">
<jxb:property name="hasPrivate" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Pool_Specific_Access_To_Variable']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Access_To_Variable']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Access_To_Constant']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Access_To_Procedure']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Access_To_Protected_Procedure']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Access_To_Function']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Formal_Access_To_Protected_Function']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_null_exclusion_q']//xs:complexType//xs:choice">
<jxb:property name="hasNullExclusion" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_not_null_return_q']//xs:complexType//xs:choice">
<jxb:property name="isNotNullReturn" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Function_Call']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_prefix_call_q']//xs:complexType//xs:choice">
<jxb:property name="isPrefixCall" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='is_prefix_notation_q']//xs:complexType//xs:choice">
<jxb:property name="isPrefixNotation" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='Procedure_Call_Statement']//xs:sequence">
<jxb:bindings node="xs:element[@name='is_prefix_notation_q']//xs:complexType//xs:choice">
<jxb:property name="isPrefixNotation" />
</jxb:bindings>
</jxb:bindings>
<jxb:bindings node="//xs:complexType[@name='With_Clause']//xs:sequence">
<jxb:bindings node="xs:element[@name='has_limited_q']//xs:complexType//xs:choice">
<jxb:property name="hasLimited" />
</jxb:bindings>
<jxb:bindings node="xs:element[@name='has_private_q']//xs:complexType//xs:choice">
<jxb:property name="hasPrivate" />
</jxb:bindings>
</jxb:bindings>
</jxb:bindings>
</jxb:bindings>