subtype

1热度

1回答

是否可以定义可以静态编译的Eclipse Groovy DSLD（DSL定义）？我试图用通过的Eclipse提供DSLD例子，所以我创建TestDsl.dsld： contribute(currentType(subType('groovy.lang.GroovyObject'))) { property ( name : 'newProp', type : St

0热度

1回答

Mysql子类型和超类型 - 数据库建模

我即将开发一个用于学习目的的个人项目。一个房地产网站，广告客户（注册用户）可以为他们的房产（公寓，土地，房屋...）出租广告（定义期限或未定义期限）或出售广告。此外，凡客户（游客）可以搜索的特定类型的房产或购买在特定的位置。业务规则：用户是注册一个。用户有一个角色，只有一个角色（用户，管理员...）。角色属于许多用户（每个用户的默认角色是用户）。用户有一个位置，只有一个位置（位置指地址）

0热度

1回答

在勒柯克，如何构建“SIG”型

的元素，类型为A的一个简单的归纳定义： Inductive A: Set := mkA : nat-> A. (*get ID of A*) Function getId (a: A) : nat := match a with mkA n => n end. 和子类型的定义： (* filter that test ID of *A* is 0 *) Function filter

2热度

1回答

平等的勒柯克

SIG类型的元素随着SIG类型确定指标，如： Inductive A: Set := mkA : nat-> A. Function getId (a: A) : nat := match a with mkA n => n end. Function filter (a: A) : bool := if (beq_nat (getId a) 0) then true else false.

1热度

1回答

Oracle - 如何投入子类型的引用？

我使用Oracle数据库和我有这种类型的亚型有： CREATE TYPE t_foo AS OBJECT (id INTEGER) NOT FINAL; CREATE TYPE t_foo1 UNDER t_foo() NOT FINAL; 我有t_foo在那里我还可以存储的t_foo CREATE TABLE foo OF t_foo; INSERT INTO foo VALUE

-1热度

1回答

找出std :: type_info对象是否是C++中另一个std :: type_info对象的子类型

我有两个指针std::type_info t1和std::type_info t2。我如何知道t1是t2的子类型？我没有其他信息可用。

1热度

1回答

VHDL：使用std_logic与使用std_logic_vector的子类型的数组

我有多个属于一起的输入（在相同的时钟等采样），但在逻辑上不是一个矢量（即不是并行总线）我需要修改的代码。此前，他们被定义为 type my_type is array (my_width - 1 downto 0) of std_logic; signal my_signal : my_type; 直到现在，为此，我一直用这个： subtype my_subtype is std_logi

3热度

1回答

在常见的lisp中，返回两个对象最具体的超类型的函数是什么？

我对SBCL的适用性最感兴趣，但也对Common Lisp的其他实现感到好奇。我们的type hierarchy。我想要一个函数，给定两个对象作为参数，返回符号表示适用于这两个对象的最具体的超类型。它的使用看起来是这样的： (most-specific-super-type x y) 因此，举例来说，短浮子和长期浮动的两个子类型的超类型float的。如果比较长浮点数和整数，最具体的超级类型

1热度

1回答

Ada类型声明语义

我正在大学攻读Ada。今天，我的教授向我们提出了一个问题。在下面的代码中有三个类型声明。第三个不会编译错误“缺少新的”。我假设的“类型”关键字让编译器知道我们即将定义的存储类，所以我的问题是：哪些声明之间的语义差别？如果省略关键字Integer，那么Ada在指定范围时是否采用通用整数类型？这似乎是一个明显而合乎逻辑的结果。此外，当“范围”之前的关键字“整数”是新的，那么是否需要？我希望这不

1热度

2回答

参数化VHDL亚型

我知道这是可能创造一个定义的范围的一个亚型，e.g： subtype ADDRESS is UNSIGNED range (32 downto 0); 是否有可能建立一个参数化类型/子类型？基本上保留'32'的值由用户在制作ADDRESS类型的变量时定义。例如： subtype ADDRESS is UNSIGNED range (f(x)) downto 0; 其中f（）是在另一个预定义