public Clone(Globals globals, Fetch fetch, Init init, InitBranch initBranch) { this.fetch = fetch; this.init = init; this.globals = globals; this.initBranch = initBranch; }
public Clone(Globals globals, Fetch fetch, Init init, InitBranch initBranch, TextWriter stdout) { this.fetch = fetch; this.init = init; this.globals = globals; this.initBranch = initBranch; this.stdout = stdout; }
public Clone(Globals globals, Fetch fetch, Init init, InitBranch initBranch) { _fetch = fetch; _init = init; _globals = globals; _initBranch = initBranch; globals.GcCountdown = globals.GcPeriod; }
public Clone(Globals globals, Fetch fetch, Init init, InitBranch initBranch, TextWriter stdout) { this.fetch = fetch; this.init = init; this.globals = globals; this.initBranch = initBranch; //[Temporary] Remove in the next version! initBranch.DontDisplayObsoleteMessage = true; this.stdout = stdout; }
public QuickClone(Globals globals, Init init, QuickFetch fetch) : base(globals, fetch, init) { }
public Clone(Globals globals, Fetch fetch, Init init) { this.fetch = fetch; this.init = init; this.globals = globals; }
public QuickClone(Globals globals, Init init, QuickFetch fetch, TextWriter stdout) : base(globals, fetch, init, null, stdout) { }