public SlicerWorker(
GeneralOptions options,
ISimpleLineWriter outputLineWriter,
ISlicerEnvironment <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly> environment
)
{
this.options = options;
this.environment = environment;
this.mdDecoder = environment.MetaDataDecoder;
this.contractDecoder = environment.ContractDecoder;
this.fieldsDB = new FieldsDB <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly>(this.mdDecoder);
this.output = new TextWriterOutputWithPrefix(outputLineWriter.AsTextWriter(), options, "[SlicerWorker] "); // TODO
var basicDriver = new BasicAnalysisDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, ILogOptions>(this.mdDecoder, this.contractDecoder, this.output, options);
this.driver = new OldAnalysisDriver <Local, Parameter, Method, Field, Property, Event, Type, Attribute, Assembly, ILogOptions, IMethodResult <SymbolicValue> >(basicDriver);
this.OptionsData = OptionsHashing.GetOptionsData(environment.MethodAnalyzers, environment.ClassAnalyzers, options);
EGraphStats.IncrementalJoin = options.incrementalEgraphJoin; // used in OptimisticHeapAnalysis
// TODO: initialize analysis needed by the slicer, but not more
// TODO: is that it?
}
public static int Main(string[] args, ISimpleLineWriter lineWriter)
{
Contract.Requires(args != null);
var textWriter = lineWriter.AsTextWriter();
var outputFactory = new FullTextWriterOutputFactory <MethodReferenceAdaptor, IAssemblyReference>(textWriter);
return(Main(args, outputFactory, null));
}
public static int Main(string[] args, ISimpleLineWriter lineWriter)
{
Contract.Requires(args != null);
var textWriter = lineWriter.AsTextWriter();
var outputFactory = new FullTextWriterOutputFactory<System.Compiler.Method, System.Compiler.AssemblyNode>(textWriter);
return Main(args, outputFactory, null);
}
public static int Main(string[] args, ISimpleLineWriter lineWriter)
{
Contract.Requires(args != null);
var textWriter = lineWriter.AsTextWriter();
var outputFactory = new FullTextWriterOutputFactory <System.Compiler.Method, System.Compiler.AssemblyNode>(textWriter);
return(Main(args, outputFactory, null));
}
public static int Main(string[] args, ISimpleLineWriter lineWriter)
{
Contract.Requires(args != null);
var textWriter = lineWriter.AsTextWriter();
var outputFactory = new FullTextWriterOutputFactory<MethodReferenceAdaptor, IAssemblyReference>(textWriter);
return Main(args, outputFactory, null);
}