invariants

    1热度

    4回答

    对于一个赋值,我必须创建一个方法,使用二分查找找到一个整数的平方根,如果它不是一个平方数,它应该返回一个整数s,使得s * s < =数字(对于15,它会返回3)。我到目前为止的代码是 public class BinarySearch { /** * Integer square root Calculates the integer part of the square

    0热度

    1回答

    我正在准备一个编译器检查,我发现在过去的论文以下两个问题,我不知道该怎么回答: 1. Array bounds checking requires code to check each array subscript to ensure it falls within the array's declared range. How could induction variable analysi

    -3热度

    1回答

    我今天的协方差和逆变阅读起来,我碰到一个职位后来在哪里乔恩斯基特在类级别解释不变性堆栈交换。他用水果的例子,为什么允许协方差在这一水平将是一件坏事: //Bad List<Banana> bunchOfBananas = new List<Banana>(); // This would be valid if List<T> were covariant in T List<Fruit>

    5热度

    1回答

    我想在埃菲尔做一个不可变的POINT类。下面的代码是否定义了一个? x和y字段的{NONE}可访问性足够吗?我可以写一些类似于x = x'的类,或者我还能如何实现不变性? class POINT create make feature {NONE} x: DOUBLE y: DOUBLE feature make (x_

    1热度

    2回答

    以下代码不起作用。 def isPal(s): def checkPal(s, acc): if len(s) <= 1: return acc else: return checkPal(s[1:-1] (acc and (s[0] == s[-1]))) return checkPal(s, True) TypeErr

    1热度

    1回答

    我将如何获得一个循环不变量并为以下算法证明它。 power(x,y): z = 1 m = 0 while m < y: z = z*x m = m+1 return z

    2热度

    2回答

    我有一个项目,其中某些数据具有不可执行的使用语言结构的不变量,但我打算编写我的代码以便维护它们。如果他们出于某种原因被破坏,这意味着我的代码是越野车。我有一些健康检查代码,可以发现这些不变量是否已经被破坏,但我不确定什么是规范的Java方法来回应这种情况 - 是否存在一些我应该抛出的标准异常?使用断言? 请注意,这是某个值在某个点被错误设置的问题。错误本身不是在进行完整性检查时发生的,而是在过去发

    0热度

    1回答

    所以我有以下对象结构: Class Node RSSI: int 我需要写一个OCL不变的所有节点对象的RSSI值没有什么不同的要求我试着用迭代表达式来解决它,但由于你不能真正使用变量IN OCL来存储当前的最大值和最小值(或者至少我不知道如何去做)我不知道怎么做。任何人都可以帮助我吗?

    9热度

    2回答

    在DDD中,聚合不变量是否包含基于另一聚合中信息的规则?现在我不这么认为,但是这会引起我一个问题,我不知道如何解决它。 我有一个名为资产(设备)的实体,我将其建模为聚合的根。它具有描述像制造商,模型等东西的标签(属性)列表。它存储名为AssetType的第二个集合的标识,它具有标签类型列表,其中一些可以标记为强制标记。 现在看来,Asset的一个不变条件应该引用相关的AssetType,以在强制标

    0热度

    1回答

    我想知道是否存在一个确定特定类的不变量的确定过程,还是根据具体情况更改? 显然,这取决于某些变量,需要声明,但我的问题是, 是否有某种指导我可以按照确定一个特定的类最好不变? 感谢时,他们适应