public BaseTranslator(TraverserFactory factory, Sink sink, IDictionary <IUnit, IContractProvider> contractProviders, IDictionary <IUnit, PdbReader> pdbReaders)
{
Factory = factory;
this.sink = sink;
this.contractProviders = contractProviders;
this.pdbReaders = pdbReaders;
}
public BCTMetadataTraverser(Sink sink, IDictionary <IUnit, PdbReader> pdbReaders, TraverserFactory factory)
: base()
{
this.sink = sink;
this.Factory = factory;
this.PdbReaders = pdbReaders;
}
public StatementTraverser(Sink sink, PdbReader/*?*/ pdbReader, bool contractContext, TraverserFactory factory) {
this.sink = sink;
this.factory = factory;
PdbReader = pdbReader;
this.contractContext = contractContext;
this.captureState = sink.Options.captureState;
this.PreorderVisitor = new SourceContextEmitter(this);
}
public StatementTraverser(Sink sink, PdbReader /*?*/ pdbReader, bool contractContext, TraverserFactory factory)
{
this.sink = sink;
this.factory = factory;
PdbReader = pdbReader;
this.contractContext = contractContext;
this.captureState = sink.Options.captureState;
this.PreorderVisitor = new SourceContextEmitter(this);
}
public WholeProgramMetadataSemantics(WholeProgram parent, Sink sink, IDictionary <IUnit, PdbReader> pdbReaders, TraverserFactory factory)
: base(sink, pdbReaders, factory)
{
this.parent = parent;
this.sink = sink;
}
public MetadataTraverser(Sink sink, IContractProvider cp)
: base() {
this.sink = sink;
this.factory = sink.Factory;
ContractProvider = cp;
}
public BCTMetadataTraverser(Sink sink, IDictionary<IUnit, PdbReader> pdbReaders, TraverserFactory factory)
: base() {
this.sink = sink;
this.Factory = factory;
this.PdbReaders = pdbReaders;
}
public BaseTranslator(TraverserFactory factory, Sink sink, IDictionary<IUnit, IContractProvider> contractProviders, IDictionary<IUnit, PdbReader> pdbReaders) {
Factory = factory;
this.sink = sink;
this.contractProviders = contractProviders;
this.pdbReaders = pdbReaders;
}
public Sink(TraverserFactory factory) {
this.factory = factory;
}
