示例#1
0
 protected PCond2A0L1L(PrimitiveCombination2A0L1 predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
示例#2
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, LexicalVariable consequent, SCode alternative)
 {
     return
         (consequent is Argument) ? PCond2A0L1A.Make (predicate, (Argument) consequent, alternative) :
         (consequent is LexicalVariable1) ? PCond2A0L1L1.Make (predicate, (LexicalVariable1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2A0L1LL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2A0L1LQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2A0L1L (predicate, consequent, alternative);
 }
示例#3
0
 PCond2A0L1AQ(PrimitiveCombination2A0L1 predicate, Argument consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
示例#4
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, Argument consequent, Quotation alternative)
 {
     return
         new PCond2A0L1AQ (predicate, consequent, alternative);
 }
示例#5
0
 // (a0 l1 l1 l1)
 PCond2A0L1L1L1(PrimitiveCombination2A0L1 predicate, LexicalVariable1 consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#6
0
 PCond2A0L1LQ(PrimitiveCombination2A0L1 predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
示例#7
0
 // (a0 l1 a0 s)
 protected PCond2A0L1A0(PrimitiveCombination2A0L1 predicate, Argument0 consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#8
0
 protected PCond2A0L1L1L(PrimitiveCombination2A0L1 predicate, LexicalVariable1 consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
示例#9
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, SCode consequent, Argument1 alternative)
 {
     return new PCond2A0L1SA1 (predicate, consequent, alternative);
 }
示例#10
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, Argument consequent, SCode alternative)
 {
     return
         (consequent is Argument0) ? PCond2A0L1A0.Make (predicate, (Argument0) consequent, alternative) :
         (consequent is Argument1) ? PCond2A0L1A1.Make (predicate, (Argument1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2A0L1AL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2A0L1AQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2A0L1A (predicate, consequent, alternative);
 }
示例#11
0
 PCond2A0L1SA0(PrimitiveCombination2A0L1 predicate, SCode consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#12
0
 // (a0 l1 q a0)
 PCond2A0L1QA0(PrimitiveCombination2A0L1 predicate, Quotation consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#13
0
 protected PCond2A0L1Q(PrimitiveCombination2A0L1 predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
示例#14
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, LexicalVariable1 consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCond2A0L1L1L.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2A0L1L1Q.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2A0L1L1 (predicate, consequent, alternative);
 }
示例#15
0
 // (a0 l1 a1 l1)
 protected PCond2A0L1A1A(PrimitiveCombination2A0L1 predicate, Argument1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#16
0
 // (a0 l1 l1 l1)
 protected PCond2A0L1L1A(PrimitiveCombination2A0L1 predicate, LexicalVariable1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#17
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, Argument consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? PCond2A0L1AA0.Make (predicate, consequent, (Argument0) alternative) :
         (alternative is Argument1) ? PCond2A0L1AA1.Make (predicate, consequent, (Argument1) alternative) :
         new PCond2A0L1AA (predicate, consequent, alternative);
 }
示例#18
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, LexicalVariable1 consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCond2A0L1L1A.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? PCond2A0L1L1L1.Make (predicate, consequent, (LexicalVariable1) alternative) :
         new PCond2A0L1L1L (predicate, consequent, alternative);
 }
示例#19
0
 // (a0 l1 a a1)
 PCond2A0L1AA1(PrimitiveCombination2A0L1 predicate, Argument consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
示例#20
0
 public static SCode Make(PrimitiveCombination2A0L1 predicate, LexicalVariable1 consequent, LexicalVariable1 alternative)
 {
     return
         new PCond2A0L1L1L1 (predicate, consequent, alternative);
 }
示例#21
0
 // (a0 l1 l a0)
 PCond2A0L1LA0(PrimitiveCombination2A0L1 predicate, LexicalVariable consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }