C# (CSharp) BytecodeTranslator TraverserFactory Examples

Example #1

File: BaseTranslator.cs Project: vishalishere/bytecodetranslator

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

Example #2

 public BCTMetadataTraverser(Sink sink, IDictionary <IUnit, PdbReader> pdbReaders, TraverserFactory factory)
     : base()
 {
     this.sink       = sink;
     this.Factory    = factory;
     this.PdbReaders = pdbReaders;
 }

Example #3

File: StatementTraverser.cs Project: lleraromero/bytecodetranslator

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

Example #4

File: StatementTraverser.cs Project: vishalishere/bytecodetranslator

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

Example #5

 public WholeProgramMetadataSemantics(WholeProgram parent, Sink sink, IDictionary <IUnit, PdbReader> pdbReaders, TraverserFactory factory)
     : base(sink, pdbReaders, factory)
 {
     this.parent = parent;
     this.sink   = sink;
 }

Example #6

File: MetadataTraverser.cs Project: hesam/SketchSharp

 public MetadataTraverser(Sink sink, IContractProvider cp)
   : base() {
   this.sink = sink;
   this.factory = sink.Factory;
   ContractProvider = cp;
 }

Example #7

File: MetadataTraverser.cs Project: lleraromero/bytecodetranslator

 public BCTMetadataTraverser(Sink sink, IDictionary<IUnit, PdbReader> pdbReaders, TraverserFactory factory)
   : base() {
   this.sink = sink;
   this.Factory = factory;
   this.PdbReaders = pdbReaders;
 }

Example #8

File: BaseTranslator.cs Project: lleraromero/bytecodetranslator

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

Example #9

File: Sink.cs Project: hesam/SketchSharp

 public Sink(TraverserFactory factory) {
   this.factory = factory;
 }