/dports/devel/matreshka/matreshka-0.7.0/source/amf/mof/ |
H A D | amf.adb | 56 if Left.Is_Empty xor Right.Is_Empty then 59 elsif Left.Is_Empty or Right.Is_Empty then 152 if Left.Is_Empty xor Right.Is_Empty then 155 elsif Left.Is_Empty or Right.Is_Empty then 248 if Left.Is_Empty xor Right.Is_Empty then 358 (Left.Is_Empty and Right.Is_Empty) 373 (Left.Is_Empty and Right.Is_Empty) 406 if Left.Is_Empty xor Right.Is_Empty then 409 elsif Left.Is_Empty or Right.Is_Empty then 502 if Left.Is_Empty xor Right.Is_Empty then [all …]
|
H A D | amf-holders.adb | 63 if League.Holders.Is_Empty (Holder) then 64 return (Is_Empty => True); 84 return (Is_Empty => True); 104 return (Is_Empty => True); 122 return (Is_Empty => True); 143 return (Is_Empty => True); 160 if not Item.Is_Empty then 175 if not Item.Is_Empty then 190 if not Item.Is_Empty then 205 if not Item.Is_Empty then [all …]
|
H A D | amf.ads | 108 type Optional_String (Is_Empty : Boolean := True) is record 109 case Is_Empty is 159 type Optional_Boolean (Is_Empty : Boolean := True) is record 160 case Is_Empty is 169 type Optional_Integer (Is_Empty : Boolean := True) is record 170 case Is_Empty is 182 type Optional_Unlimited_Natural (Is_Empty : Boolean := True) is record 183 case Is_Empty is 209 type Optional_Real (Is_Empty : Boolean := True) is record 210 case Is_Empty is
|
/dports/devel/matreshka/matreshka-0.7.0/source/amf/dd/ |
H A D | amf-dg.ads | 58 case Is_Empty is 70 case Is_Empty is 82 case Is_Empty is 94 case Is_Empty is 106 case Is_Empty is 118 case Is_Empty is 130 case Is_Empty is 142 case Is_Empty is 154 case Is_Empty is 166 case Is_Empty is [all …]
|
H A D | amf-dc.ads | 55 case Is_Empty is 83 type Optional_DC_Known_Color (Is_Empty : Boolean := True) is record 84 case Is_Empty is 100 type Optional_DC_Bounds (Is_Empty : Boolean := True) is record 101 case Is_Empty is 116 type Optional_DC_Color (Is_Empty : Boolean := True) is record 117 case Is_Empty is 131 type Optional_DC_Dimension (Is_Empty : Boolean := True) is record 132 case Is_Empty is 146 type Optional_DC_Point (Is_Empty : Boolean := True) is record [all …]
|
H A D | amf-dg-holders.adb | 78 return (Is_Empty => True); 100 return (Is_Empty => True); 122 return (Is_Empty => True); 144 return (Is_Empty => True); 166 return (Is_Empty => True); 188 return (Is_Empty => True); 210 return (Is_Empty => True); 232 return (Is_Empty => True); 254 return (Is_Empty => True); 276 return (Is_Empty => True); [all …]
|
H A D | amf-dc-holders.adb | 70 return (Is_Empty => True); 92 return (Is_Empty => True); 114 return (Is_Empty => True); 136 return (Is_Empty => True); 158 return (Is_Empty => True); 180 return (Is_Empty => True); 199 if not Element.Is_Empty then 218 if not Element.Is_Empty then 237 if not Element.Is_Empty then 256 if not Element.Is_Empty then [all …]
|
H A D | amf-internals-tables-dc_metamodel-properties.adb | 170 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 1, (Is_Empty => True)); 193 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 3, (Is_Empty => True)); 216 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 5, (Is_Empty => True)); 239 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 7, (Is_Empty => True)); 262 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 9, (Is_Empty => True)); 285 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 11, (Is_Empty => True)); 308 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 13, (Is_Empty => True)); 328 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 15, (Is_Empty => True)); 409 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 22, (Is_Empty => True)); 484 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 28, (Is_Empty => True)); [all …]
|
/dports/devel/matreshka/matreshka-0.7.0/source/amf/uml/ |
H A D | amf-uml.ads | 138 case Is_Empty is 148 case Is_Empty is 158 case Is_Empty is 168 case Is_Empty is 178 case Is_Empty is 188 case Is_Empty is 198 case Is_Empty is 208 case Is_Empty is 218 case Is_Empty is 228 case Is_Empty is [all …]
|
H A D | amf-uml-holders.adb | 77 return (Is_Empty => True); 99 return (Is_Empty => True); 121 return (Is_Empty => True); 143 return (Is_Empty => True); 165 return (Is_Empty => True); 187 return (Is_Empty => True); 209 return (Is_Empty => True); 231 return (Is_Empty => True); 253 return (Is_Empty => True); 275 return (Is_Empty => True); [all …]
|
H A D | amf-umldi.ads | 53 …type Optional_UMLDI_UML_Association_Or_Connector_Or_Link_Shape_Kind (Is_Empty : Boolean := True) i… 54 case Is_Empty is 67 type Optional_UMLDI_UML_Inherited_State_Border_Kind (Is_Empty : Boolean := True) is record 68 case Is_Empty is 84 type Optional_UMLDI_UML_Interaction_Diagram_Kind (Is_Empty : Boolean := True) is record 85 case Is_Empty is 111 type Optional_UMLDI_UML_Interaction_Table_Label_Kind (Is_Empty : Boolean := True) is record 112 case Is_Empty is 126 type Optional_UMLDI_UML_Navigability_Notation_Kind (Is_Empty : Boolean := True) is record 127 case Is_Empty is
|
H A D | amf-umldi-holders.adb | 68 if League.Holders.Is_Empty (Holder) then 69 return (Is_Empty => True); 91 return (Is_Empty => True); 113 return (Is_Empty => True); 135 return (Is_Empty => True); 157 return (Is_Empty => True); 176 if not Element.Is_Empty then 195 if not Element.Is_Empty then 214 if not Element.Is_Empty then 233 if not Element.Is_Empty then [all …]
|
H A D | amf-internals-tables-umldi_metamodel-properties.adb | 388 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 1, (Is_Empty => True)); 400 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 2, (Is_Empty => True)); 412 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 3, (Is_Empty => True)); 425 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 4, (Is_Empty => True)); 437 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 5, (Is_Empty => True)); 450 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 6, (Is_Empty => True)); 462 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 7, (Is_Empty => True)); 474 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 8, (Is_Empty => True)); 486 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 9, (Is_Empty => True)); 498 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 10, (Is_Empty => True)); [all …]
|
H A D | amf-internals-tables-standard_profile_l2_metamodel-properties.adb | 249 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 1, (Is_Empty => True)); 261 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 2, (Is_Empty => True)); 273 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 3, (Is_Empty => True)); 285 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 4, (Is_Empty => True)); 297 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 5, (Is_Empty => True)); 309 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 6, (Is_Empty => True)); 321 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 7, (Is_Empty => True)); 333 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 8, (Is_Empty => True)); 346 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 9, (Is_Empty => True)); 358 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 10, (Is_Empty => True)); [all …]
|
H A D | amf-internals-tables-uml_metamodel-properties.adb | 4910 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 1, (Is_Empty => True)); 4922 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 2, (Is_Empty => True)); 4934 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 3, (Is_Empty => True)); 4947 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 4, (Is_Empty => True)); 4959 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 5, (Is_Empty => True)); 4971 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 6, (Is_Empty => True)); 4983 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 7, (Is_Empty => True)); 4996 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 8, (Is_Empty => True)); 5008 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 9, (Is_Empty => True)); 5021 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 10, (Is_Empty => True)); [all …]
|
H A D | amf-internals-uml_value_specifications.adb | 64 return (Is_Empty => True); 84 return (Is_Empty => True); 150 return (Is_Empty => True); 170 return (Is_Empty => True); 190 return (Is_Empty => True);
|
/dports/devel/matreshka/matreshka-0.7.0/source/league/ |
H A D | league-holders.adb | 71 Self.Is_Empty := True; 81 Self.Is_Empty := True; 123 Is_Empty => Is_Empty.all, 139 Is_Empty => Is_Empty.all, 156 return (Counter => <>, Is_Empty => Is_Empty.all); 171 Is_Empty => Is_Empty.all, 187 Is_Empty => Is_Empty.all, 203 Is_Empty => Is_Empty.all, 219 Is_Empty => Is_Empty.all, 509 end Is_Empty; [all …]
|
H A D | league-holders-generic_floats.adb | 52 (Is_Empty : not null access Boolean) return Float_Container 54 pragma Assert (Is_Empty.all); 59 Is_Empty => Is_Empty.all, 75 if Self.Data.Is_Empty then 144 Is_Empty => False, 151 (Counter => <>, Is_Empty => False, Value => To); 162 Self.Is_Empty := False; 175 (Counter => <>, Is_Empty => False, Value => Item));
|
H A D | league-holders-generic_integers.adb | 52 (Is_Empty : not null access Boolean) return Integer_Container 54 pragma Assert (Is_Empty.all); 59 Is_Empty => Is_Empty.all, 75 if Self.Data.Is_Empty then 146 Is_Empty => False, 153 (Counter => <>, Is_Empty => False, Value => To); 164 Self.Is_Empty := False; 177 (Counter => <>, Is_Empty => False, Value => Item));
|
H A D | league-holders-generic_enumerations.adb | 52 (Is_Empty : not null access Boolean) return Enumeration_Container 54 pragma Assert (Is_Empty.all); 59 Is_Empty => Is_Empty.all, 73 if Self.Data.Is_Empty then 96 (Counter => <>, Is_Empty => False, Value => To); 108 (Counter => <>, Is_Empty => False, Value => Item));
|
H A D | league-holders-generic_holders.adb | 52 (Is_Empty : not null access Boolean) return Element_Container 54 pragma Assert (Is_Empty.all); 59 Is_Empty => Is_Empty.all, 73 if Self.Data.Is_Empty then 95 new Element_Container'(Counter => <>, Is_Empty => False, Value => To); 107 (Counter => <>, Is_Empty => False, Value => Item));
|
/dports/devel/matreshka/matreshka-0.7.0/source/amf/mof/cmof/ |
H A D | amf-internals-tables-cmof_metamodel-properties.adb | 871 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 1, (Is_Empty => True)); 884 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 2, (Is_Empty => True)); 896 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 3, (Is_Empty => True)); 909 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 4, (Is_Empty => True)); 921 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 5, (Is_Empty => True)); 933 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 6, (Is_Empty => True)); 945 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 7, (Is_Empty => True)); 958 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 8, (Is_Empty => True)); 971 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 9, (Is_Empty => True)); 983 AMF.Internals.Tables.CMOF_Attributes.Internal_Set_Visibility (Base + 10, (Is_Empty => True)); [all …]
|
/dports/devel/matreshka/matreshka-0.7.0/testsuite/xml/ |
H A D | sax_events_writers.adb | 142 if Namespace_URI.Is_Empty then 150 if Local_Name.Is_Empty then 157 if Qualified_Name.Is_Empty then 179 if Prefix.Is_Empty then 399 if not Public_Id.Is_Empty then 404 if not System_Id.Is_Empty then 424 if Data.Is_Empty then 568 if Local_Name.Is_Empty then 584 if Attributes.Is_Empty then 691 if Prefix.Is_Empty then [all …]
|
/dports/devel/adabooch/bc-20160321/tests/ |
H A D | ordered_queue_test.adb | 63 Assertion (Is_Empty (Q1), "** P01: Queue is not initially empty"); 69 Assertion (not (Is_Empty (Q1)), "** P03: Queue is empty"); 73 Assertion (Is_Empty (Q1), "** P06: Queue is not empty"); 78 Assertion (not (Is_Empty (Q1)), "** P08: Queue is empty"); 83 Assertion (not (Is_Empty (Q1)), "** P11: Queue is empty"); 87 Assertion (Is_Empty (Q1), "** P14: Queue is not empty"); 94 Assertion (not (Is_Empty (Q1)), "** P16: Queue is empty"); 98 Assertion (not (Is_Empty (Q1)), "** P19: Queue is empty"); 101 Assertion (not (Is_Empty (Q2)), "** P22: Queue is empty"); 106 Assertion (not (Is_Empty (Q1)), "** P26: Queue is empty"); [all …]
|
H A D | stack_test.adb | 75 Assertion (Is_Empty (S1), "** P01: Stack is not initially empty"); 80 Assertion (not (Is_Empty (S1)), "** P03: Stack is empty"); 84 Assertion (Is_Empty (S1), "** P06: Stack is not empty"); 89 Assertion (not (Is_Empty (S1)), "** P08: Stack is empty"); 94 Assertion (not (Is_Empty (S1)), "** P11: Stack is empty"); 98 Assertion (Is_Empty (S1), "** P14: Stack is not empty"); 105 Assertion (not (Is_Empty (S1)), "** P16: Stack is empty"); 109 Assertion (not (Is_Empty (S1)), "** P19: Stack is empty"); 112 Assertion (not (Is_Empty (S2)), "** P22: Stack is empty"); 117 Assertion (not (Is_Empty (S1)), "** P26: Stack is empty"); [all …]
|