Example #1
0
 // (s a1 q a1)
 PCond2AA1QA1(PrimitiveCombination2AA1 predicate, Quotation consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #2
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, Quotation consequent, Argument1 alternative)
 {
     return
         new PCond2AA1QA1 (predicate, consequent, alternative);
 }
Example #3
0
 // (s a1 a0 s)
 protected PCond2AA1A0(PrimitiveCombination2AA1 predicate, Argument0 consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #4
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCond2AA1QL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2AA1QQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2AA1Q (predicate, consequent, alternative);
 }
Example #5
0
 PCond2AA1SL1(PrimitiveCombination2AA1 predicate, SCode consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #6
0
 PCond2AA1SQ(PrimitiveCombination2AA1 predicate, SCode consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Example #7
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, LexicalVariable1 consequent, Quotation alternative)
 {
     return
         new PCond2AA1L1Q (predicate, consequent, alternative);
 }
Example #8
0
 protected PCond2AA1SL(PrimitiveCombination2AA1 predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
Example #9
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, LexicalVariable consequent, SCode alternative)
 {
     return
         (consequent is Argument) ? PCond2AA1A.Make (predicate, (Argument) consequent, alternative) :
         (consequent is LexicalVariable1) ? PCond2AA1L1.Make (predicate, (LexicalVariable1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2AA1LL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2AA1LQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2AA1L (predicate, consequent, alternative);
 }
Example #10
0
 // (s a1 l1 l1)
 protected PCond2AA1L1A(PrimitiveCombination2AA1 predicate, LexicalVariable1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #11
0
 protected PCond2AA1L(PrimitiveCombination2AA1 predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
Example #12
0
 // (s a1 a a0)
 PCond2AA1AA0(PrimitiveCombination2AA1 predicate, Argument consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #13
0
 // (s a1 a1 l1)
 protected PCond2AA1A1A(PrimitiveCombination2AA1 predicate, Argument1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #14
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, SCode consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? PCond2AA1SA0.Make (predicate, consequent, (Argument0) alternative) :
         (alternative is Argument1) ? PCond2AA1SA1.Make (predicate, consequent, (Argument1) alternative) :
         new PCond2AA1SA (predicate, consequent, alternative);
 }
Example #15
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, LexicalVariable consequent, Argument0 alternative)
 {
     return
         new PCond2AA1LA0 (predicate, consequent, alternative);
 }
Example #16
0
 PCond2AA1SA1(PrimitiveCombination2AA1 predicate, SCode consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #17
0
 // (s a1 l a1)
 PCond2AA1LA1(PrimitiveCombination2AA1 predicate, LexicalVariable consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Example #18
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, SCode consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCond2AA1SA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? PCond2AA1SL1.Make (predicate, consequent, (LexicalVariable1) alternative) :
         new PCond2AA1SL (predicate, consequent, alternative);
 }
Example #19
0
 PCond2AA1LQ(PrimitiveCombination2AA1 predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Example #20
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, SCode consequent, LexicalVariable1 alternative)
 {
     return new PCond2AA1SL1 (predicate, consequent, alternative);
 }
Example #21
0
 protected PCond2AA1Q(PrimitiveCombination2AA1 predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Example #22
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, SCode consequent, Quotation alternative)
 {
     return
         new PCond2AA1SQ (predicate, consequent, alternative);
 }
Example #23
0
 public static SCode Make(PrimitiveCombination2AA1 predicate, Argument consequent, SCode alternative)
 {
     return
         (consequent is Argument0) ? PCond2AA1A0.Make (predicate, (Argument0) consequent, alternative) :
         (consequent is Argument1) ? PCond2AA1A1.Make (predicate, (Argument1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2AA1AL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2AA1AQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2AA1A (predicate, consequent, alternative);
 }