Exemplos de CliKit.IO MethodBodyVerifier em C# (CSharp)

Exemplo n.º 1

Arquivo: MethodBodyVerifier.Visitor.cs Projeto: Sable/McCli

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

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

Exemplo n.º 2

Arquivo: MethodBodyVerifier.Visitor.cs Projeto: 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;
            }