C# (CSharp) ITypeCheckExpr Examples

Example #1

        public void DetectsIncompatibleOperandsInOperation()
        {
            ITypeCheckExpr expr = tcFactory.Add(tcFactory.Bool(true), tcFactory.Int(100));

            ErrorManager errMngr = new ErrorManager();

            expr.TypeCheck(new TypeEnvironment(errMngr));

            Assert.True(errMngr.HasErrors);
        }

Example #2

        public void DetectsNonBoolConditions()
        {
            ITypeCheckExpr expr = tcFactory.IfElse(tcFactory.Int(5), tcFactory.String("True"), tcFactory.String("False"));

            ErrorManager errMngr = new ErrorManager();

            expr.TypeCheck(new TypeEnvironment(errMngr));

            Assert.True(errMngr.HasErrors);
        }

Example #3

 public LessThenExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #4

File: NotEqualExpr.cs Project: software-engineering-amsterdam/poly-ql

 public NotEqualExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #5

 public SubtractExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #6

File: OrExpr.cs Project: software-engineering-amsterdam/poly-ql

 public OrExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #7

File: EqualsExpr.cs Project: software-engineering-amsterdam/poly-ql

 public EqualsExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #8

 public PowerExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #9

 public AddExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #10

 public MultiplyExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #11

File: SubtractExpr.cs Project: software-engineering-amsterdam/poly-ql

 public SubtractExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #12

 public DivideExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
     
 }

Example #13

File: LessThenExpr.cs Project: software-engineering-amsterdam/poly-ql

 public LessThenExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #14

File: ModuloExpr.cs Project: software-engineering-amsterdam/poly-ql

 public ModuloExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #15

File: DivideExpr.cs Project: software-engineering-amsterdam/poly-ql

 public DivideExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #16

 public GreaterOrEqualToExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #17

File: GreaterThenExpr.cs Project: software-engineering-amsterdam/poly-ql

 public GreaterThenExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #18

File: LessOrEqualToExpr.cs Project: software-engineering-amsterdam/poly-ql

 public LessOrEqualToExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #19

File: MultiplyExpr.cs Project: software-engineering-amsterdam/poly-ql

 public MultiplyExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #20

File: GreaterOrEqualToExpr.cs Project: software-engineering-amsterdam/poly-ql

 public GreaterOrEqualToExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #21

 public EqualsExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #22

 public NotEqualExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #23

 public ModuloExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #24

 public LessOrEqualToExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }

Example #25

 public GreaterThenExpr(ITypeCheckExpr l, ITypeCheckExpr r)
     : base(l, r)
 {
 }