ch.epfl.labos.iu.orm.queryll2.symbolic

Interface BasicSymbolicInterpreter.BranchHandler

Enclosing class:

BasicSymbolicInterpreter

public static interface BasicSymbolicInterpreter.BranchHandler

Method Summary

Modifier and Type	Method and Description
void	ifInstruction(org.jinq.rebased.org.objectweb.asm.tree.AbstractInsnNode insn, TypedValue.ComparisonValue ifTrueValue)

Method Detail

ifInstruction

void ifInstruction(org.jinq.rebased.org.objectweb.asm.tree.AbstractInsnNode insn,
                   TypedValue.ComparisonValue ifTrueValue)