public static SCode Make(PrimitiveIsFixnumEqualA1L predicate, SCode consequent, Quotation alternative)
{
return
new PCondIsFixnumEqualA1LSQ (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveIsFixnumEqualA1L predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsFixnumEqualA1A) ? PCondIsFixnumEqualA1A.Make ((PrimitiveIsFixnumEqualA1A) predicate, consequent, alternative) :
(predicate is PrimitiveIsFixnumEqualA1L1) ? Unimplemented () :
(consequent is LexicalVariable) ? Unimplemented () :
(consequent is Quotation) ? Unimplemented () :
(alternative is LexicalVariable) ? Unimplemented () :
(alternative is Quotation) ? PCondIsFixnumEqualA1LSQ.Make (predicate, consequent, (Quotation) alternative) :
new PCondIsFixnumEqualA1L (predicate, consequent, alternative);
}
PCondIsFixnumEqualA1LSQ(PrimitiveIsFixnumEqualA1L predicate, SCode consequent, Quotation alternative)
: base(predicate, consequent, alternative)
{
}
protected PCondIsFixnumEqualA1L(PrimitiveIsFixnumEqualA1L predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand1Name = predicate.rand1Name;
this.rand1Depth = predicate.rand1Depth;
this.rand1Offset = predicate.rand1Offset;
}