C# (CSharp) CliKit.IO MethodBodyVerifier Examples

Example #1

File: MethodBodyVerifier.Visitor.cs Project: Sable/McCli

            public VisitorParam(MethodBodyVerifier @this, NumericalOperand operand)
            {
                Contract.Requires(@this != null);

                this.This             = @this;
                this.NumericalOperand = operand;
                this.SymbolicOperand  = null;
            }

Example #2

File: MethodBodyVerifier.Visitor.cs Project: Sable/McCli

            public VisitorParam(MethodBodyVerifier @this, object symbolicOperand)
            {
                Contract.Requires(@this != null);
                Contract.Requires(symbolicOperand != null);

                this.This             = @this;
                this.NumericalOperand = default(NumericalOperand);
                this.SymbolicOperand  = symbolicOperand;
            }