protected PCondIsCharEqL(PrimitiveIsCharEqL predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand0Name = predicate.rand0Name;
this.rand0Depth = predicate.rand0Depth;
this.rand0Offset = predicate.rand0Offset;
}
public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
{
return
((rand0 is LexicalVariable) ? PrimitiveIsCharEqL.Make(rator, (LexicalVariable)rand0, rand1)
: (rand0 is Quotation) ? PrimitiveIsCharEqQ.Make(rator, (Quotation)rand0, rand1)
: (rand1 is LexicalVariable) ? PrimitiveIsCharEqSL.Make(rator, rand0, (LexicalVariable)rand1)
: (rand1 is Quotation) ? PrimitiveIsCharEqSQ.Make(rator, rand0, (Quotation)rand1)
: new PrimitiveIsCharEq(rator, rand0, rand1));
}
public static SCode Make(PrimitiveIsCharEqL predicate, SCode consequent, SCode alternative)
{
return
((predicate is PrimitiveIsCharEqA) ? PCondIsCharEqA.Make((PrimitiveIsCharEqA)predicate, consequent, alternative) :
new PCondIsCharEqL(predicate, consequent, alternative));
}
public static SCode Make(PrimitiveIsCharEqL predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveIsCharEqA) ? PCondIsCharEqA.Make ((PrimitiveIsCharEqA) predicate, consequent, alternative) :
new PCondIsCharEqL (predicate, consequent, alternative);
}
protected PCondIsCharEqL(PrimitiveIsCharEqL predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.rand0Name = predicate.rand0Name;
this.rand0Depth = predicate.rand0Depth;
this.rand0Offset = predicate.rand0Offset;
}
