public override Implementation VisitImplementation(Implementation impl)
{
this.successors = LiveVariableAnalyzer.buildSuccessorRelation(impl);
this.live = this.liveVarAnalyzer.getLiveVariables(impl);
return(base.VisitImplementation(impl));
}
public override Program VisitProgram(Program node)
{
this.prog = node;
this.liveVarAnalyzer = new LiveVariableAnalyzer(this.prog);
return(base.VisitProgram(node));
}
