public static SCode Make(Primitive2 rator, Quotation rand0, SCode rand1)
 {
     return
         ((rand1 is LexicalVariable) ? PrimitiveIsObjectEqQL.Make(rator, rand0, (LexicalVariable)rand1) :
          (rand1 is Quotation) ? Unimplemented() :
          new PrimitiveIsObjectEqQ(rator, rand0, rand1));
 }
Esempio n. 2
0
 public static SCode Make(PrimitiveIsObjectEqQL predicate, Quotation consequent, Quotation alternative)
 {
     return
         new PCondIsObjectEqQLQQ (predicate, consequent, alternative);
 }
Esempio n. 3
0
 PCondIsObjectEqQLQQ(PrimitiveIsObjectEqQL predicate, Quotation consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
Esempio n. 4
0
 public static SCode Make(PrimitiveIsObjectEqQL predicate, Quotation consequent, SCode alternative)
 {
     return
         (alternative is LexicalVariable) ? Unimplemented () :
         (alternative is Quotation) ? PCondIsObjectEqQLQQ.Make (predicate, consequent, (Quotation) alternative) :
         new PCondIsObjectEqQLQ (predicate, consequent, alternative);
 }
Esempio n. 5
0
 protected PCondIsObjectEqQLQ(PrimitiveIsObjectEqQL predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
Esempio n. 6
0
 public static SCode Make(PrimitiveIsObjectEqQL predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveIsObjectEqQA) ? PCondIsObjectEqQA.Make ((PrimitiveIsObjectEqQA) predicate, consequent, alternative) :
         (predicate is PrimitiveIsObjectEqQL1) ? PCondIsObjectEqQL1.Make ((PrimitiveIsObjectEqQL1) predicate, consequent, alternative) :
         (consequent is LexicalVariable) ? Unimplemented () :
         (consequent is Quotation) ? PCondIsObjectEqQLQ.Make (predicate, (Quotation) consequent, alternative) :
         (alternative is LexicalVariable) ? Unimplemented () :
         (alternative is Quotation) ? Unimplemented () :
         new PCondIsObjectEqQL (predicate, consequent, alternative);
 }
Esempio n. 7
0
 protected PCondIsObjectEqQL(PrimitiveIsObjectEqQL predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.rand1Name = predicate.rand1Name;
     this.rand1Depth = predicate.rand1Depth;
     this.rand1Offset = predicate.rand1Offset;
 }