/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/doc/gnat_rm/ |
H A D | implementation_defined_pragmas.rst | 2525 task type Task_Typ is new Synch_Iface with 2527 end Task_Typ; 6485 task type Task_Typ (Name : access String) is 6487 end Task_Typ; 6489 task body Task_Typ is 6493 end Task_Typ; 6495 type Ptr_Task is access Task_Typ; 6500 new Task_Typ (new String'("This is task 1")); 6502 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | gnat_rm.texi | 3943 task type Task_Typ is new Synch_Iface with 3945 end Task_Typ; 7939 task type Task_Typ (Name : access String) is 7941 end Task_Typ; 7943 task body Task_Typ is 7947 end Task_Typ; 7949 type Ptr_Task is access Task_Typ; 7954 new Task_Typ (new String'("This is task 1")); 7956 new Task_Typ (new String'("This is task 2"));
|
H A D | sem_elab.adb | 3995 Task_Typ : constant Entity_Id := Non_Private_View (Scope (Target_Id)); constant 4006 if Present (Task_Body_Procedure (Task_Typ)) then 4007 Spec_Id := Task_Body_Procedure (Task_Typ); 4012 Spec_Id := Task_Typ; 4098 Task_Typ : constant Entity_Id := Non_Private_View (Typ); constant 4112 Spec_Id := Get_Task_Body_Procedure (Task_Typ); 4119 Prag := SPARK_Pragma (Task_Typ); 4124 Attrs.Elab_Checks_OK := Is_Elaboration_Checks_OK_Id (Task_Typ); 4125 Attrs.Ghost_Mode_Ignore := Is_Ignored_Ghost_Entity (Task_Typ); 4129 Attrs.Task_Decl := Declaration_Node (Task_Typ); [all …]
|
H A D | sem_util.adb | 3305 Task_Typ : Entity_Id) return Boolean; 3392 Task_Typ : Entity_Id) return Boolean 3401 Is_Single_Task_Object (Task_Typ) 3403 and then Defining_Entity (Decl) = Task_Typ;
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/doc/gnat_rm/ |
H A D | implementation_defined_pragmas.rst | 2525 task type Task_Typ is new Synch_Iface with 2527 end Task_Typ; 6485 task type Task_Typ (Name : access String) is 6487 end Task_Typ; 6489 task body Task_Typ is 6493 end Task_Typ; 6495 type Ptr_Task is access Task_Typ; 6500 new Task_Typ (new String'("This is task 1")); 6502 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
H A D | gnat_rm.texi | 3943 task type Task_Typ is new Synch_Iface with 3945 end Task_Typ; 7939 task type Task_Typ (Name : access String) is 7941 end Task_Typ; 7943 task body Task_Typ is 7947 end Task_Typ; 7949 type Ptr_Task is access Task_Typ; 7954 new Task_Typ (new String'("This is task 1")); 7956 new Task_Typ (new String'("This is task 2"));
|
H A D | sem_elab.adb | 3995 Task_Typ : constant Entity_Id := Non_Private_View (Scope (Target_Id)); constant 4006 if Present (Task_Body_Procedure (Task_Typ)) then 4007 Spec_Id := Task_Body_Procedure (Task_Typ); 4012 Spec_Id := Task_Typ; 4098 Task_Typ : constant Entity_Id := Non_Private_View (Typ); constant 4112 Spec_Id := Get_Task_Body_Procedure (Task_Typ); 4119 Prag := SPARK_Pragma (Task_Typ); 4124 Attrs.Elab_Checks_OK := Is_Elaboration_Checks_OK_Id (Task_Typ); 4125 Attrs.Ghost_Mode_Ignore := Is_Ignored_Ghost_Entity (Task_Typ); 4129 Attrs.Task_Decl := Declaration_Node (Task_Typ); [all …]
|
H A D | sem_util.adb | 3305 Task_Typ : Entity_Id) return Boolean; 3392 Task_Typ : Entity_Id) return Boolean 3401 Is_Single_Task_Object (Task_Typ) 3403 and then Defining_Entity (Decl) = Task_Typ;
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | gnat_rm.texi | 3362 task type Task_Typ is new Synch_Iface with 3364 end Task_Typ; 6985 task type Task_Typ (Name : access String) is 6987 end Task_Typ; 6989 task body Task_Typ is 6993 end Task_Typ; 6995 type Ptr_Task is access Task_Typ; 7000 new Task_Typ (new String'("This is task 1")); 7002 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/doc/gnat_rm/ |
H A D | implementation_defined_pragmas.rst | 2698 task type Task_Typ is new Synch_Iface with 2700 end Task_Typ; 6713 task type Task_Typ (Name : access String) is 6715 end Task_Typ; 6717 task body Task_Typ is 6721 end Task_Typ; 6723 type Ptr_Task is access Task_Typ; 6728 new Task_Typ (new String'("This is task 1")); 6730 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | gnat_rm.texi | 4147 task type Task_Typ is new Synch_Iface with 4149 end Task_Typ; 8237 task type Task_Typ (Name : access String) is 8239 end Task_Typ; 8241 task body Task_Typ is 8245 end Task_Typ; 8247 type Ptr_Task is access Task_Typ; 8252 new Task_Typ (new String'("This is task 1")); 8254 new Task_Typ (new String'("This is task 2"));
|
H A D | sem_elab.adb | 1076 Task_Typ : Entity_Id; variable 1552 Task_Typ : Entity_Id); 4598 Task_Typ : Entity_Id; 5003 Task_Typ : Entity_Id; 9182 Task_Typ : Entity_Id; 9315 Task_Typ : Entity_Id; 11311 Task_Typ : Entity_Id) 11585 (Task_Typ : Entity_Id; 11642 Task_Typ : Entity_Id; 11929 (Task_Typ : Entity_Id; [all …]
|
H A D | sem_util.adb | 3485 Task_Typ : Entity_Id) return Boolean; 3572 Task_Typ : Entity_Id) return Boolean 3581 Is_Single_Task_Object (Task_Typ) 3583 and then Defining_Entity (Decl) = Task_Typ;
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/ |
H A D | global.adb | 48 task body Task_Typ is task 66 end Task_Typ;
|
H A D | global.ads | 12 task type Task_Typ is taskspec 14 end Task_Typ;
|
H A D | sync2.adb | 16 task type Task_Typ; taskspec 18 T : Task_Typ; 23 task body Task_Typ is task 26 end Task_Typ;
|
H A D | task3_pkg1.ads | 5 task type Task_Typ (Discr : Integer) is taskspec 6 end Task_Typ; 9 Tsk : Task_Typ (Discr);
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | gnat_rm.texi | 2949 task type Task_Typ is new Synch_Iface with 2951 end Task_Typ; 5735 task type Task_Typ (Name : access String) is 5737 end Task_Typ; 5739 task body Task_Typ is 5743 end Task_Typ; 5745 type Ptr_Task is access Task_Typ; 5750 new Task_Typ (new String'("This is task 1")); 5752 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/doc/gnat_rm/ |
H A D | implementation_defined_pragmas.rst | 2525 task type Task_Typ is new Synch_Iface with 2527 end Task_Typ; 6485 task type Task_Typ (Name : access String) is 6487 end Task_Typ; 6489 task body Task_Typ is 6493 end Task_Typ; 6495 type Ptr_Task is access Task_Typ; 6500 new Task_Typ (new String'("This is task 1")); 6502 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
H A D | gnat_rm.texi | 3943 task type Task_Typ is new Synch_Iface with 3945 end Task_Typ; 7939 task type Task_Typ (Name : access String) is 7941 end Task_Typ; 7943 task body Task_Typ is 7947 end Task_Typ; 7949 type Ptr_Task is access Task_Typ; 7954 new Task_Typ (new String'("This is task 1")); 7956 new Task_Typ (new String'("This is task 2"));
|
H A D | sem_elab.adb | 3995 Task_Typ : constant Entity_Id := Non_Private_View (Scope (Target_Id)); constant 4006 if Present (Task_Body_Procedure (Task_Typ)) then 4007 Spec_Id := Task_Body_Procedure (Task_Typ); 4012 Spec_Id := Task_Typ; 4098 Task_Typ : constant Entity_Id := Non_Private_View (Typ); constant 4112 Spec_Id := Get_Task_Body_Procedure (Task_Typ); 4119 Prag := SPARK_Pragma (Task_Typ); 4124 Attrs.Elab_Checks_OK := Is_Elaboration_Checks_OK_Id (Task_Typ); 4125 Attrs.Ghost_Mode_Ignore := Is_Ignored_Ghost_Entity (Task_Typ); 4129 Attrs.Task_Decl := Declaration_Node (Task_Typ); [all …]
|
H A D | sem_util.adb | 3305 Task_Typ : Entity_Id) return Boolean; 3392 Task_Typ : Entity_Id) return Boolean 3401 Is_Single_Task_Object (Task_Typ) 3403 and then Defining_Entity (Decl) = Task_Typ;
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/doc/gnat_rm/ |
H A D | implementation_defined_pragmas.rst | 2525 task type Task_Typ is new Synch_Iface with 2527 end Task_Typ; 6485 task type Task_Typ (Name : access String) is 6487 end Task_Typ; 6489 task body Task_Typ is 6493 end Task_Typ; 6495 type Ptr_Task is access Task_Typ; 6500 new Task_Typ (new String'("This is task 1")); 6502 new Task_Typ (new String'("This is task 2"));
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
H A D | gnat_rm.texi | 3943 task type Task_Typ is new Synch_Iface with 3945 end Task_Typ; 7939 task type Task_Typ (Name : access String) is 7941 end Task_Typ; 7943 task body Task_Typ is 7947 end Task_Typ; 7949 type Ptr_Task is access Task_Typ; 7954 new Task_Typ (new String'("This is task 1")); 7956 new Task_Typ (new String'("This is task 2"));
|
H A D | sem_elab.adb | 3995 Task_Typ : constant Entity_Id := Non_Private_View (Scope (Target_Id)); constant 4006 if Present (Task_Body_Procedure (Task_Typ)) then 4007 Spec_Id := Task_Body_Procedure (Task_Typ); 4012 Spec_Id := Task_Typ; 4098 Task_Typ : constant Entity_Id := Non_Private_View (Typ); constant 4112 Spec_Id := Get_Task_Body_Procedure (Task_Typ); 4119 Prag := SPARK_Pragma (Task_Typ); 4124 Attrs.Elab_Checks_OK := Is_Elaboration_Checks_OK_Id (Task_Typ); 4125 Attrs.Ghost_Mode_Ignore := Is_Ignored_Ghost_Entity (Task_Typ); 4129 Attrs.Task_Decl := Declaration_Node (Task_Typ); [all …]
|