Lines Matching full:must
69 The <code>code</code> array must not be empty.
87 The <code>code</code> array must not be larger than 65535 bytes.
105 The first opcode in <code>code</code> array must have index
124 The <code>code</code> array must only contain valid opcodes.
142 The index of instruction <code>n+1</code> must equal the index of
145 instruction. Opcodes modified by a <code>wide</code> instruction must
164 The last instruction in <code>code</code> array must end at index
183 All jump and branch targets must be opcodes within the same method.
184 Opcodes modified by a <code>wide</code> instruction must not be
203 All targets of a <code>tableswitch</code> instruction must be opcodes
204 within the same method. Upper and lower bounds must be consistent.
205 Opcodes modified by a <code>wide</code> instruction must not be
224 All targets of a <code>lookupswitch</code> instruction must be opcodes
225 within the same method. Its table must be consistent and sorted
226 low-to-high. Opcodes modified by a <code>wide</code> instruction must
246 must be valid indices into the constant pool. The respective entries
247 must be of type <code>CONSTANT_Integer</code>,
266 The operands of <code>ldc2_w</code> instructions must be valid indices
267 into the constant pool. The respective entries must be of type
269 subsequent constant pool entry must be valid and remain unused.
288 <code>put<kind></code> instructions must be valid indices into
289 constant pool. The respective entries must be of type
309 <code>invokespecial</code>, and <code>invokestatic</code> must form a
310 valid 16-bit index into the constant pool. The respective entries must
329 Methods whose names start with '<' must only be invoked implicitly by
349 The first two operands of <code>invokeinterface</code> must form a
350 valid 16-bit index into the constant pool. The entry must be of type
351 <code>CONSTANT_Interface_Methodref</code>. The third operand must
352 specify number of local variables and the fourth operand must always
372 <code>new</code>, and <code>anewarray</code> instructions must
374 <code>multianewarray</code> instruction must form a valid 16-bit index
375 into the constant pool. All respective entries must be of type
395 instructions must be less than <code>256</code>.
413 The <code>new</code> instruction must not reference array classes,
432 The type referenced by a <code>multinewarray</code> instruction must
434 dimensions operand must not be <code>0</code>
452 The type referenced by a <code>newarray</code> instruction must be a
472 local variables must be non-negative and smaller than
492 local variables must be non-negative and smaller than
512 local variables must be non-negative and smaller than
532 local variables must be non-negative and smaller than
552 referencing single-width local variables must be non-negative and
572 referencing double-width local variables must be non-negative and
621 The number and types of arguments (operands and local variables) must
640 The operand stack must have the same depth for all executions paths
659 Local variable pairs must never be broken up.
696 The operand stack must never grow beyond <code>max_stack</code>.
714 The operand stack must never underflow.
732 An <code>invokespecial</code> instruction must only invoke an instance
752 An instance initializer must only be invoked on an uninitialized
790 The must be no backwards branches with uninitialized instances on the
791 operand stack or in local variables. There must be no code protected
811 An instance initializer must call another instance initializer (same
833 All actual method arguments must be assignment-compatible with formal
852 must be
872 A returns instruction must match its method's return type.
891 the instance being accessed must be either the current class or one
910 The type of a value stored into a static field must be
929 The type of a value stored into a field must be assignment-compatible
948 The type of every value stored into an array must be
967 The operand of an <code>athrow</code> instruction must be
986 The last reachable instruction of a method must either be a backwards
988 must not be possible to leave the <code>code</code> array at the
1007 Local variable values must not be used as return addresses.
1025 There must be a single, uniquely determined return instruction per
1044 Subroutine calls must not be directly or indirectly self-recursive.
1062 <code>ReturnAddress</code> instances must not be reused. If a
1065 <code>ReturnAddress</code> instances further down the stack must
