public static SCode Make(Primitive2 rator, Quotation rand0, LexicalVariable rand1)
{
return
((rand1 is Argument) ? PrimitiveIsObjectEqQA.Make(rator, rand0, (Argument)rand1) :
(rand1 is LexicalVariable1) ? PrimitiveIsObjectEqQL1.Make(rator, rand0, (LexicalVariable1)rand1) :
new PrimitiveIsObjectEqQL(rator, rand0, rand1));
}
public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, Quotation alternative)
{
if (predicate.rand1Offset < 2) Debugger.Break ();
return
new PCondIsObjectEqQAQQ (predicate, consequent, alternative);
}
PCondIsObjectEqQAQQ(PrimitiveIsObjectEqQA predicate, Quotation consequent, Quotation alternative)
: base(predicate, consequent, alternative)
{
this.alternativeValue = alternative.Quoted;
}
public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, LexicalVariable alternative)
{
return
(alternative is Argument) ? PCondIsObjectEqQAQA.Make (predicate, consequent, (Argument) alternative) :
(alternative is LexicalVariable1) ? Unimplemented():
new PCondIsObjectEqQAQL (predicate, consequent, alternative);
}
protected PCondIsObjectEqQAQL(PrimitiveIsObjectEqQA predicate, Quotation consequent, LexicalVariable alternative)
: base(predicate, consequent, alternative)
{
this.alternativeName = alternative.Name;
this.alternativeDepth = alternative.Depth;
this.alternativeOffset = alternative.Offset;
}
public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, Argument alternative)
{
return
(alternative is Argument0) ? Unimplemented () :
(alternative is Argument1) ? Unimplemented () :
new PCondIsObjectEqQAQA (predicate, consequent, alternative);
}
protected PCondIsObjectEqQAQA(PrimitiveIsObjectEqQA predicate, Quotation consequent, Argument alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, SCode alternative)
{
return
(alternative is LexicalVariable) ? PCondIsObjectEqQAQL.Make (predicate, consequent, (LexicalVariable) alternative) :
(alternative is Quotation) ? PCondIsObjectEqQAQQ.Make (predicate, consequent, (Quotation) alternative) :
new PCondIsObjectEqQAQ (predicate, consequent, alternative);
}
protected PCondIsObjectEqQAQ(PrimitiveIsObjectEqQA predicate, Quotation consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.consequentValue = consequent.Quoted;
}
public static SCode Make(PrimitiveIsObjectEqQA predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsObjectEqQA0) ? PCondIsObjectEqQA0.Make ((PrimitiveIsObjectEqQA0) predicate, consequent, alternative) :
(predicate is PrimitiveIsObjectEqQA1) ? PCondIsObjectEqQA1.Make ((PrimitiveIsObjectEqQA1) predicate, consequent, alternative) :
(consequent is LexicalVariable) ? Unimplemented () :
(consequent is Quotation) ? PCondIsObjectEqQAQ.Make (predicate, (Quotation) consequent, alternative) :
(alternative is LexicalVariable) ? Unimplemented () :
(alternative is Quotation) ? Unimplemented () :
new PCondIsObjectEqQA (predicate, consequent, alternative);
}
protected PCondIsObjectEqQA(PrimitiveIsObjectEqQA predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
