private CodeContractStatement(ICSharpStatement statement, IInvocationExpression invocationExpression, CodeContractStatementType statementType) : base(statement) { Contract.Requires(invocationExpression != null); _invocationExpression = invocationExpression; _statementType = statementType; // Due to weird bug in CC compiler, I can't use the same variable in Contract.Requires // and in lambda expression. _codeContractExpression = JetBrains.Util.Lazy.Of( () => Assertions.ContractStatementFactory.TryCreateAssertion(_invocationExpression), true); }
private CodeContractStatement(ICSharpStatement statement, IInvocationExpression invocationExpression, CodeContractStatementType statementType) : base(statement) { Contract.Requires(invocationExpression != null); _invocationExpression = invocationExpression; _statementType = statementType; // Due to weird bug in CC compiler, I can't use the same variable in Contract.Requires // and in lambda expression. _codeContractExpression = JetBrains.Util.Lazy.Lazy.Of( () => Assertions.ContractStatementFactory.TryCreateAssertion(_invocationExpression)); }