public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
{
return
((rand0 is Argument) ? PrimitiveRecordRefA.Make(rator, (Argument)rand0, rand1) :
(rand0 is StaticVariable) ? PrimitiveRecordRefS.Make(rator, (StaticVariable)rand0, rand1) :
(rand1 is Quotation) ? PrimitiveRecordRefXQ.Make(rator, rand0, (Quotation)rand1) :
new PrimitiveRecordRef(rator, rand0, rand1));
}
public static SCode Make(PrimitiveRecordRefS predicate, SCode consequent, SCode alternative)
{
return
((predicate is PrimitiveRecordRefSQ) ? PCondRecordRefSQ.Make((PrimitiveRecordRefSQ)predicate, consequent, alternative) :
new PCondRecordRefS(predicate, consequent, alternative));
}
protected PCondRecordRefS(PrimitiveRecordRefS predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand0Name = predicate.rand0Name;
this.rand0Offset = predicate.rand0Offset;
}
public static SCode Make(PrimitiveRecordRefS predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveRecordRefSQ) ? PCondRecordRefSQ.Make ((PrimitiveRecordRefSQ) predicate, consequent, alternative) :
new PCondRecordRefS (predicate, consequent, alternative);
}
protected PCondRecordRefS(PrimitiveRecordRefS predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand0Name = predicate.rand0Name;
this.rand0Offset = predicate.rand0Offset;
}