public static SCode Make(Primitive2 rator, Argument rand0, SCode rand1)
{
return
((rand0 is Argument0) ? PrimitiveIsCharEqA0.Make(rator, (Argument0)rand0, rand1)
: (rand0 is Argument1) ? PrimitiveIsCharEqA1.Make(rator, (Argument1)rand0, rand1)
: Unimplemented());
}
public static SCode Make(PrimitiveIsCharEqA1 predicate, SCode consequent, SCode alternative)
{
return
(new PCondIsCharEqA1(predicate, consequent, alternative));
}
protected PCondIsCharEqA1(PrimitiveIsCharEqA1 predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveIsCharEqA1 predicate, SCode consequent, SCode alternative)
{
return
new PCondIsCharEqA1 (predicate, consequent, alternative);
}
protected PCondIsCharEqA1(PrimitiveIsCharEqA1 predicate, SCode consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}