/dports/lang/adacontrol/adactl-1.18r9/src/ |
H A D | rules-unit_pattern.adb | 440 New_State : Declarations_Group; variable 448 New_State := DG_Others; 453 New_State := DG_Use; 455 New_State := DG_Use_Type; 459 New_State := DG_Others; 480 New_State := DG_Others; 483 New_State := DG_Number; 487 New_State := DG_Constant; 501 New_State := DG_Subtype; 593 if New_State /= DG_Others then [all …]
|
H A D | framework-ordering_machine.adb | 90 New_State : States_Index := Machine.Current_State; variable 92 while not Machine.States (New_State) (To) loop 93 if New_State = Machine.Registered_States then 100 New_State := New_State + 1; 104 Machine.Current_State := New_State;
|
/dports/security/libadacrypt/Ada-Crypto-Library-abc534f/src/ |
H A D | crypto-symmetric-algorithm-skein.adb | 55 New_State => State); 71 New_State => State); 76 New_State => State); 584 New_State : out Bytes) 617 New_State : out Bytes) 632 New_State => New_State); 639 New_State : out Bytes) 648 for i in New_State'Range loop 649 New_State (i) := H (i); 694 New_State => Result); [all …]
|
H A D | crypto-symmetric-algorithm-skein.ads | 244 New_State : out Bytes); 253 New_State : out Bytes); 262 New_State : out Bytes);
|
/dports/devel/florist-gpl/florist-gpl-2017-src/libsrc/threads/ |
H A D | posix-timers.adb | 208 New_State : Timer_State; 216 Check (New_State.State.it_value /= Zero_Timespec, Invalid_Argument); 218 Check (New_State.State.it_value.tv_sec > 0, Invalid_Argument); 222 New_State.State'Unchecked_Access, 233 New_State : Timer_State) is 235 Check (New_State.State.it_value /= Zero_Timespec, Invalid_Argument); 238 New_State.State'Unchecked_Access, null));
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 738 New_State : Entry_Call_State) 745 pragma Assert (New_State = Done or else New_State = Cancelled); 749 Entry_Call.State := New_State; 756 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 738 New_State : Entry_Call_State) 745 pragma Assert (New_State = Done or else New_State = Cancelled); 749 Entry_Call.State := New_State; 756 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 738 New_State : Entry_Call_State) 745 pragma Assert (New_State = Done or else New_State = Cancelled); 749 Entry_Call.State := New_State; 756 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 728 New_State : Entry_Call_State) 735 pragma Assert (New_State = Done or else New_State = Cancelled); 739 Entry_Call.State := New_State; 746 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | s-tposen.adb | 90 New_State : Entry_Call_State); 261 New_State : Entry_Call_State) 268 pragma Assert (New_State = Done or else New_State = Cancelled); 273 Entry_Call.State := New_State;
|
H A D | s-tasini.adb | 777 New_State : Entry_Call_State) 784 pragma Assert (New_State = Done or else New_State = Cancelled); 788 Entry_Call.State := New_State; 795 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 729 New_State : Entry_Call_State) 736 pragma Assert (New_State = Done or else New_State = Cancelled); 740 Entry_Call.State := New_State; 747 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | s-tposen.adb | 90 New_State : Entry_Call_State); 261 New_State : Entry_Call_State) 268 pragma Assert (New_State = Done or else New_State = Cancelled); 273 Entry_Call.State := New_State;
|
H A D | s-tasini.adb | 777 New_State : Entry_Call_State) 784 pragma Assert (New_State = Done or else New_State = Cancelled); 788 Entry_Call.State := New_State; 795 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 738 New_State : Entry_Call_State) 745 pragma Assert (New_State = Done or else New_State = Cancelled); 749 Entry_Call.State := New_State; 756 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 738 New_State : Entry_Call_State) 745 pragma Assert (New_State = Done or else New_State = Cancelled); 749 Entry_Call.State := New_State; 756 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 728 New_State : Entry_Call_State) 735 pragma Assert (New_State = Done or else New_State = Cancelled); 739 Entry_Call.State := New_State; 746 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 738 New_State : Entry_Call_State) 745 pragma Assert (New_State = Done or else New_State = Cancelled); 749 Entry_Call.State := New_State; 756 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 728 New_State : Entry_Call_State) 735 pragma Assert (New_State = Done or else New_State = Cancelled); 739 Entry_Call.State := New_State; 746 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/alog/libalog-0.6.1/src/ |
H A D | alog-active_logger.adb | 175 (New_State => True, 232 (New_State : Boolean; 237 S := New_State;
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 742 New_State : Entry_Call_State) 749 pragma Assert (New_State = Done or else New_State = Cancelled); 753 Entry_Call.State := New_State; 760 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 742 New_State : Entry_Call_State) 749 pragma Assert (New_State = Done or else New_State = Cancelled); 753 Entry_Call.State := New_State; 760 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | s-tasini.adb | 734 New_State : Entry_Call_State) 741 pragma Assert (New_State = Done or else New_State = Cancelled); 745 Entry_Call.State := New_State; 752 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnarl/ |
H A D | s-tasini.adb | 742 New_State : Entry_Call_State) 749 pragma Assert (New_State = Done or else New_State = Cancelled); 753 Entry_Call.State := New_State; 760 if Entry_Call.State >= Was_Abortable or else New_State = Done then
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | s-tposen.adb | 98 New_State : Entry_Call_State); 272 New_State : Entry_Call_State) 279 pragma Assert (New_State = Done or else New_State = Cancelled); 284 Entry_Call.State := New_State;
|