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