public static SCode Make(Primitive2 rator, Quotation rand0, SCode rand1)
{
return
((rand1 is LexicalVariable) ? PrimitiveIsObjectEqQL.Make(rator, rand0, (LexicalVariable)rand1) :
(rand1 is Quotation) ? Unimplemented() :
new PrimitiveIsObjectEqQ(rator, rand0, rand1));
}
public static SCode Make(PrimitiveIsObjectEqQL predicate, Quotation consequent, Quotation alternative)
{
return
new PCondIsObjectEqQLQQ (predicate, consequent, alternative);
}
PCondIsObjectEqQLQQ(PrimitiveIsObjectEqQL predicate, Quotation consequent, Quotation alternative)
: base(predicate, consequent, alternative)
{
this.alternativeValue = alternative.Quoted;
}
public static SCode Make(PrimitiveIsObjectEqQL predicate, Quotation consequent, SCode alternative)
{
return
(alternative is LexicalVariable) ? Unimplemented () :
(alternative is Quotation) ? PCondIsObjectEqQLQQ.Make (predicate, consequent, (Quotation) alternative) :
new PCondIsObjectEqQLQ (predicate, consequent, alternative);
}
protected PCondIsObjectEqQLQ(PrimitiveIsObjectEqQL predicate, Quotation consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.consequentValue = consequent.Quoted;
}
public static SCode Make(PrimitiveIsObjectEqQL predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsObjectEqQA) ? PCondIsObjectEqQA.Make ((PrimitiveIsObjectEqQA) predicate, consequent, alternative) :
(predicate is PrimitiveIsObjectEqQL1) ? PCondIsObjectEqQL1.Make ((PrimitiveIsObjectEqQL1) predicate, consequent, alternative) :
(consequent is LexicalVariable) ? Unimplemented () :
(consequent is Quotation) ? PCondIsObjectEqQLQ.Make (predicate, (Quotation) consequent, alternative) :
(alternative is LexicalVariable) ? Unimplemented () :
(alternative is Quotation) ? Unimplemented () :
new PCondIsObjectEqQL (predicate, consequent, alternative);
}
protected PCondIsObjectEqQL(PrimitiveIsObjectEqQL predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand1Name = predicate.rand1Name;
this.rand1Depth = predicate.rand1Depth;
this.rand1Offset = predicate.rand1Offset;
}
