合同可能有条件吗？ [英] possible to Contract.Requires conditionally?

问题描述

例如。我的对象可以包含一个null子obj。如果子obj不为null，我想对子obj成员进行Contract.Requires 我可以使用一个单独的函数对所有子子obj进行编码，例如：

eg. my object can contain a null child obj. I want to Contract.Requires on child obj member if the child obj is not null. Curently I use a separate function to code contract all sub child objs, such as:

if（parent.child！= null）

if (parent.child != null)

ContractValidateChild（ parent.child）&NBSP; < - 然后与孩子签订合同 那里

ContractValidateChild(parent.child)  <-- and then do contract on child there

只是想知道是否有直接的方法吗？

Just wonder if there is a direct way to do it?

推荐答案

我不确定我理解你的问题，但看起来好像你问的是
逻辑含义。

I'm not sure that I understand your question, but it seems like you're asking about logical implications.

Contract.Requires(parent.Child == null || IsValid(parent.Child));

这篇关于合同可能有条件吗？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！