t_unsafe_paired_calls-simple.adb:20:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:41:7: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:97:7: Error: No_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:98:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:102:7: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-simple.adb:109:4: Error: No_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:110:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:116:7: Error: No_Parameter: opening call to T_Unsafe_Paired_Calls.P is not the first statement
t_unsafe_paired_calls-simple.adb:125:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:117:7: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V is not the last statement
t_unsafe_paired_calls-simple.adb:120:13: Error: No_Parameter: Invalid placement of opening call to T_Unsafe_Paired_Calls.P: call in disallowed structured statement
t_unsafe_paired_calls-simple.adb:122:13: Error: No_Parameter: Invalid placement of closing call to T_Unsafe_Paired_Calls.V: call in disallowed structured statement
t_unsafe_paired_calls-simple.adb:131:4: Error: No_Parameter: construct must have exception handlers
t_unsafe_paired_calls-simple.adb:137:4: Error: No_Parameter: construct must have a "when others" exception handler
t_unsafe_paired_calls-simple.adb:140:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:141:10: Error: No_Parameter: opening call to T_Unsafe_Paired_Calls.P is not directly in a handled sequence of statements
t_unsafe_paired_calls-simple.adb:149:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:158:7: Error: No_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:166:10: Error: No_Parameter: nested call to T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-simple.adb:203:4: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P (different or non static lock value)
t_unsafe_paired_calls-simple.adb:204:7: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P (different or non static lock value)
t_unsafe_paired_calls-simple.adb:202:7: Error: In_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P (different or non static lock value)
t_unsafe_paired_calls-simple.adb:205:10: Error: In_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P (different or non static lock value)
t_unsafe_paired_calls-simple.adb:212:4: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:213:7: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:211:7: Error: No_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:214:10: Error: No_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:221:4: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:222:7: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:220:7: Error: In_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:223:10: Error: In_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:244:10: Error: In_Parameter: nested call to T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-simple.adb:273:4: Error: InOut_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:274:7: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:272:7: Error: InOut_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:275:10: Error: InOut_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:282:4: Error: InOut_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.R1.F
t_unsafe_paired_calls-simple.adb:283:7: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.R1.F
t_unsafe_paired_calls-simple.adb:281:7: Error: InOut_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.R1.F
t_unsafe_paired_calls-simple.adb:284:10: Error: InOut_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.R1.F
t_unsafe_paired_calls-simple.adb:292:7: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:293:10: Error: InOut_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:314:10: Error: InOut_Parameter: nested call to T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Simple.S1
t_unsafe_paired_calls-simple.adb:344:4: Found: Multiple: sequence must end with closing call matching T_Unsafe_Paired_Calls.MultP2
t_unsafe_paired_calls-simple.adb:343:7: Found: Multiple: call does not match opening call T_Unsafe_Paired_Calls.MultP2
t_unsafe_paired_calls-nesting.adb:39:4: Error: No_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-nesting.adb:40:7: Error: No_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-nesting.adb:33:10: Error: No_Parameter: Invalid placement of opening call to T_Unsafe_Paired_Calls.P: call in disallowed structured statement
t_unsafe_paired_calls-nesting.adb:37:10: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:41:10: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:47:10: Error: No_Parameter: Invalid placement of opening call to T_Unsafe_Paired_Calls.P: if condition is not a boolean constant
t_unsafe_paired_calls-nesting.adb:51:10: Error: No_Parameter: Invalid placement of closing call to T_Unsafe_Paired_Calls.V: if condition is not a boolean constant
t_unsafe_paired_calls-nesting.adb:55:10: Error: No_Parameter: closing call to T_Unsafe_Paired_Calls.V has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:68:7: Error: No_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P
t_unsafe_paired_calls-nesting.adb:138:7: Error: InOut_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:139:10: Error: InOut_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:158:10: Error: InOut_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:181:10: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:190:10: Error: InOut_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock variable T_Unsafe_Paired_Calls.Nesting.S1
t_unsafe_paired_calls-nesting.adb:138:7: Error: In_Parameter: sequence must end with closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:139:10: Error: In_Parameter: handler must have only one closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:181:10: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:190:10: Error: In_Parameter: handler must have a closing call matching T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:133:16: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock variable T_Unsafe_Paired_Calls.Nesting.S1 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:135:16: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock value 1 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:170:19: Error: In_Parameter: call does not match opening call T_Unsafe_Paired_Calls.P with lock value 1
t_unsafe_paired_calls-nesting.adb:175:19: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock variable T_Unsafe_Paired_Calls.Nesting.S1 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:177:19: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock value 1 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:184:19: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock variable T_Unsafe_Paired_Calls.Nesting.S2 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:186:19: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock value 2 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:192:16: Error: InOut_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock variable T_Unsafe_Paired_Calls.Nesting.S1 has no matching opening call at start of sequence
t_unsafe_paired_calls-nesting.adb:194:16: Error: In_Parameter: closing call to T_Unsafe_Paired_Calls.V with lock value 1 has no matching opening call at start of sequence
