Home
last modified time | relevance | path

Searched defs:Set_Covered (Results 1 – 12 of 12) sorted by relevance

/dports/devel/matreshka/matreshka-0.7.0/source/amf/uml/
H A Damf-uml-occurrence_specifications.ads72 not overriding procedure Set_Covered subprogram
79 not overriding function Get_To_After
H A Damf-uml-state_invariants.ads74 not overriding procedure Set_Covered subprogram
81 not overriding function Get_Invariant
H A Damf-internals-uml_state_invariants.adb124 overriding procedure Set_Covered subprogram
H A Damf-internals-uml_state_invariants.ads71 overriding procedure Set_Covered subprogspec
H A Damf-internals-uml_occurrence_specifications.adb124 overriding procedure Set_Covered subprogram
H A Damf-internals-uml_occurrence_specifications.ads70 overriding procedure Set_Covered subprogspec
H A Damf-internals-uml_execution_occurrence_specifications.adb153 overriding procedure Set_Covered subprogram
H A Damf-internals-uml_execution_occurrence_specifications.ads87 overriding procedure Set_Covered subprogspec
H A Damf-internals-uml_message_occurrence_specifications.ads123 overriding procedure Set_Covered subprogspec
H A Damf-internals-uml_destruction_occurrence_specifications.adb236 overriding procedure Set_Covered subprogram
H A Damf-internals-uml_destruction_occurrence_specifications.ads123 overriding procedure Set_Covered subprogspec
H A Damf-internals-uml_message_occurrence_specifications.adb244 overriding procedure Set_Covered subprogram