eiffel

0열

2답변

Eiffel : 공변량이 잘못된 유형이 인수로 전달 되었습니까? 재정의 필드와 기능 유형 covariantly 어떻게 인수의 유형을 재정의 온 후 어떤 문제를 발생하지 않는 경우

(강조 광산) Covariant redefinition of fields and functions provides no problems, but covariant redefinition of arguments does create a problem that illegal types can be passed as arguments. 그러나, covariant

covariance eiffel subtyping 2016-12-13

---

0열

1답변

오류 얻기 "VEVI을 : 변수가 제대로 설정되지 않았습니다"너무

나는 에펠에서 제 A linked_list은 "주름"에 대한 "print_min_fold"를 만들기 위해 노력하고, 에펠에서 : ------- ----------------- Schnipp : class PF_HP create make feature --Queries: -- n : NONE; grid: separate GRID; seq:

agent eiffel 2016-11-02

---

0열

1답변

make.exe ": *** [pf_hp.res] 에펠 C 컴파일의 오류 1/mingw

.res 오류가 발생하여 .res 파일을 삭제하여 해결했지만 지금은 pf_hp.res 아무 소용, 이미 공백없이 경로의 eStudio를 설치 :-(소스 디렉토리 나 EIFGENs에 파일. 내가 다시, C-컴파일 작업을 얻기 위해 할 수있는 일? 미리 감사드립니다. Gerrit

compiler-errors eiffel 2016-11-03

---

0열

1답변

Eiffel

에서 "할당 자 호출 대상에 관련된 할당 자 명령이 없습니다"오류를 해결할 수 없습니다. Eiffel Studio에서 다른 클래스에서 정의한 클래스의 개체 필드에 액세스하려고했습니다. 그러나, 그것은 이해하고 해결할 수없는 오류를주고 있습니다. 객체가 생성되는 클래스 : class TEST2 feature value: INTEGER

class compiler-errors eiffel 2016-11-04

---

0열

1답변

에펠 명령 행을 통해 어서션을 시행하려면 어떻게해야합니까?

Eiffel은 Design by Contract입니다. 이에 따르면 임의의 루틴에 대해 require 및 ensure과 같은 어설 션이 true 여야한다는 확인이 있습니다. 그러나 어설 션이 false 인 경우 컴파일러에서 또는 런타임에 throw 된 오류/예외가 있어야한다는 명령 줄을 통해 규칙을 적용하는 방법을 찾을 수 없었습니다. 예를 들어 ,이 루트

shell assertion eiffel enforcement 2016-11-05

---

0열

1답변

Eiffel의 키워드 like와 같은 불변량 공유

에펠에서는 'anchored declaration'으로 유형을 지정할 수 있습니다. class C feature f: INTEGER do ... Do something ... end g: like f do ... Do some other thing ... end

invariants eiffel 2016-11-06

---

0열

1답변

Libertty/ISE Eiffel의 Statment 오류

if 문에 문제가 있습니다. 나는 commandline-arguments와 utf8 (€ - Symbol)이있는 프로그램이있다. if 문에서 오류는 works_not입니다. class EURO insert ARGUMENTS create {ANY} make feature {ANY} make do works_

utf-8 eiffel 2017-04-06

---

0열

1답변

Eiffel : 필드가없는 확장 클래스는`=`입니까, 아니라?

Eiffel에서 확장 유형의 개체를 비교하는 경우 = 연산자는 필드별로 필드의 내용을 비교하여 각 필드의 내용이 두 개체에서 동일한 지 확인합니다. 의 그들에 정의 된 기능이 개 확장 클래스를 가정 해 봅시다 : expanded class A end expanded class B end 어떻게 떨어져 그들에게 에펠 수 있습니까? 아니면 그럴 수

operators eiffel 2016-11-13

---

0열

1답변

Burnikel 및 Ziegler 알고리즘 2의 에펠 구현시 오류가 발생했습니다.

Burnikel 및 Ziegler 부서의 에펠 구현, 특히 "알고리즘 2 - 3n/2n"의 문제점이 무엇인지 알려주는 또 다른 눈이 필요합니다. 에펠 기능이 아래에 나와 있습니다. "현재와 같은"유형은 ARRAYED_LIST [NATURAL_8]입니다. 즉, 구현시 8 비트 값을 포함하는 숫자 (즉 팔다리)가 사용되므로 숫자는 기본 256 자입니다. 실패한

algorithm integer-division eiffel 2017-04-21

---

1열

2답변

에펠에서 valid_index 전제 조건 위반이 발생하는 이유는 무엇입니까?

난 그냥 컨테이너 클래스 (기본적으로 배열에 의해 만들어진)의 push_at 기능을 테스트합니다. 내 코드의 어느 부분이 이러한 위반을 일으키는 지 알지 못합니다. 도움을 나의 시험에서 push_at (i: INTEGER; s: STRING) require valid_index: i >= 1 do container

eiffel preconditions 2017-09-22

---