| /dports/devel/matreshka/matreshka-0.7.0/source/amf/uml/ |
| H A D | amf-uml-behaviors.ads | 129 not overriding function Get_Precondition subprogram
137 not overriding function Get_Redefined_Behavior
|
| H A D | amf-uml-operations.ads | 202 not overriding function Get_Precondition subprogram
210 overriding function Get_Raised_Exception
|
| H A D | amf-internals-uml_operations.ads | 195 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_operations.adb | 349 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-uml_opaque_behaviors.ads | 163 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_state_machines.adb | 257 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-uml_state_machines.ads | 183 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_opaque_behaviors.adb | 221 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-uml_function_behaviors.adb | 221 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-uml_function_behaviors.ads | 163 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_interactions.ads | 192 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_activities.ads | 237 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_interactions.adb | 272 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-uml_protocol_state_machines.ads | 192 overriding function Get_Precondition subprogspec
|
| H A D | amf-internals-uml_protocol_state_machines.adb | 272 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-uml_activities.adb | 337 overriding function Get_Precondition subprogram
|
| /dports/devel/matreshka/matreshka-0.7.0/source/amf/mof/cmof/ |
| H A D | amf-cmof-operations.ads | 209 not overriding function Get_Precondition subprogram
215 not overriding function Get_Postcondition
|
| H A D | amf-internals-cmof_operations.adb | 158 overriding function Get_Precondition subprogram
|
| H A D | amf-internals-cmof_operations.ads | 206 overriding function Get_Precondition subprogspec
|