subtype

2열

1답변

Oracle Database PLSQL 특정 문자의 서브 유형

이 값만 보유 할 수있는 PLSQL의 부속 유형을 만들고 싶습니다. '♠', '♥', '♦', '♣' 가능합니까? 내 코드에는 subtype suit_t is char(1)이 있지만이 코드를 사용하면이 하위 유형이있는 변수에 다른 문자를 저장할 수 있습니다. 그리고 그래 .. 내 사용자는 꽤 바보 같아서 내가 그렇게하도록 제한하고 싶다.

oracle plsql subtype 2017-11-21

---

1열

2답변

Coq : 복잡한 표현 사이의 강제/하위 유형 지정

Coq에서는 불가능하다는 인상을 받았습니다. Parameter Arg: Type. Parameter F X XP: Arg. Parameter S P I PLS PI: Arg -> Type. Parameter tree car: P X. Parameter mary john: PLS XP. Parameter c: PLS XP -> P XP. Coerc

coq coercion subtype 2016-07-16

---

0열

2답변

Python C API, 하위 유형에서 기본 유형 메소드를 호출하는 방법은 무엇입니까?

는 내가 새로운 PyTypeObject의 tp_methods 속성에 새로운 방법 덕분에 등록하여 하나 개의 기본 유형의 메소드를 오버라이드 (override)이 가이드 Python C API Defining New Types 에 따라 C API를 사용하여 하나 개의 기존 파이썬 유형에서 하위 유형을 만들었습니다. 정상적으로 작동합니다. 나는 그것을 수행하는

override python-c-api subtype 2017-02-13

---

1열

2답변

예외 컴파일러 오류가있는 메서드 재정의

'a.eat()'아래의 코드는 컴파일 오류가 발생하거나 선언되어야합니다. class Animal { public void eat() throws Exception {} } class Dog extends Animal { public void eat() {} public static void main(String [] args) {

java inheritance compiler-errors polymorphism subtype 2017-12-12

---

-1열

1답변

std :: type_info 개체가 C++에서 다른 std :: type_info 개체의 하위 형식인지 확인

두 개의 포인터 std::type_info t1과 std::type_info t2이 있습니다. t1이 t2의 하위 유형인지 어떻게 확인할 수 있습니까? 사용할 수있는 다른 정보가 없습니다.

c++ types rtti subtype 2017-02-17

---

1열

1답변

무스 : 하위 유형 메시지가 표시되지 않습니다.

무스 사용을 시작합니다. 여기 내 테스트 패키지 코드 : package MyTest; use Moose; use Moose::Util::TypeConstraints; subtype 'MyStatus', as 'Int', where { $_ >= 0 && $_ < 10 }, message { "Wrong status:

perl moose subtype 2016-11-11

---

2열

1답변

하위 유형 Coq

subtypes을 Coq에 연습하고 ssreflect을 사용하여 사물을 단순화하려고합니다. 하지만 하위 유형을 다시 작성할 때는 항상 문제가 발생합니다. 예 : Require Import Omega. From mathcomp Require Import ssreflect ssrfun ssrbool ssrnat eqtype. (* a type A to b

coq subtype 2017-10-25

---

1열

1답변

COQ : 두번째 투영 시그마 유형에서 기능을 한정 (및 그것을 강제 제조)

I 문제 시그마 타입에서 제 2 돌출부의 형태를 증명 가지고 Variable X:Type. Variable Phy: X -> Type. Definition e {x:X}: {x:X & Phy x} -> Phy x. intro. Fail exact (@projT2 _ _ X0). (*The term "projT2 X0" has type "Phy (pr

types coq proof coercion subtype 2017-02-20

---

1열

1답변

VHDL : std_logic의 배열을 사용하는 것과 std_logic_vector의 하위를 사용하는 것

나는 같은 클럭에서 샘플링 되나 (논리적으로는 병렬 버스가 아닌) 여러 개의 입력을 가지고있다. 코드를 수정해야합니다. 대부분의 의도와 목적, 배열과 벡터가 꽤 많이 처리 할 수 ​​있습니다 들어 subtype my_subtype is std_logic_vector(my_width - 1 downto 0); signal my_signal : my_subt

types vhdl subtype 2017-09-13

---

1열

2답변

파라미터 화 VHDL 하위 유형

나는 예컨대, 정의 된 범위의 하위 유형을 만들 수 알고? 기본적으로 ADDRESS 유형의 변수를 만들 때 사용자가 정의 할 '32'값을 그대로 둡니다. 예를 들어 F()는 다른 패키지에 미리 정의 된 함수이고, X 어드레스의 인스턴스 생성시에 사용자에 의해 제공된 자연 정수 subtype ADDRESS is UNSIGNED range (f(x)) down

types vhdl subtype 2017-03-07

---