Ejemplo n.º 1
0
 public static SCode Make(Primitive2 rator, Quotation rand0, Argument rand1)
 {
     return
         ((rand1 is Argument0) ? PrimitiveIsObjectEqQA0.Make(rator, rand0, (Argument0)rand1)
         : (rand1 is Argument1) ? PrimitiveIsObjectEqQA1.Make(rator, rand0, (Argument1)rand1)
         : new PrimitiveIsObjectEqQA(rator, rand0, rand1));
 }
Ejemplo n.º 2
0
 public static SCode Make(PrimitiveIsObjectEqQA1 predicate, SCode consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCondIsObjectEqQA1SA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? Unimplemented () :
         new PCondIsObjectEqQA1SL (predicate, consequent, alternative);
 }
Ejemplo n.º 3
0
 protected PCondIsObjectEqQA1SL(PrimitiveIsObjectEqQA1 predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 4
0
 public static SCode Make(PrimitiveIsObjectEqQA1 predicate, SCode consequent, Argument1 alternative)
 {
     return
         new PCondIsObjectEqQA1SA1 (predicate, consequent, alternative);
 }
Ejemplo n.º 5
0
 PCondIsObjectEqQA1SA1(PrimitiveIsObjectEqQA1 predicate, SCode consequent, Argument1 alternative)
     : base(predicate, consequent, alternative)
 {
 }
Ejemplo n.º 6
0
 public static SCode Make(PrimitiveIsObjectEqQA1 predicate, SCode consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? Unimplemented() :
         (alternative is Argument1) ? PCondIsObjectEqQA1SA1.Make (predicate, consequent, (Argument1) alternative) :
         new PCondIsObjectEqQA1SA (predicate, consequent, alternative);
 }
Ejemplo n.º 7
0
 public static SCode Make(PrimitiveIsObjectEqQA1 predicate, Quotation consequent, Quotation alternative)
 {
     return
         new PCondIsObjectEqQA1QQ (predicate, consequent, alternative);
 }
Ejemplo n.º 8
0
 PCondIsObjectEqQA1QQ(PrimitiveIsObjectEqQA1 predicate, Quotation consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Ejemplo n.º 9
0
 public static SCode Make(PrimitiveIsObjectEqQA1 predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? Unimplemented () :
         (alternative is Quotation) ? PCondIsObjectEqQA1QQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCondIsObjectEqQA1Q (predicate, consequent, alternative);
 }
Ejemplo n.º 10
0
 protected PCondIsObjectEqQA1Q(PrimitiveIsObjectEqQA1 predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Ejemplo n.º 11
0
 protected PCondIsObjectEqQA1(PrimitiveIsObjectEqQA1 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }