2回答
我最近对.net 4.0 / Visual Studio2010中的按合同静态检查设计的想法感到兴奋。mono项目会将这种功能添加到编译器中吗？
浏览 0提问于2009-07-23得票数 6
回答已采纳
3回答
当我用" in“合同覆盖D中的函数时，就会检查继承的"in”合同。如果它们失败，则将检查重写的"in“合约。如果我没有在合同中指定任何内容，那么它将被解释为合同中有一个空的" in“。因此，下面的代码编译并成功运行。I.write()时检查i.write()的前提条件，因为静态地知道这足以使编译器正确运行I.write()。从OO的角度来看，在</em
浏览 3提问于2012-07-27得票数 5
回答已采纳
1回答
Maven构建中的合同检查
、、、、
到目前为止，我在寻找这样一种现成的能力方面一直没有成功：
注意：我只关心编译时检查合同。我有JUnit要抛到运行时方面的事情。当我在这里说“完成”时，我指的是一种契约语言&一种合同检查器，使得语言中的每一条语句都可以在编译时被检查器检查<
浏览 1提问于2018-05-29得票数 4
2回答
我在探索一个有时间限制的智能合同的自毁设计模式。因此，我的合同不应接受任何进一步的状态变化后，一定的时间。在这方面的工作中，我遇到了自毁设计模式，这是相当好的需要，但导致资金损失，如果有人试图发送资金给一个被摧毁的合同。谢谢
浏览 0提问于2019-03-06得票数 0
3回答
friend bool operator>=(const T& lhs, const T& rhs) { }因此，编译器可以明确地检查但是，编译器能检查“公共公理的排序”是否成立吗？(就像在所有场景中一样，可以检查这一点吗？)不管这是否符合标准。)可以这样说：
如果我们用另一个来定义一个，这在这个特定的场景中是绝对有可能的，但是这
浏览 0提问于2013-09-27得票数 3
3回答
我最近开始阅读合同设计方法，但我不明白其中的一些方面。当在javadoc样式的注释中使用@pre等时，除了作为文档之外，这些标记还有什么用途？编译器是将这些用于在执行前对参数进行检查，还是仅用于指示应该在方法中进行何种类型的检查？CustomAgeExceptionpublic int getAge() throws CustomAgeException{}
这会导致在运行时运行该方法之前进行一次检查吗编译</
浏览 1提问于2015-02-16得票数 2
回答已采纳
1回答
我正忙着设计一个使用智能合同的系统。本质上，用户从网站中选择一个数字项目，将它们添加到一个篮子中，输入他们的钱包地址，然后点击“付费”。在接受合同之前，需要执行一些检查：确保数字项目仍然可用(它们在区块链中管理)我的问题很简单，如果合同失败，费用是多少？
浏览 0提问于2017-05-29得票数 2
1回答
实体契约回调
、、
我有两个合同，一个主动合同A与外部世界相互作用，许多被动合同P(动态添加)被设计成在合同A满足一定条件时触发某些功能。因此，合同A应该调用每个P合同的回调函数；我想知道，将新添加的P的回调函数register到已经部署的合同A的最佳方法是什么？免责声明:代码没有测试/编译/检查语法，只是为了演示目的。
浏览 0提问于2018-08-01得票数 4
回答已采纳
4回答
在RINKEBY以太扫描站点上验证时，我得到了以下错误：编辑:我已经尝试了新的etherscbeta2.0编译器，而且它也有同样的问题。
浏览 0提问于2018-01-30得票数 5
回答已采纳
2回答
我正在设计一个聪明的合同挑战/谜团，我期望参与者运行合同的特定功能，以找到“秘密宝藏”。我使用松露编译合同，然后是truffle migrate，然后运行松露控制台，参与者在该控制台中得到一个提示。问题是，目前，他们可以直接查看我做mycontract.source的合同的源代码，因此他们阅读源代码，并立即找到宝藏。
我想删除源代码。(如果他们看到其他信息也没关系，但源代码确实破坏了太多)。尝试#1.当我编译源代码时，编译的
浏览 0提问于2018-06-11得票数 0
2回答
最让我担心的是，在C++中，我可以编写一个类头，并将它发送给我的伙伴来编译其他代码，而我很乐意按照自己的进度编写类的实际实现。
如何在没有标头的语言中实现这一点？或者，也许，我的理解中缺少了什么？
浏览 7提问于2014-04-14得票数 2
回答已采纳
我目前正在设计一份聪明的合同，基本上我想把两种不同硬币之间的“优惠券”结合起来。Bob可以发送智能合同CoinA，并因此接收CoinB，但前提是他在相同的钱包中也有一定数量的CoinC。在psuedo代码中，我想象的逻辑是这样的，我只是想知道是否可以在发送钱包中检查CoinC的值： ret
浏览 0提问于2017-08-26得票数 2
1回答
是否有一种方法可以提供多个文件夹用于在“硬帽子配置”中进行编译？我与铸造厂测试我的合同，所有的测试合同都在测试/铸造文件夹中，所以这个文件夹中的书面代码不会被验证，因为它们不是“硬帽子”项目的一部分。因此，要检查合同中是否有任何错误，我必须手动编译。📷
浏览 0提问于2022-11-16得票数 1
请原谅设计糟糕的伪代码，但我希望它能让人明白这一点： // fancy algorithm z = (y + 1) * (y + 1) // Compilation error (this would result in overflow)sqrt : [0,fl
浏览 0提问于2013-11-05得票数 1
3回答
在数据库中，我存储了合同。该合同具有字段access_date。我希望每天检查此字段一次，如果有一天access_date将等于当前日期，则将合同标记为无效。我如何实现这一点？据我所知，在PHP中有一些cron作业来完成这类任务，但是java或java ee呢？我该怎么做呢?提前谢谢！
浏览 0提问于2013-05-14得票数 1
回答已采纳
1回答
我有一个合同A呼叫另一个合同Bcontract A {
_externalContract.acceptValue(_value);}
function acceptValue(unit value);合同B(合同A期望合同B acceptValue安全)
contractfunction acc
浏览 0提问于2019-04-13得票数 1
回答已采纳
然后，我不得不格式化PC并安装新操作系统(Ubuntu18.04LTS)，由于兼容性和performance.After方面的一些问题，我从git中克隆了该项目，并使用纱线安装了所有依赖项，并试图编译合同在以前的操作系统中，我已经做过几次了，它工作得很好。但是，这一次，当我试图使用“松露编译”命令编译合同时，它仍然坚持“编译您的合同.”只是在一段时间后没有出现错误就退出。松露根本不
浏览 0提问于2019-03-08得票数 1
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
