public static SCode Make(SimpleLambda rator, Argument arg0)
{
//if (arg0 is Argument0) Debugger.Break ();
return
((arg0 is Argument0) ? SimpleLet1A0.Make(rator, (Argument0)arg0) :
new SimpleLet1A(rator, arg0));
}
public static SCode Make(SimpleLambda rator, SCode arg0)
{
return
((arg0 is Argument) ? SimpleLet1A.Make(rator, (Argument)arg0) :
(arg0 is SimpleLambda) ? SimpleLet1Lambda.Make(rator, (SimpleLambda)arg0) :
(arg0 is StaticVariable) ? SimpleLet1S.Make(rator, (StaticVariable)arg0) :
(arg0 is Quotation) ? SimpleLet1Q.Make(rator, (Quotation)arg0) :
new SimpleLet1(rator, arg0));
}
protected SimpleLet1(SimpleLambda rator, SCode rand)
: base(rator, rand)
{
this.lambda = rator;
//this.staticMapping = rator.GetStaticMapping ();
#if DEBUG
this.bodyType = rator.Body.GetType();
#endif
}
public static SCode Make(SimpleLambda rator, SimpleLambda arg0)
{
return
(new SimpleLet1Lambda(rator, arg0));
}
protected SimpleLet1Lambda(SimpleLambda rator, SimpleLambda rand)
: base(rator, rand)
{
this.randLambda = rand;
}
public static SCode Make(SimpleLambda rator, StaticVariable arg0)
{
//if (arg0 is Argument0) Debugger.Break ();
return
(new SimpleLet1S(rator, arg0));
}
protected SimpleLet1S(SimpleLambda rator, StaticVariable rand)
: base(rator, rand)
{
this.randName = rand.Name;
this.randOffset = rand.Offset;
}
public static SCode Make(SimpleLambda rator, Quotation arg0)
{
//if (arg0 is Argument0) Debugger.Break ();
return
(new SimpleLet1Q(rator, arg0));
}
protected SimpleLet1Q(SimpleLambda rator, Quotation rand)
: base(rator, rand)
{
this.randValue = rand.Quoted;
}
protected SimpleLet1A0(SimpleLambda rator, Argument0 rand)
: base(rator, rand)
{
}
protected SimpleLet1A(SimpleLambda rator, Argument rand)
: base(rator, rand)
{
this.randOffset = rand.Offset;
}
protected Letrec1(StaticLambda rator, Quotation rand)
: base(rator, rand)
{
this.innerLambda = ((Letrec1Body)rator.Body).lambda;
}
public static SCode Make(SimpleLambda rator, SCode arg0, SCode arg1)
{
return(StandardMake(rator, arg0, arg1));
}
static SCode StandardMake(SimpleLambda rator, SCode arg0, SCode arg1)
{
return
(new SimpleLet2(rator, arg0, arg1));
}
public Forall(SimpleLambda content)
{
Content = content;
}
