93
97
Variable := Nothing (X => 1);
94
Variable := Nothing (1); -- OK
98
Variable := Nothing (1); -- OK
95
99
Nproc ( Y => Variable, Z => 1);
96
Nproc (0, 1); -- Positional_Association x2
100
Nproc (0, 1); -- Positional_Association x2
101
Nproc (0, 1, 1.0); -- OK (exception to the rule)
97
102
RecordI := (A => 1, B => 0, C => 1);
98
RecordI := (1, 0, 1); -- Positional_Association x3
103
RecordI := (1, 0, 1); -- Positional_Association x3
99
104
RecordIT := Trecord'(D => 1);
100
105
RecordITE := (RecordIT with E => 1);
101
106
RecordITE := (RecordIT with 1); -- OK
102
107
Tab := (1, 0, 1, 0, 1); -- Positional_Association x5
103
108
Tab := (1 => 0, 2 => 1, 3 => 0, 4 => 1, 5 => 0); -- Exposed_Literal (Integer) x4
104
Taske.EntryCall (1); -- OK
105
Taske.EntryCall (I => 1); -- OK
106
Taske.EntryCall (1, 2); -- Positional_Association x2, Exposed_Literal (Integer)
107
Taske.EntryCall (I => 1, J => 1); -- OK
109
Taske.EntryCall (1); -- OK
110
Taske.EntryCall (I => 1); -- OK
111
Taske.EntryCall (1, 2); -- Positional_Association x2, Exposed_Literal (Integer)
112
Taske.EntryCall (I => 1, J => 1); -- OK
109
Tab (1) := Tab (1) + 1; -- OK
110
Tab (1) := "+" (Tab (1), 1); -- OK (because not_operator)
114
Tab (1) := Tab (1) + 1; -- OK
115
Tab (1) := "+" (Tab (1), 1); -- OK (because not_operator)
111
116
end Positional_Association;