public bool RunOn(Program prog, Transform.PassInfo passInfo)
{
foreach (var func in prog.TopLevelDeclarations.OfType <Function>())
{
var findRecursiveFunctionVisitor = new FindRecursiveFunctionVisitor(RecursiveFunctions);
findRecursiveFunctionVisitor.Visit(func);
}
return(false); // This is an Analysis that doesn't modify anything about the Functions
}
public bool RunOn(Microsoft.Boogie.Program prog, Transform.PassInfo passInfo)
{
var visitor = new ProgramLocationAnnotationVisitor();
prog = (Microsoft.Boogie.Program)visitor.Visit(prog);
// We don't consider modifying metadata as changing the program
return(false);
}
public void SetPassInfo(ref Transform.PassInfo passInfo)
{
// No dependencies
return;
}
public void SetPassInfo(ref Transform.PassInfo passInfo)
{
return;
}
public bool RunOn(Microsoft.Boogie.Program prog, Transform.PassInfo passInfo)
{
return(false);
}
