public static VarSet GetAllVars(Program p)
{
//List<GlobalVariable> globalDecls = BoogieUtil.GetGlobalVariables(p);
var procedures = BoogieUtil.GetProcedures(p);
var implementations = BoogieUtil.GetImplementations(p);
var allVars = new VarSet();
foreach (var proc in procedures)
{
var uses = new GlobalVarsUsed();
uses.VisitRequiresSeq(proc.Requires);
uses.VisitEnsuresSeq(proc.Ensures);
// skip visiting modifies clause
allVars.Add(new VarSet(uses.globalsUsed, proc.Name));
}
foreach (var impl in implementations)
{
var uses = new GlobalVarsUsed();
uses.VisitBlockList(impl.Blocks);
allVars.Add(new VarSet(uses.globalsUsed, impl.Name));
}
//globalDecls.Iterate(x => procedures.Iterate(y => allVars.Add(x.Name, y.Name)));
//globalDecls.Iterate(x => implementations.Iterate(y => allVars.Add(x.Name, y.Name)));
return(allVars);
}
