}
@Override
public void match(CFGSingleEdge cfgEdge, BiMap<String, Variable> variables) {
ensureCorrectType(cfgEdge, SwitchEdge.class);
SwitchEdge switchEdge = (SwitchEdge) cfgEdge.edge;
String message = "Expected '" + this.toString() + "', have '" + cfgEdge.toString() + "' instead.";
if (cfgEdge.edgeIdx == 0) // default
org.junit.Assert.assertEquals(message, details, "default, "+switchEdge.expr);
else
org.junit.Assert.assertEquals(message, details, switchEdge.cases[cfgEdge.edgeIdx-1]+", "+switchEdge.expr);