Пример #1
0
 public static SCode Make(Primitive2 rator, Quotation rand0, LexicalVariable rand1)
 {
     return
         ((rand1 is Argument) ? PrimitiveIsObjectEqQA.Make(rator, rand0, (Argument)rand1) :
          (rand1 is LexicalVariable1) ? PrimitiveIsObjectEqQL1.Make(rator, rand0, (LexicalVariable1)rand1) :
          new PrimitiveIsObjectEqQL(rator, rand0, rand1));
 }
Пример #2
0
 public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, Quotation alternative)
 {
     if (predicate.rand1Offset < 2) Debugger.Break ();
     return
         new PCondIsObjectEqQAQQ (predicate, consequent, alternative);
 }
Пример #3
0
 PCondIsObjectEqQAQQ(PrimitiveIsObjectEqQA predicate, Quotation consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Пример #4
0
 public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, LexicalVariable alternative)
 {
     return
         (alternative is Argument) ? PCondIsObjectEqQAQA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is LexicalVariable1) ? Unimplemented():
         new PCondIsObjectEqQAQL (predicate, consequent, alternative);
 }
Пример #5
0
 protected PCondIsObjectEqQAQL(PrimitiveIsObjectEqQA predicate, Quotation consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
Пример #6
0
 public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, Argument alternative)
 {
     return
         (alternative is Argument0) ? Unimplemented () :
         (alternative is Argument1) ? Unimplemented () :
         new PCondIsObjectEqQAQA (predicate, consequent, alternative);
 }
Пример #7
0
 protected PCondIsObjectEqQAQA(PrimitiveIsObjectEqQA predicate, Quotation consequent, Argument alternative)
     : base(predicate, consequent, alternative)
 {
 }
Пример #8
0
 public static SCode Make(PrimitiveIsObjectEqQA predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? PCondIsObjectEqQAQL.Make (predicate, consequent, (LexicalVariable) alternative) :
         (alternative is Quotation) ? PCondIsObjectEqQAQQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCondIsObjectEqQAQ (predicate, consequent, alternative);
 }
Пример #9
0
 protected PCondIsObjectEqQAQ(PrimitiveIsObjectEqQA predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Пример #10
0
 public static SCode Make(PrimitiveIsObjectEqQA predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveIsObjectEqQA0) ? PCondIsObjectEqQA0.Make ((PrimitiveIsObjectEqQA0) predicate, consequent, alternative) :
         (predicate is PrimitiveIsObjectEqQA1) ? PCondIsObjectEqQA1.Make ((PrimitiveIsObjectEqQA1) predicate, consequent, alternative) :
         (consequent is LexicalVariable) ? Unimplemented () :
         (consequent is Quotation) ? PCondIsObjectEqQAQ.Make (predicate, (Quotation) consequent, alternative) :
         (alternative is LexicalVariable) ? Unimplemented () :
         (alternative is Quotation) ? Unimplemented () :
         new PCondIsObjectEqQA (predicate, consequent, alternative);
 }
Пример #11
0
 protected PCondIsObjectEqQA(PrimitiveIsObjectEqQA predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }