Lines Matching full:of

4 # You may obtain a copy of the License at
10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
78     message: Verification of method '${method}'.
85       Verification of code block at address:
156 …${reg} is of wrong type: '${reg_type}'. Expected a subtype of one from ${target_types}. Compatible…
180 …Wrong array element type '${type}'. Expected a subtype of '${expected_type}'. Compatible subtypes …
186       Wrong type of array elements '${type}'. Expected '${expected_type}'.
192       Wrong type of array elements '${type}'. Expected one of ${expected_types}.
198       Cannot create array of non-array type '${type}'. Possible types are ${array_types}.
204       Cannot create object of non-object type '${type}'. Possible types are ${object_types}.
233       Expected a subtype of '${field_obj_type}'.
246 … Wrong return value type (in accumulator): '${acc_type}'. Expected a subtype of '${expected_type}'.
253 …orrect 'return${suffix}' instruction. The type of method return value '${return_type}' is not a su…
260 …Incorrect 'return.void' instruction. The type of method return value '${return_type}' is not 'void…
275     message: Accumulator constantly holds 'null' value. It may be a sign of possible error here.
282 …lator type '${acc_type}' is always a subtype of '${type}'. Checkcast is redundant here. It may be …
290       Accumulator is of incompatible type '${acc_type}'. Possible types are ${possible_types}.
291 …Instruction 'checkcast' will always throw an exception here. It may be a sign of possible error he…
298 … Element type in array in accumulator is of incompatible type '${acc_elt_type}'. Possible types are
299 …${possible_types}. Instruction 'checkcast' will always throw an exception here. It may be a sign of
307 …  Accumulator seems to be of incompatible type '${acc_type}'. Possible types are ${possible_types}.
308       It may be a sign of possible error here.
321 …Accumulator type '${acc_type}' is always a subtype of '${type}'. Result of 'isinstance' is always …
322       It may be a sign of possible error here.
329       Accumulator is of incompatible type '${acc_type}'. Possible types are ${possible_types}.
330       Result of 'isinstance' is always zero. It may be a sign of possible error here.
337 … Element type in array in accumulator is of incompatible type '${acc_elt_type}'. Possible types are
338       ${possible_types}. It may be a sign of possible error here.
344       Cannot make a call to '${name}' because of undefined register ${reg_idx}.
357 …Cannot make a call to '${name}'. Formal parameter is of type 'Bot', but actual parameter is of typ…
364       Warning: formal and actual parameters are of type '${type}'.
369     message: "Warning: formal parameter is of type 'Top'. Accepted any type of actual parameter."
377 …of ${subtypes}. It may be so because of different paths through this code carrying different primi…
392       Cannot make a call to '${name}' because of wrong type in register v${reg_idx}.
398 …Cannot make a call to '${name}' because of wrong type in actual parameter. Actual type: '${actual_…
405       Cannot make a call to '${name}' because of insufficient actual parameters.
417 …Wrong type of accumulator '${acc_type}'. Expected a subtype of '${expected_type}'. Compatible subt…
423       Wrong type of accumulator '${acc_type}'. Expected one of ${expected_types}.
430 …Accumulator type '${acc_type}' does not exactly match array element type. Expected one of ${expect…
518 …message: Argument of method '${method_name}' was not resolved at caching stage (class was not foun…
523     message: Internal error. Cannot convert argument of method '${method_name}' to type
543     message: Wrong call with accumulator instruction, the accumulator position is out of range
586       Invalid jump. Jump into middle of instruction.
600     message: Cannot fill instructions map of the method.
604     message: Cannot fill jumps map of the method.
627     message: Cannot clear marks of exception handler code block.
631     message: Cannot fill jumps map of the exception handler code block.
637       Cannot fill jumps map of the code block in the method body.