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))); }