public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
{
return
((rand0 is LexicalVariable) ? PrimitiveIsObjectEqL.Make(rator, (LexicalVariable)rand0, rand1) :
(rand0 is Quotation) ? PrimitiveIsObjectEqQ.Make(rator, (Quotation)rand0, rand1) :
(rand1 is LexicalVariable) ? PrimitiveIsObjectEqSL.Make(rator, rand0, (LexicalVariable)rand1) :
(rand1 is Quotation) ? PrimitiveIsObjectEqSQ.Make(rator, rand0, (Quotation)rand1) :
new PrimitiveIsObjectEq(rator, rand0, rand1));
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, SCode consequent, LexicalVariable alternative)
{
return
(alternative is Argument) ? PCondIsObjectEqQSSA.Make (predicate, consequent, (Argument) alternative):
(alternative is LexicalVariable1) ? Unimplemented():
new PCondIsObjectEqQSSL (predicate, consequent, alternative);
}
protected PCondIsObjectEqQSSL(PrimitiveIsObjectEqQ predicate, SCode consequent, LexicalVariable alternative)
: base(predicate, consequent, alternative)
{
this.alternativeName = alternative.Name;
this.alternativeDepth = alternative.Depth;
this.alternativeOffset = alternative.Offset;
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, SCode consequent, Argument0 alternative)
{
return
new PCondIsObjectEqQSSA0 (predicate, consequent, alternative);
}
PCondIsObjectEqQSSA0(PrimitiveIsObjectEqQ predicate, SCode consequent, Argument0 alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, SCode consequent, Argument alternative)
{
return
(alternative is Argument0) ? PCondIsObjectEqQSSA0.Make (predicate, consequent, (Argument0) alternative) :
(alternative is Argument1) ? Unimplemented () :
new PCondIsObjectEqQSSA (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, Quotation consequent, SCode alternative)
{
return
(alternative is LexicalVariable) ? Unimplemented () :
(alternative is Quotation) ? PCondIsObjectEqQSQQ.Make (predicate, consequent, (Quotation) alternative) :
new PCondIsObjectEqQSQ (predicate, consequent, alternative);
}
protected PCondIsObjectEqQ(PrimitiveIsObjectEqQ predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand0Value = predicate.rand0Value;
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, LexicalVariable consequent, LexicalVariable1 alternative)
{
return
new PCondIsObjectEqQSLL1 (predicate, consequent, alternative);
}
PCondIsObjectEqQSLL1(PrimitiveIsObjectEqQ predicate, LexicalVariable consequent, LexicalVariable1 alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, LexicalVariable consequent, SCode alternative)
{
return
(consequent is Argument) ? PCondIsObjectEqQSA.Make (predicate, (Argument) consequent, alternative) :
(consequent is LexicalVariable1) ? Unimplemented() :
(alternative is LexicalVariable) ? PCondIsObjectEqQSLL.Make (predicate, consequent, (LexicalVariable) alternative) :
(alternative is Quotation) ? Unimplemented ():
new PCondIsObjectEqQSL (predicate, consequent, alternative);
}
protected PCondIsObjectEqQSL(PrimitiveIsObjectEqQ predicate, LexicalVariable consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
protected PCondIsObjectEqQSA0(PrimitiveIsObjectEqQ predicate, Argument0 consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsObjectEqQL) ? PCondIsObjectEqQL.Make ((PrimitiveIsObjectEqQL) predicate, consequent, alternative) :
//(predicate is PrimitiveIsObjectEqQQ) ? Unimplemented() :
(consequent is LexicalVariable) ? PCondIsObjectEqQSL.Make (predicate, (LexicalVariable) consequent, alternative) :
(consequent is Quotation) ? PCondIsObjectEqQSQ.Make (predicate, (Quotation) consequent, alternative) :
(alternative is LexicalVariable) ? PCondIsObjectEqQSSL.Make (predicate, consequent, (LexicalVariable) alternative) :
(alternative is Quotation) ? PCondIsObjectEqQSSQ.Make (predicate, consequent, (Quotation) alternative) :
new PCondIsObjectEqQ (predicate, consequent, alternative);
}
PCondIsObjectEqQSSQ(PrimitiveIsObjectEqQ predicate, SCode consequent, Quotation alternative)
: base(predicate, consequent, alternative)
{
this.alternativeValue = alternative.Quoted;
}
public static SCode Make(PrimitiveIsObjectEqQ predicate, SCode consequent, Quotation alternative)
{
return
new PCondIsObjectEqQSSQ (predicate, consequent, alternative);
}
protected PCondIsObjectEqQSQ(PrimitiveIsObjectEqQ predicate, Quotation consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.consequentValue = consequent.Quoted;
}
