Ejemplo n.º 1
0
 public static SCode Make(Primitive2 rator, PrimitiveCarS rand0, StaticVariable rand1)
 {
     return
         new PrimitiveIsEqCarSS (rator, rand0, rand1);
 }
Ejemplo n.º 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);
 }
Ejemplo n.º 3
0
 protected PrimitiveIsEqCarSS(Primitive2 rator, PrimitiveCarS rand0, StaticVariable rand1)
     : base(rator, rand0, rand1)
 {
     this.rand1Name = rand1.Name;
     this.rand1Offset = rand1.Offset;
 }
Ejemplo n.º 4
0
 protected PrimitiveIsEqCarSQ(Primitive2 rator, PrimitiveCarS rand0, Quotation rand1)
     : base(rator, rand0, rand1)
 {
     this.rand1Value = rand1.Quoted;
 }
Ejemplo n.º 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);
 }
Ejemplo n.º 6
0
 protected PrimitiveIsEqCarS(Primitive2 rator, PrimitiveCarS rand0, SCode rand1)
     : base(rator, rand0, rand1)
 {
     this.rand0ArgOffset = rand0.offset;
     this.rand0ArgName = rand0.name;
 }
Ejemplo n.º 7
0
 public static SCode Make(Primitive2 rator, PrimitiveCarA0 rand0, PrimitiveCarS rand1)
 {
     return
         new PrimitiveIsEqCarA0CarS (rator, rand0, rand1);
 }
Ejemplo n.º 8
0
 protected PrimitiveIsEqCarA0CarS(Primitive2 rator, PrimitiveCarA0 rand0, PrimitiveCarS rand1)
     : base(rator, rand0, rand1)
 {
     this.rand1Name = rand1.name;
     this.rand1Offset = rand1.offset;
 }