Searched refs:Subtype_Constraint (Results 1 – 18 of 18) sorted by relevance
/dports/devel/matreshka/matreshka-0.7.0/source/web/tools/a2js/ |
H A D | properties-definitions-subtype_indication.adb | 61 Asis.Definitions.Subtype_Constraint (Element); 102 Asis.Definitions.Subtype_Constraint (Element);
|
/dports/lang/asis/asis-gpl-2016-src/asis/ |
H A D | a4g-queries.adb | 516 Subtype_Constraint), 537 Subtype_Constraint), 545 Subtype_Constraint), 1399 Subtype_Constraint => 1400 FE (Subtype_Constraint, 1401 Subtype_Constraint'Access),
|
H A D | a4g-queries.ads | 167 Subtype_Constraint, 560 Subtype_Constraint =>
|
H A D | asis-definitions.ads | 943 function Subtype_Constraint subprogspec
|
H A D | asis-data_decomposition-aux.adb | 245 if Is_Nil (Subtype_Constraint (Element)) then 895 Constr_Elem := Subtype_Constraint (S);
|
H A D | asis-definitions.adb | 1792 function Subtype_Constraint subprogram 1849 end Subtype_Constraint;
|
H A D | asis-data_decomposition.adb | 2899 Comp_Constraint := Subtype_Constraint (Comp_Constraint);
|
/dports/lang/adacontrol/adactl-1.18r9/src/ |
H A D | rules-return_type.adb | 360 … Constraint : constant Asis.Constraint := Subtype_Constraint (Result_Type_Definition); 459 if not Is_Nil (Subtype_Constraint (Parent_Type)) then
|
H A D | rules-declarations.adb | 764 if Is_Nil (Subtype_Constraint (Type_Declaration_View (Element))) then 856 case Constraint_Kind (Subtype_Constraint (Def)) is 953 case Constraint_Kind (Subtype_Constraint (Def)) is 1544 if not Is_Nil (Subtype_Constraint (Element)) then 1554 if not Is_Nil (Subtype_Constraint (Element)) then
|
H A D | rules-allocators.adb | 270 or else Is_Nil (Subtype_Constraint (Designated_Subtype))
|
H A D | thick_queries.adb | 3067 Result.First_Constraint := Subtype_Constraint (Parent); 3093 … Result.First_Constraint := Subtype_Constraint (Type_Declaration_View (Result.Ultimate_Type)); 4871 if not Is_Nil (Subtype_Constraint (Current)) then 4945 if Is_Nil (Subtype_Constraint (Def)) then 4948 return Constraint_Bounds (Subtype_Constraint (Def)); 5029 Constraint := Subtype_Constraint (Item);
|
H A D | rules-array_declarations.adb | 778 …inition_Kind (Obj_Def) /= A_Subtype_Indication or else not Is_Nil (Subtype_Constraint (Obj_Def)) …
|
/dports/lang/asis/asis-gpl-2016-src/tools/asistant/ |
H A D | asistant-help-queries.ads | 680 Subtype_Constraint, 732 Subtype_Constraint, 752 Subtype_Constraint,
|
H A D | asistant-funcenum.ads | 536 Subtype_Constraint, literal
|
H A D | asistant-funcarr.adb | 486 Asis.Definitions.Subtype_Constraint'Access,
|
/dports/lang/asis/asis-gpl-2016-src/tools/gnatcheck/ |
H A D | gnatcheck-rules-default.adb | 125 not Is_Nil (Subtype_Constraint (Element)) 128 (Subtype_Constraint (Element)) 140 if not Is_Nil (Subtype_Constraint (Element)) then
|
/dports/lang/asis/asis-gpl-2016-src/tools/tool_utils/ |
H A D | asis_ul-global_state-cg.adb | 1291 Is_Nil (Subtype_Constraint (Type_To_Analyze))
|
H A D | asis_ul-utilities.adb | 2567 Tmp := Subtype_Constraint (E);
|