Home
last modified time | relevance | path

Searched refs:NORMAL_PARAMETERS (Results 1 – 7 of 7) sorted by relevance

/dports/devel/ada-util/ada-util-b6612400/testutil/ahven/
H A Dahven-parameters.adb40 when NORMAL_PARAMETERS =>
130 procedure Usage (Mode : Parameter_Mode := NORMAL_PARAMETERS) is
133 when NORMAL_PARAMETERS =>
H A Dahven-parameters.ads25 type Parameter_Mode is (NORMAL_PARAMETERS, TAP_PARAMETERS); literal
33 procedure Usage (Mode : Parameter_Mode := NORMAL_PARAMETERS);
H A Dahven-runner.adb32 Parameters.Parse_Parameters (Parameters.NORMAL_PARAMETERS, Params);
/dports/devel/ahven/ahven-2.6/src/
H A Dahven-parameters.ads32 type Parameter_Mode is (NORMAL_PARAMETERS, TAP_PARAMETERS); literal
40 procedure Usage (Mode : Parameter_Mode := NORMAL_PARAMETERS);
H A Dahven-parameters.adb45 when NORMAL_PARAMETERS =>
147 procedure Usage (Mode : Parameter_Mode := NORMAL_PARAMETERS) is
150 when NORMAL_PARAMETERS =>
H A Dahven-runner.adb34 Parameters.Parse_Parameters (Parameters.NORMAL_PARAMETERS, Params);
/dports/devel/ahven/ahven-2.6/doc/manual/en/source/
H A Dapi-ahven-parameters.rst24 type Parameter_Mode is (NORMAL_PARAMETERS, TAP_PARAMETERS);
48 procedure Usage (Mode : Parameter_Mode := NORMAL_PARAMETERS);