69805464_Artho_Software___Jlint_manual__orrespondent_Java_construction
[Instruction type] Label of forward jump [Action] If previous instruction is no-pass instruction (return, unconditional jump, throw exception) then restore saved context, otherwise merge current context with saved context (set minimum property of integer variable to minimum of this property value in current and saved contexts, maximum - to maximum of values in two contexts, and mask as join of masks in two context; for object variable - mark it as "may contain null" if it is marked so in one of contexts). If label corresponds to switch statement case, and switch expression is single local variable, then update properties of this variable by setting its minimum and maximum values and mask to value of case selector.
End of IF body or SWITCH case
Artho Software - Jlint manual
Correspondent Java construction