1回答
为什么.NET的合同不抱怨这段代码？= null);}
GetUser可以返回null，但是契约从不要求我必须在将返回值传递给DisplayUser之前检查返回值AutoAnswer:代码契约配置中有警告级别。我应该把它从低到高。
浏览 2提问于2012-06-27得票数 3
2回答
我目前在一个ASP.NET MVC应用程序中使用，没有任何问题，但是我似乎无法在一个基本的ASP.NET网站上很好地运行它。我可以很好地编译合同，但代码会跳过它们，因为我假设它没有像在其他项目类型(即ASP.NET MVC)中那样通过属性页启用。我已经转到我的ASP.NET网站中项目的属性页(它显示一个对话框，而不是典型的属性页)，但它没有产生相同的菜单选项，因此也没有专门介绍代码合同的部分。此外，我在一个类库项目中
浏览 0提问于2009-07-07得票数 7
1回答
我有两个excel电子表格，希望编写一个使用vlookup的代码，match，如果这样，当运行时，它将检查每个“合同协议id”的交易价格和合同费率之间是否匹配，如果没有匹配，则将该行上的字体改为红色例如，事务页上的第3行和第9行将变成红色，因为价格/费率不匹配，或者该事务没有合同，但是契约页上的第9行可以，因为您可以拥有一个没有事务的<
浏览 12提问于2022-08-18得票数 -1
我刚接触过稳健性，我专注于学习如何编写安全的代码。是否有方法检查智能契约变量的类型？如果我有以下功能： tokenAddress = _newToken;是否有方法检查与作为参数传递的地址相关联的智能契约的类型此示例是否有效地用作检查？function setNewToken(TokenType _new
浏览 0提问于2022-01-01得票数 1
回答已采纳
这是我的问题。我是一个非常喜欢通过合同设计，我使用这个概念，特别是在开发库，可供其他开发人员使用。我刚刚发现了一种新的方法，那就是：Contract.Requires而不是Exception：所以，而不是拥有： if(name文档说：
但是，如果不满足条件，则不指定任何内容！我还注意到有 Contract.Requires重载抛出异常，显示消息.但是Contract
浏览 3提问于2011-11-28得票数 47
回答已采纳
我为一个客户做了一个项目，作为交易的一部分，因为他们负担不起太多，我们同意我拥有代码。然而，服务器在他们的名下，他们可以去窃取代码。我该如何避免这种情况呢？我希望只有阿帕奇和我能够读取这些文件！任何替代的解决方案都将不胜感激！
浏览 0提问于2010-07-13得票数 2
1回答
我正在使用Pact JS进行合同测试。我已经编写了提供者和消费者部分，并将它们上传到了pact broker。合同URL指向我的QA环境。我想创建一个松弛的网络钩子，将每天运行，并验证合同仍然通过。有没有办法在不上传新合同的情况下按需运行pact验证？如果我只是想检查是否没有更改，为什么我需要更改我的合同？这似乎是每个人都应该使用的</e
浏览 28提问于2021-04-25得票数 1
2回答
{ }}
描述:程序集(可能是"CodeContractsTest")必须使用代码契约二进制重写器(CCRewrite)重写，因为它正在调用Contract.Requir
浏览 2提问于2013-09-13得票数 20
回答已采纳
自毁(也称自杀)功能，阻止合同的运作，清理区块链上的数据。它们可用于升级合同。
使用合同注册中心自动销毁和升级合同允许合同帐户所有者执行可能任意的新代码。这正是这种不透明的集中式控制的设计目的。另一方面，也会出现一些聪明的合同错误，甚至Satoshi也犯了错误，比特币定期升级，人类的法律环境不断变化，坚实的语言
浏览 0提问于2016-05-11得票数 3
1回答
Maven构建中的合同检查
、、、、
我正在使用IJ编写Java代码库，目前正在使用Maven进行构建。我想用某种形式的契约来补充一些代码，这些契约将在Maven构建中获得。到目前为止，我在寻找这样一种现成的能力方面一直没有成功：
注意：我只关心编译时检查合同</e
浏览 1提问于2018-05-29得票数 4
3回答
你好，我有一个关于CodeContracts的小问题。因此，如果我理解代码的含义(是的，我刚刚安装了CodeContracts并使用:)，契约将在构建过程和运行时检查s1 != null表达式，并抛出ArgumentException>。那么，这是否意味着代码契约只在它们所在的项目中工作，而不是在外部工作呢？谢谢
我忘记提到我添加的先决条件在静态分析中不起作用。但是，它们确实在运行时抛出带有适当消息<e
浏览 0提问于2010-11-27得票数 4
回答已采纳
1回答
VS代码似乎不承认我在合同中的实用主义行，并不断抛出一个错误，建议我使用一个v 0.8.17，但这是写在我的合同中，按照图像？此外，我已经检查了块菌-config.js文件，并指定了与合同- 0.8.17相同的正确的务实版本。
📷
浏览 0提问于2022-10-16得票数 0
1回答
在部署我的合同之后，混合继续显示“创建待定合同"，不仅如此，我还得到了一个”未处理的运行时错误:调用还原异常“的代码。我想原因可能是合同还没有订立。但是，在检查元问题时，事务的状态显示为已确认。
浏览 0提问于2022-08-27得票数 0
我必须给出完整的命名空间和“监视”窗口中的类型，以修复此错误。如果我添加了像new Uri(Location)这样的手表，就会显示错误。在项目的“代码契约”设置中找到此将导致此问题。禁用对代码契约的运行时契约检查之后，Watch/Quick将按预期工作。项目属性->代码契约->禁用执行运行时合同检查
启用运行时
浏览 3提问于2013-11-14得票数 8
在Type不是选项的情况下，数据必须存在，所以如果缺少数据，我只需使用assert来澄清和抛出异常。有更好的方法吗？我认为在Java中，这是可以接受的，但我知道scala群体对语言的惯用性有不同的看法。
浏览 0提问于2013-06-20得票数 0
回答已采纳
注意:如果您发送值，则应支付被调用的函数，而您发送的值应小于当前余额。代码说明：
I使用sendEther()将一些醚添加到"sendEther“合同中。合同“”中定义的函数用于检查该合同是否收到了合同。pragma可靠性^0.8.15；合同sendEther {函数存款()外部应付款{}函数发送(地址应付_to)外部应付款{ _to.transfer(1)；}函数
浏览 2提问于2022-06-28得票数 0
1回答
根据Whitehat退出合同-更新和下一步和怀特哈特撤离合同-部署前的最后更新的说法，Goodie将部署退出合同whetcwithdraw.sol、已授权_addresses.sol和whauthorizeaddress.sol，以便于在硬叉子之前的1,919,999块中，基于您的DAO令牌DAO余额的经典醚(ETCs)的退出。如何使用这些合同从退出合同中撤回我的
浏览 0提问于2016-08-26得票数 16
回答已采纳
假设我有一个使用create2创建子合同的工厂合同，其中一个子合同可能从来不存在，或者可能已经存在，但通过例如自毁方式不再存在，我如何检查(在契约的createChild方法中)，与create2 addressx的合同目前是否存在，以便不试图重新实例化它，或者应该允许它尝试重新实例化，并让调用恢复，因为您不能实例化已经存在的合同。
浏览 0提问于2022-07-30得票数 1
回答已采纳
2回答
如果我有一个合同C，即合同B的所有者，合同B是合同A的所有者，C在合同中可以调用从合同A转移所有权吗？请帮帮忙
浏览 0提问于2021-09-05得票数 0
云服务器
ICP备案
云直播
腾讯会议
实时音视频
腾讯云开发者
