public static SCode Make(PrimitiveCombination2A1 predicate, SCode consequent, SCode alternative)
{
return
(predicate is PrimitiveCombination2A1L) ? PCond2A1L.Make ((PrimitiveCombination2A1L) predicate, consequent, alternative) :
(predicate is PrimitiveCombination2A1Q) ? PCond2A1Q.Make ((PrimitiveCombination2A1Q) predicate, consequent, alternative) :
(consequent is LexicalVariable) ? PCond2A1SL.Make (predicate, (LexicalVariable) consequent, alternative) :
(consequent is Quotation) ? PCond2A1SQ.Make (predicate, (Quotation) consequent, alternative) :
(alternative is LexicalVariable) ? PCond2A1SSL.Make (predicate, consequent, (LexicalVariable) alternative) :
(alternative is Quotation) ? PCond2A1SSQ.Make (predicate, consequent, (Quotation) alternative) :
new PCond2A1 (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveCombination2A1 predicate, SCode consequent, Argument alternative)
{
return
(alternative is Argument0) ? PCond2A1SSA0.Make (predicate, consequent, (Argument0) alternative)
: (alternative is Argument1) ? PCond2A1SSA1.Make (predicate, consequent, (Argument1) alternative)
: new PCond2A1SSA (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveCombination2A1 predicate, Quotation consequent, Argument1 alternative)
{
return
new PCond2A1SQA1 (predicate, consequent, alternative);
}
// (a1 s q a1)
PCond2A1SQA1(PrimitiveCombination2A1 predicate, Quotation consequent, Argument1 alternative)
: base(predicate, consequent, alternative)
{
}
// (a1 s a0 s)
protected PCond2A1SA0(PrimitiveCombination2A1 predicate, Argument0 consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveCombination2A1 predicate, SCode consequent, Quotation alternative)
{
return
new PCond2A1SSQ (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveCombination2A1 predicate, SCode consequent, LexicalVariable1 alternative)
{
return
new PCond2A1SSL1 (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveCombination2A1 predicate, SCode consequent, LexicalVariable alternative)
{
return
(alternative is Argument) ? PCond2A1SSA.Make (predicate, consequent, (Argument) alternative)
: (alternative is LexicalVariable1) ? PCond2A1SSL1.Make (predicate, consequent, (LexicalVariable1) alternative)
: new PCond2A1SSL (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveCombination2A1 predicate, LexicalVariable consequent, Argument0 alternative)
{
return
new PCond2A1SLA0 (predicate, consequent, alternative);
}
// (a1 s l1 a)
protected PCond2A1SL1A(PrimitiveCombination2A1 predicate, LexicalVariable1 consequent, Argument alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveCombination2A1 predicate, LexicalVariable consequent, SCode alternative)
{
return
(consequent is Argument) ? PCond2A1SA.Make (predicate, (Argument) consequent, alternative)
: (consequent is LexicalVariable1) ? PCond2A1SL1.Make (predicate, (LexicalVariable1) consequent, alternative)
: (alternative is LexicalVariable) ? PCond2A1SLL.Make (predicate, consequent, (LexicalVariable) alternative)
: (alternative is Quotation) ? PCond2A1SLQ.Make (predicate, consequent, (Quotation) alternative)
: new PCond2A1SL (predicate, consequent, alternative);
}
protected PCond2A1SL(PrimitiveCombination2A1 predicate, LexicalVariable consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.consequentName = consequent.Name;
this.consequentDepth = consequent.Depth;
this.consequentOffset = consequent.Offset;
}
// (a1 s a a0)
PCond2A1SAA0(PrimitiveCombination2A1 predicate, Argument consequent, Argument0 alternative)
: base(predicate, consequent, alternative)
{
}
public static SCode Make(PrimitiveCombination2A1 predicate, Argument1 consequent, Argument0 alternative)
{
return
new PCond2A1SA1A0 (predicate, consequent, alternative);
}
// (a1 s a1 a)
protected PCond2A1SA1A(PrimitiveCombination2A1 predicate, Argument1 consequent, Argument alternative)
: base(predicate, consequent, alternative)
{
}
// (a1 s s a1)
PCond2A1SSA1(PrimitiveCombination2A1 predicate, SCode consequent, Argument1 alternative)
: base(predicate, consequent, alternative)
{
}
protected PCond2A1SSL(PrimitiveCombination2A1 predicate, SCode consequent, LexicalVariable alternative)
: base(predicate, consequent, alternative)
{
this.alternativeName = alternative.Name;
this.alternativeDepth = alternative.Depth;
this.alternativeOffset = alternative.Offset;
}
// (a1 s l a1)
PCond2A1SLA1(PrimitiveCombination2A1 predicate, LexicalVariable consequent, Argument1 alternative)
: base(predicate, consequent, alternative)
{
}
// (a1 s s l1)
PCond2A1SSL1(PrimitiveCombination2A1 predicate, SCode consequent, LexicalVariable1 alternative)
: base(predicate, consequent, alternative)
{
}
PCond2A1SLQ(PrimitiveCombination2A1 predicate, LexicalVariable consequent, Quotation alternative)
: base(predicate, consequent, alternative)
{
this.alternativeValue = alternative.Quoted;
}
PCond2A1SSQ(PrimitiveCombination2A1 predicate, SCode consequent, Quotation alternative)
: base(predicate, consequent, alternative)
{
this.alternativeValue = alternative.Quoted;
}
protected PCond2A1SQ(PrimitiveCombination2A1 predicate, Quotation consequent, SCode alternative)
: base(predicate, consequent, alternative)
{
this.consequentValue = consequent.Quoted;
}
public static SCode Make(PrimitiveCombination2A1 predicate, Quotation consequent, SCode alternative)
{
return
(alternative is LexicalVariable) ? PCond2A1SQL.Make (predicate, consequent, (LexicalVariable) alternative)
: (alternative is Quotation) ? PCond2A1SQQ.Make (predicate, consequent, (Quotation) alternative)
: new PCond2A1SQ (predicate, consequent, alternative);
}
public static SCode Make(PrimitiveCombination2A1 predicate, Argument consequent, SCode alternative)
{
return
(consequent is Argument0) ? PCond2A1SA0.Make (predicate, (Argument0) consequent, alternative)
: (consequent is Argument1) ? PCond2A1SA1.Make (predicate, (Argument1) consequent, alternative)
: (alternative is LexicalVariable) ? PCond2A1SAL.Make (predicate, consequent, (LexicalVariable) alternative)
: (alternative is Quotation) ? PCond2A1SAQ.Make (predicate, consequent, (Quotation) alternative)
: new PCond2A1SA (predicate, consequent, alternative);
}
