public SimplificationData FastRemoveAllRemovables(StopChecker stopChecker)
{
var remover = new SimultaneousAllTypeRemover(Program);
var simpData = remover.Remove(AllRemovableTypes, 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);
}
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 FastRemoveAllRemovables(StopChecker stopChecker)
{
var remover = new SimultaneousAllTypeRemover(Program);
var simpData = remover.Remove(AllRemovableTypes, stopChecker);
return simpData;
}
