public static HashSet <Microsoft.Boogie.Type> FindAllTypes(Program program)
{
var visitor = new ProgramTypes();
visitor.VisitProgram(program);
return(visitor.types);
}
public static bool checkMapTypes(Program program)
{
var types = ProgramTypes.FindAllTypes(program);
if (types.Any(t => t.IsMap))
{
Console.WriteLine("Program uses the map type: {0}", types.Where(t => t.IsMap).First().ToString());
return(false);
}
return(true);
}