问题标签 [requires]

在我的类 Test 中，我有一个名为 a 的五个 int 数组，以及将一个添加到所选单元格的方法 addOne(int index)。我在 JML 中编写了一个简单的前提条件来控制传递给方法的索引。然后我尝试违反此先决条件，使用负索引调用该方法，而 JML 无法捕获此错误。怎么了？

这是测试类：

这是主要的：

抛出异常：java.lang.ArrayIndexOutOfBoundsException：-2。

使用任何 JML 消息。

我有一个项目，其中包含许多设计时包（用于将组件安装到 IDE 中）。其中一些包有很长的requires子句，我想知道是否有办法删除那里列出的任何不是构建包的严格要求的包。

为了清楚起见，我关心的是requires子句，而不是containsor (non-existent)uses子句。尽管这些是相关的，如果contains子句中的一个单元（或隐式导入）在另一个包中，则该包（或另一个需要它的包）需要在requires子句中。

我有一个当前需要 mysql 包的规范文件。我现在需要 mysql 或 MariaDB。但是，我不确定如何在我的 .spec 文件中设置这样的 OR 关系。我对虚拟“提供”部分有点熟悉，但我不确定这些 mysql 和等效的 mariadb 包是否提供相同的东西。

我正在使用 CMD 和 extjs。在我的 Main.js 我有类似的东西

如果您看到需要，我需要一些课程。如果我删除 requires 中的所有类并保留它

所有页面仅正确加载。那么通过在需要中添加文件我得到了什么好处。

我正在 AWS 服务器上安装 MySQL 5.7。它给出了这个错误：

错误：包：mysql-community-server-5.7.15-1.el7.x86_64（mysql57-community）

要求：系统

到目前为止，我通过在清单文件中添加类似内容来限制我的应用程序只能在平板电脑上运行：

我准备首次在 Amazon Fire 上启动，由于以下限制：“requiresSmallestWidthDp="600”，许多用户将受到影响，因为该应用程序无法安装在此设备上。我收到以下错误消息："机器人：需要SmallestWidthDp = '600'；设备需要“527””。

由于 Fire 2015 是最受欢迎的平板电脑，我真的很想允许在上面安装应用程序，但同时我不希望我的应用程序安装在手机上。关于如何实现这一目标的任何建议？

我正在尝试使用 Electron 应用程序，并且在尝试从 Chromium 浏览器窗口中运行的另一个脚本中要求模块时遇到问题。无论我做什么来指定相对路径，我总是遇到关于无法找到模块的相同错误。

我的项目是这样设置的：

我的 index.html 是 electron 启动时默认打开的页面，它将 controller.js 作为普通脚本加载到 body 标记的末尾。

controller.js 在顶部有以下代码：

启动电子铬窗口后，我立即遇到了这个问题：

我的假设是我需要一个从 controller.js 文件到它正在导入的 game.js 文件的相对路径，但无论我做什么样的调整，我总是会遇到这个错误。我认为这不仅仅是语法错误，因为我在测试文件夹下的规范都在运行并通过，它成功地使用了这样的要求：

我是否对从 Chromium 浏览器执行时需要相对路径的方式做出了错误的假设？任何帮助表示赞赏！

在我当前的设置中（使用 cmake 构建的 Mageia 5 下的 C++ 项目），下面的 cpack 命令会导致构建具有依赖关系的 RPM 包来开发包，这是不必要的。

该_CPack_Packages/Linux/RPM/rpmbuild.out文件包含以下Requires部分：

如果找不到此列表是如何生成的。如果我从 RPM 和其他工具手动运行 find-requires 脚本，我不会得到开发包。

CPack 命令是：

代码可 在此处获得。

如何避免产生这些虚假的依赖？

请注意，此问题与“如何使 cpack 不向 RPM 添加所需的库？ ”不是重复的，因为这个问题是关于自愿禁用自动依赖跟踪，而我的问题是关于纠正错误行为，同时保持自动依赖跟踪。顺便说一句，我已经找到了这个问题并浏览了它包含的链接。

我正在创建要在 PHP7 之后手动安装的各种 PHP 扩展的 rpm，我已经为其构建了一个 rpm（在这种情况下，版本是 7.1.4）。

在我的特定扩展（在本例中为 gd）的规范文件中，我指定 PHP 是必需的包。但是，当调用 rpmbuild 时，它不会在其输出中显示此要求，此外，可以在没有安装 PHP7 的情况下安装 rpm gd。此外，当我这样做时，尽管 gd 被告知写入不存在的 php.ini 文件，但我没有抛出任何错误。

这是我的 gd.spec 文件：

我尝试了 'Requires' 指令的变体，比如指定某些版本，甚至完全尝试了一个不同的包 nano，只是为了看看它是否有效，但 rpmbuild 从来没有选择它。

这是 rpmbuild 输出的结尾：

这表明 rpmbuild 显然正在使用“Requires”做一些事情。我还安装了一个 Apache 的 rpm，它是用一个规范文件构建的，在这种情况下，'Requires' 指令被注意到了。

如果您愿意，可以跟随这个 jsfiddle 。我有一个 100% 宽度和高度的画布和一个将大小设置为 1 的范围滑块。所以我正在使用 fillRect(touch.pageX, touch.pageY, 1, 1); 但是当我用手指在画布上绘图时，输出相对于输入会按比例缩小。我必须做什么才能获得页面上元素的位置

我只是将 pageX 和 pageY 坐标传递给 fillRect 函数，但不知何故，上下文网格看起来比触摸坐标空间大。