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) : base(globals, fetch, init)
{
}
public QuickClone(Globals globals, Init init, QuickFetch fetch, TextWriter stdout)
: base(globals, fetch, init, null, stdout)
{
}
public Clone(Globals globals, Fetch fetch, Init init)
{
this.fetch = fetch;
this.init = init;
this.globals = globals;
}
