private void assertNotLiveBeforeX(String src, String var) {
FlowState<LiveVariablesAnalysis.LiveVariableLattice> state = getFlowStateAtX(src);
assertTrue("Label X should be in the input program.", state != null);
assertTrue(
"Variable" + var + " should not be live before X",
!state.getIn().isLive(liveness.getVarIndex(var)));
}
private void assertLiveBeforeX(String src, String var) {
FlowState<LiveVariablesAnalysis.LiveVariableLattice> state = getFlowStateAtX(src);
assertNotNull(src + " should contain a label 'X:'", state);
assertTrue(
"Variable" + var + " should be live before X",
state.getIn().isLive(liveness.getVarIndex(var)));
}
