Ejemplo n.º 1
0
 // (s a q a1)
 PCond2QAQA1(PrimitiveCombination2QA predicate, Quotation consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 2
0
 public static SCode Make(PrimitiveCombination2QA predicate, Argument consequent, SCode alternative)
 {
     return
         (consequent is Argument0) ? PCond2QAA0.Make (predicate, (Argument0) consequent, alternative) :
         (consequent is Argument1) ? PCond2QAA1.Make (predicate, (Argument1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2QAAL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2QAAQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2QAA (predicate, consequent, alternative);
 }
Ejemplo n.º 3
0
 public static SCode Make(PrimitiveCombination2QA predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCond2QAQL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2QAQQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2QAQ (predicate, consequent, alternative);
 }
Ejemplo n.º 4
0
 public static SCode Make(PrimitiveCombination2QA predicate, SCode consequent, LexicalVariable1 alternative)
 {
     return new PCond2QASL1 (predicate, consequent, alternative);
 }
Ejemplo n.º 5
0
 public static SCode Make(PrimitiveCombination2QA predicate, SCode consequent, Quotation alternative)
 {
     return
         new PCond2QASQ (predicate, consequent, alternative);
 }
Ejemplo n.º 6
0
 PCond2QASA1(PrimitiveCombination2QA predicate, SCode consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 7
0
 public static SCode Make(PrimitiveCombination2QA predicate, SCode consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCond2QASA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? PCond2QASL1.Make (predicate, consequent, (LexicalVariable1) alternative) :
         new PCond2QASL (predicate, consequent, alternative);
 }
Ejemplo n.º 8
0
 public static SCode Make(PrimitiveCombination2QA predicate, LexicalVariable consequent, SCode alternative)
 {
     return
         (consequent is Argument) ? PCond2QAA.Make (predicate, (Argument) consequent, alternative) :
         (consequent is LexicalVariable1) ? PCond2QAL1.Make (predicate, (LexicalVariable1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2QALL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2QALQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2QAL (predicate, consequent, alternative);
 }
Ejemplo n.º 9
0
 // (s a l1 l1)
 protected PCond2QAL1A(PrimitiveCombination2QA predicate, LexicalVariable1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 10
0
 // (s a a a0)
 PCond2QAAA0(PrimitiveCombination2QA predicate, Argument consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 11
0
 protected PCond2QAL(PrimitiveCombination2QA predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
Ejemplo n.º 12
0
 public static SCode Make(PrimitiveCombination2QA predicate, Argument1 consequent, Argument0 alternative)
 {
     return
         new PCond2QAA1A0 (predicate, consequent, alternative);
 }
Ejemplo n.º 13
0
 // (s a a1 l1)
 protected PCond2QAA1A(PrimitiveCombination2QA predicate, Argument1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 14
0
 // (s a a0 l1)
 PCond2QAA0L1(PrimitiveCombination2QA predicate, Argument0 consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 15
0
 public static SCode Make(PrimitiveCombination2QA predicate, Quotation consequent, Argument1 alternative)
 {
     return
         new PCond2QAQA1 (predicate, consequent, alternative);
 }
Ejemplo n.º 16
0
 public static SCode Make(PrimitiveCombination2QA predicate, LexicalVariable1 consequent, Quotation alternative)
 {
     return
         new PCond2QAL1Q (predicate, consequent, alternative);
 }
Ejemplo n.º 17
0
 public static SCode Make(PrimitiveCombination2QA predicate, SCode consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? PCond2QASA0.Make (predicate, consequent, (Argument0) alternative) :
         (alternative is Argument1) ? PCond2QASA1.Make (predicate, consequent, (Argument1) alternative) :
         new PCond2QASA (predicate, consequent, alternative);
 }
Ejemplo n.º 18
0
 public static SCode Make(PrimitiveCombination2QA predicate, LexicalVariable consequent, Argument0 alternative)
 {
     return
         new PCond2QALA0 (predicate, consequent, alternative);
 }
Ejemplo n.º 19
0
 protected PCond2QASL(PrimitiveCombination2QA predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
Ejemplo n.º 20
0
 // (s a l a1)
 PCond2QALA1(PrimitiveCombination2QA predicate, LexicalVariable consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 21
0
 PCond2QASL1(PrimitiveCombination2QA predicate, SCode consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 22
0
 PCond2QALQ(PrimitiveCombination2QA predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Ejemplo n.º 23
0
 PCond2QASQ(PrimitiveCombination2QA predicate, SCode consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Ejemplo n.º 24
0
 protected PCond2QAQ(PrimitiveCombination2QA predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Ejemplo n.º 25
0
 // (s a s s)
 protected PCond2QA(PrimitiveCombination2QA predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 26
0
 public static SCode Make(PrimitiveCombination2QA predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveCombination2QA0) ? PCond2QA0.Make ((PrimitiveCombination2QA0) predicate, consequent, alternative) :
         (predicate is PrimitiveCombination2QA1) ? PCond2QA1.Make ((PrimitiveCombination2QA1) predicate, consequent, alternative) :
         (consequent is LexicalVariable) ? PCond2QAL.Make (predicate, (LexicalVariable) consequent, alternative) :
         (consequent is Quotation) ? PCond2QAQ.Make (predicate, (Quotation) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2QASL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2QASQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2QA (predicate, consequent, alternative);
 }