jjzjj

Contract

全部标签

c# - 测试先决条件的不同方法的优缺点?

在我的脑海中,我可以想到4种检查空参数的方法:Debug.Assert(context!=null);Contract.Assert(context!=null);Contract.Requires(context!=null);if(context==null)thrownewArgumentNullException("context");我一直使用最后一种方法,但我只是看到一段使用Contract.Requires的代码片段,我对此并不熟悉。每种方法的优点/缺点是什么?还有其他方法吗?在带有Resharper的VS2010中,Contract.Assert警告我表达式始终为真(它

c# - 我是否错误地实现了这个简单的契约(Contract)?

这是我的代码:publicclassRegularPolygon{publicintVertexCount;publicdoubleSideLength;publicRegularPolygon(intvertexCount,doublesideLength){Contract.Requires(vertexCount>=3);VertexCount=vertexCount;SideLength=sideLength;}[ContractInvariantMethod]privatevoidRegularPolygonInvariants(){Contract.Invariant(Ve

c# - 如何安全地混契约(Contract)步和异步代码?

这个问题在这里已经有了答案:Writeawelldesignedasync/non-asyncAPI(3个答案)关闭2年前。我有这个完全同步的库。它公开了同步方法,我有客户在使用它。我将底层实现更改为异步,并为任何想要使用它的人公开了异步方法。但是现在我有很多重复的代码。异步代码似乎表现更好。我希望现有客户能够利用它,并且我希望消除代码重复。是否有任何安全的方法来保持同步签名并调用异步实现?我特别害怕在调用.Result和.Wait时出现死锁。

c# - 在一个 WCF 服务中托管多个契约(Contract)

这个问题在这里已经有了答案:RunWCFServiceHostwithmultiplecontracts(8个答案)关闭9年前。是否可以在一个WCF服务中托管多个服务契约(Contract)?如果是这样,如何?我一直在谷歌上搜索,有些帖子说你可以做到(但不是怎么做),而其他人则说这是不可能的。当我运行服务器时,出现以下错误:Thecontractname'ConsoleAppWcfCommon.IBarService'couldnotbefoundinthelistofcontractsimplementedbytheservice'ConsoleAppWcfServer.FooSer

c# - 不能在同一个契约(Contract)中有两个同名的操作(异步和非)

当以下服务被激活时,我得到以下异常(不能在同一个契约(Contract)中有两个具有相同名称的操作,方法ExecuteAsync和Execute)。[ServiceContract]publicinterfaceIMyService{[OperationContract]byte[]Execute(MyRequestrequest);[OperationContract]TaskExecuteAsync(MyRequestrequest);}如果您使用svcutil.exe创建服务引用,我想这很有意义,因为基于任务的操作是自动为您创建的。但是,我不想添加服务引用,而只是使用标准的Cha

php - 如何在满足条件时从数组中删除元素

这个问题不太可能帮助任何future的访问者;它只与一个小的地理区域、一个特定的时间点或一个非常狭窄的情况有关,这些情况并不普遍适用于互联网的全局受众。为了帮助使这个问题更广泛地适用,visitthehelpcenter.关闭9年前。给定以下数组:Array([0]=>Array([id_contract]=>1[contract_months]=>5[months_with_expenses]=>1)[1]=>Array([id_contract]=>2[contract_months]=>12[months_with_expenses]=>0)[2]=>Array([id_cont

php - 这是在 PHP 中实现 "Design by contract"模式的正确方法吗?

我发现了“按契约(Contract)设计”模式以及如何在PHP中实现。我找不到如何在PHP中执行此操作的真实示例。第一个问题是我的做法是否正确?第二个是为什么不接受断言回调?用于可重用断言的静态类Asserts:classAsserts{publicstaticfunctionabsentOrNotNumeric($value){return!isset($value)?true:is_numeric($value);}}用法:assert_options(ASSERT_ACTIVE,true);assert_options(ASSERT_BAIL,true);assert_optio

php - 是否有 php 的契约设计框架?

是否有php框架或库可以帮助我在我的应用程序中实现契约设计?在最好的情况下,它会在注释中使用javadoc之类的注释。 最佳答案 我已经开始从事契约(Contract)设计项目PHP-Contracts还有一些关于该主题的博客文章:TowardsastyleofcontractprogrammingDesignbycontractinPHPwithassertions 关于php-是否有php的契约设计框架?,我们在StackOverflow上找到一个类似的问题:

java - 性能 OpenJPA 查询(3000 多条记录)很慢

我正在使用带有内置OpenJPA1.2.3和Oracle数据库的WebsphereApplicationServer7。我有以下实体:@NamedNativeQuery(name=Contract.GIVE_ALL_CONTRACTS,query="SELECTnumber,name\n"+"FROMcontracts\n"+"WHEREstartdate?1",resultSetMapping=Contract.GIVE_ALL_CONTRACTS_MAPPING)@SqlResultSetMapping(name=Contract.GIVE_ALL_CONTRACTS_MAPPIN

Java - 网络 - 最佳实践 - 混契约(Contract)步/异步命令

我正在用Java开发一个小型客户端-服务器程序。客户端和服务器通过一个tcp连接连接。通信的大部分部分是异步的(随时可能发生),但我希望某些部分是同步的(例如发送命令的ACK)。我使用一个从套接字的InputStream读取命令并引发onCommand()事件的线程。命令本身由命令设计模式推进。什么是最佳实践方法(Java),以便在不丢失可能同时出现的其他命令的情况下等待ACK?con.sendPacket(newPacket("ABC"));//waitforABC_ACKedit1把它想象成一个FTP连接,但数据和控制命令都在同一个连接上。我想在后台数据流运行时捕获对控制命令的响应