Home
last modified time | relevance | path

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 Dproperties-definitions-subtype_indication.adb61 Asis.Definitions.Subtype_Constraint (Element);
102 Asis.Definitions.Subtype_Constraint (Element);
/dports/lang/asis/asis-gpl-2016-src/asis/
H A Da4g-queries.adb516 Subtype_Constraint),
537 Subtype_Constraint),
545 Subtype_Constraint),
1399 Subtype_Constraint =>
1400 FE (Subtype_Constraint,
1401 Subtype_Constraint'Access),
H A Da4g-queries.ads167 Subtype_Constraint,
560 Subtype_Constraint =>
H A Dasis-definitions.ads943 function Subtype_Constraint subprogspec
H A Dasis-data_decomposition-aux.adb245 if Is_Nil (Subtype_Constraint (Element)) then
895 Constr_Elem := Subtype_Constraint (S);
H A Dasis-definitions.adb1792 function Subtype_Constraint subprogram
1849 end Subtype_Constraint;
H A Dasis-data_decomposition.adb2899 Comp_Constraint := Subtype_Constraint (Comp_Constraint);
/dports/lang/adacontrol/adactl-1.18r9/src/
H A Drules-return_type.adb360 … Constraint : constant Asis.Constraint := Subtype_Constraint (Result_Type_Definition);
459 if not Is_Nil (Subtype_Constraint (Parent_Type)) then
H A Drules-declarations.adb764 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 Drules-allocators.adb270 or else Is_Nil (Subtype_Constraint (Designated_Subtype))
H A Dthick_queries.adb3067 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 Drules-array_declarations.adb778 …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 Dasistant-help-queries.ads680 Subtype_Constraint,
732 Subtype_Constraint,
752 Subtype_Constraint,
H A Dasistant-funcenum.ads536 Subtype_Constraint, literal
H A Dasistant-funcarr.adb486 Asis.Definitions.Subtype_Constraint'Access,
/dports/lang/asis/asis-gpl-2016-src/tools/gnatcheck/
H A Dgnatcheck-rules-default.adb125 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 Dasis_ul-global_state-cg.adb1291 Is_Nil (Subtype_Constraint (Type_To_Analyze))
H A Dasis_ul-utilities.adb2567 Tmp := Subtype_Constraint (E);