public DareController(Program program, IRemover remover)
{
Contract.Requires(program != null);
Program = program;
if (!IsProgramValid())
throw new NotValidException();
var removalTypeFinder = new RemovableTypeFinder(program);
AllRemovableTypes = removalTypeFinder.FindRemovables();
Remover = remover;
}
public DareController(Program program, IRemover remover)
{
Contract.Requires(program != null);
Program = program;
if (!IsProgramValid())
{
throw new NotValidException();
}
var removalTypeFinder = new RemovableTypeFinder(program);
AllRemovableTypes = removalTypeFinder.FindRemovables();
Remover = remover;
}
public SimplificationData FastRemoveAllInMethods(StopChecker stopChecker, List <MemberDecl> members)
{
var remover = new SimultaneousAllTypeRemover(Program);
var newAllRemovables = new AllRemovableTypes();
foreach (var member in members)
{
if (!AllRemovableTypes.RemovableTypesInMethods.ContainsKey(member))
{
continue;
}
newAllRemovables.RemovableTypesInMethods.Add(member, AllRemovableTypes.RemovableTypesInMethods[member]);
}
var simpData = remover.Remove(newAllRemovables, stopChecker);
return(simpData);
}
public SimplificationData FastRemoveAllInMethods(StopChecker stopChecker, List<MemberDecl> members)
{
var remover = new SimultaneousAllTypeRemover(Program);
var newAllRemovables = new AllRemovableTypes();
foreach (var member in members) {
if(!AllRemovableTypes.RemovableTypesInMethods.ContainsKey(member))
continue;
newAllRemovables.RemovableTypesInMethods.Add(member, AllRemovableTypes.RemovableTypesInMethods[member]);
}
var simpData = remover.Remove(newAllRemovables, stopChecker);
return simpData;
}
