Пример #1
0
 public static SCode Make(Primitive2 rator, PrimitiveCarS rand0, StaticVariable rand1)
 {
     return
         new PrimitiveIsEqCarSS (rator, rand0, rand1);
 }
Пример #2
0
 public static SCode Make(Primitive2 rator, PrimitiveCarS rand0, Quotation rand1)
 {
     return
                        (rand1.Quoted == null &&
         Configuration.EnableCodeRewriting &&
         Configuration.EnableEqNullRewrite) ? RewriteEqNull (rator, rand0, rand1) :
         (rand1.Quoted is bool &&
         ((bool) rand1.Quoted) == false &&
         Configuration.EnableCodeRewriting &&
         Configuration.EnableEqFalseRewrite) ? RewriteEqFalse (rator, rand0, rand1) :
         new PrimitiveIsEqCarSQ (rator, rand0, rand1);
 }
Пример #3
0
 protected PrimitiveIsEqCarSS(Primitive2 rator, PrimitiveCarS rand0, StaticVariable rand1)
     : base(rator, rand0, rand1)
 {
     this.rand1Name = rand1.Name;
     this.rand1Offset = rand1.Offset;
 }
Пример #4
0
 protected PrimitiveIsEqCarSQ(Primitive2 rator, PrimitiveCarS rand0, Quotation rand1)
     : base(rator, rand0, rand1)
 {
     this.rand1Value = rand1.Quoted;
 }
Пример #5
0
 public static SCode Make(Primitive2 rator, PrimitiveCarS rand0, SCode rand1)
 {
     return
         (rand1 is Quotation) ? PrimitiveIsEqCarSQ.Make (rator, rand0, (Quotation) rand1) :
         (rand1 is StaticVariable) ? PrimitiveIsEqCarSS.Make (rator, rand0, (StaticVariable) rand1) :
         new PrimitiveIsEqCarS (rator, rand0, rand1);
 }
Пример #6
0
 protected PrimitiveIsEqCarS(Primitive2 rator, PrimitiveCarS rand0, SCode rand1)
     : base(rator, rand0, rand1)
 {
     this.rand0ArgOffset = rand0.offset;
     this.rand0ArgName = rand0.name;
 }
Пример #7
0
 public static SCode Make(Primitive2 rator, PrimitiveCarA0 rand0, PrimitiveCarS rand1)
 {
     return
         new PrimitiveIsEqCarA0CarS (rator, rand0, rand1);
 }
Пример #8
0
 protected PrimitiveIsEqCarA0CarS(Primitive2 rator, PrimitiveCarA0 rand0, PrimitiveCarS rand1)
     : base(rator, rand0, rand1)
 {
     this.rand1Name = rand1.name;
     this.rand1Offset = rand1.offset;
 }