Exemple #1
0
 // (l l q a1)
 PCond2LLQA1(PrimitiveCombination2LL predicate, Quotation consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #2
0
 public static SCode Make(PrimitiveCombination2LL predicate, Quotation consequent, Argument1 alternative)
 {
     return
         new PCond2LLQA1 (predicate, consequent, alternative);
 }
Exemple #3
0
 protected PCond2LL(PrimitiveCombination2LL predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.rand1Name = predicate.rand1Name;
     this.rand1Depth = predicate.rand1Depth;
     this.rand1Offset = predicate.rand1Offset;
 }
Exemple #4
0
 // (l l a0 s)
 protected PCond2LLA0(PrimitiveCombination2LL predicate, Argument0 consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #5
0
 PCond2LLSL1(PrimitiveCombination2LL predicate, SCode consequent, LexicalVariable1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #6
0
 PCond2LLSQ(PrimitiveCombination2LL predicate, SCode consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Exemple #7
0
 public static SCode Make(PrimitiveCombination2LL predicate, LexicalVariable1 consequent, Quotation alternative)
 {
     return
         new PCond2LLL1Q (predicate, consequent, alternative);
 }
Exemple #8
0
 protected PCond2LLSL(PrimitiveCombination2LL predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
Exemple #9
0
 public static SCode Make(PrimitiveCombination2LL predicate, LexicalVariable consequent, SCode alternative)
 {
     return
         (consequent is Argument) ? PCond2LLA.Make (predicate, (Argument) consequent, alternative) :
         (consequent is LexicalVariable1) ? PCond2LLL1.Make (predicate, (LexicalVariable1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2LLLL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2LLLQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2LLL (predicate, consequent, alternative);
 }
Exemple #10
0
 // (l l l1 l1)
 protected PCond2LLL1A(PrimitiveCombination2LL predicate, LexicalVariable1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #11
0
 protected PCond2LLL(PrimitiveCombination2LL predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
Exemple #12
0
 // (l l a a0)
 PCond2LLAA0(PrimitiveCombination2LL predicate, Argument consequent, Argument0 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #13
0
 // (l l a1 l1)
 protected PCond2LLA1A(PrimitiveCombination2LL predicate, Argument1 consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #14
0
 public static SCode Make(PrimitiveCombination2LL predicate, SCode consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? PCond2LLSA0.Make (predicate, consequent, (Argument0) alternative) :
         (alternative is Argument1) ? PCond2LLSA1.Make (predicate, consequent, (Argument1) alternative) :
         new PCond2LLSA (predicate, consequent, alternative);
 }
Exemple #15
0
 public static SCode Make(PrimitiveCombination2LL predicate, LexicalVariable consequent, Argument0 alternative)
 {
     return
         new PCond2LLLA0 (predicate, consequent, alternative);
 }
Exemple #16
0
 PCond2LLSA1(PrimitiveCombination2LL predicate, SCode consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #17
0
 // (l l l a1)
 PCond2LLLA1(PrimitiveCombination2LL predicate, LexicalVariable consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Exemple #18
0
 public static SCode Make(PrimitiveCombination2LL predicate, SCode consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCond2LLSA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? PCond2LLSL1.Make (predicate, consequent, (LexicalVariable1) alternative) :
         new PCond2LLSL (predicate, consequent, alternative);
 }
Exemple #19
0
 PCond2LLLQ(PrimitiveCombination2LL predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Exemple #20
0
 public static SCode Make(PrimitiveCombination2LL predicate, SCode consequent, LexicalVariable1 alternative)
 {
     return new PCond2LLSL1 (predicate, consequent, alternative);
 }
Exemple #21
0
 protected PCond2LLQ(PrimitiveCombination2LL predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Exemple #22
0
 public static SCode Make(PrimitiveCombination2LL predicate, SCode consequent, Quotation alternative)
 {
     return
         new PCond2LLSQ (predicate, consequent, alternative);
 }
Exemple #23
0
 public static SCode Make(PrimitiveCombination2LL predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCond2LLQL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2LLQQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2LLQ (predicate, consequent, alternative);
 }
Exemple #24
0
 public static SCode Make(PrimitiveCombination2LL predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveCombination2LA) ? PCond2LA.Make ((PrimitiveCombination2LA) predicate, consequent, alternative) :
         (predicate is PrimitiveCombination2LL1) ? PCond2LL1.Make ((PrimitiveCombination2LL1) predicate, consequent, alternative) :
         (consequent is LexicalVariable) ? PCond2LLL.Make (predicate, (LexicalVariable) consequent, alternative) :
         (consequent is Quotation) ? PCond2LLQ.Make (predicate, (Quotation) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2LLSL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2LLSQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2LL (predicate, consequent, alternative);
 }
Exemple #25
0
 public static SCode Make(PrimitiveCombination2LL predicate, Argument consequent, SCode alternative)
 {
     return
         (consequent is Argument0) ? PCond2LLA0.Make (predicate, (Argument0) consequent, alternative) :
         (consequent is Argument1) ? PCond2LLA1.Make (predicate, (Argument1) consequent, alternative) :
         (alternative is LexicalVariable) ? PCond2LLAL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCond2LLAQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCond2LLA (predicate, consequent, alternative);
 }