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; }