-
3 votesanswersviews
在Alloy中隐藏一个子类型的字段
假设我在合金4.2中有以下签名声明： sig Target {} abstract sig A { parent: lone A, r: some Target } sig B extends A {} sig C extends A {} 运行时，生成的实例将包含从每个 B 到某些 Target 的箭头，以及从 C 到某些 Target 的箭头 . 我怎么能只隐藏 B 中的... -
0 votesanswersviews
接口，继承和子类型
我有以下JAVA混乱，我不清楚： 具有两个泛型类型A和B的通用接口，例如 AIter<A,B> 另一个通用接口，带有一个额外的通用类型C，如下所示： BIter<A,B,C> extends AIter<A,B> 一个泛型类， ClassA<D> ，递归地将第一个接口AIter实现为内部类，如下所示： ThisIter implements AIte... -
2 votesanswersviews
在VHDL中定义一个类型以保存两个整数之和的正确方法
我正在尝试编写一个带有两个整数输入和一个选择输入的非常简单的模块 . 当select为0时，输出应为输入之和，当select为1时，输出应为它们的差值 . 我将使用GHDL通过简单的测试台验证模块 . 该模块不必是可合成的 . 我的第一次尝试如下 . entity alu is port ( a : in integer; -- first in... -
0 votesanswersviews
vhdl将子类型转换为活动hdl的类型
我有一个pakcgae，其中我声明了一堆子类型和类型 . 在Active HDL中，每当我尝试从子类型中创建一个端口时似乎存在问题，所以我想知道是否有办法将它们转换为类型 . 以下是我要转换的子类型： 子类型word_t是std_logic_vector（15 downto 0）; - 单词（定义） 这可能不仅仅创建一个记录类型或数组吗？谢谢 -
0 votesanswersviews
Ada中数组类型的等价性
在尝试将ADA绑定到第三方C / C库（SAPNWRFCSDK）时，我遇到了数组类型的类型推断问题： 第一个问题： gcc（gcc -fdump-ada-spec）的Gnat-Binding-Generator为不同的索引范围生成了许多中间命名数组类型： type anon3115_anon3128_array is array (0 .. 8) of aliased SAP_UC; type a... -
1 votesanswersviews
Ada类型声明语义
我在大学读Ada . 今天我的教授向我们提出了一个问题 . 在下面的代码中有三种类型声明 . 第三个没有编译错误'缺少新' . 我假设'Type'关键字让编译器知道我们要定义一个存储类，所以我的问题是： 声明之间的语义差异是什么？如果省略关键字Integer，Ada会在指定范围时采用通用整数类型吗？这似乎是一个明显而合乎逻辑的结果 . 此外，当关键字'Integer'在'range'之前是新的然后...