전제 조건에서 배열을 반복하고 싶습니다. 하지만 전제 조건에서는 "보낸 사람"및 "건너 뛰기"구문을 사용할 수 없습니다. 전제 조건에서 배열을 반복 할 방법이 있습니까? insert_last (s: STRING)
require
new_is_longer_than_prevs:
-- here I want to iterate through array
의미가없는 한 가지 사례를 발견했습니다. 나는 기능 다음 한 : test_array_deep_copy: BOOLEAN
local
imp, old_imp: ARRAY[STRING]
do
comment("Test of a deep copy.")
create {ARRAY[STRING]} imp.make_
ITERABLE [K] 인 결과 유형을 반환하려고합니다. 내가 아는 전부는 Iterable이 ITERATION_CURSOR로부터 상속 받았다는 것인데, 따라서 나는 unworking 코드를 만들었지 만 컴파일되지는 않는다. 그것은 C했다 ++이나 자바, ITERATION_CURSOR myCursor = new ITERABLE;
내가 모르는 경우 obta
나는 다음과 같은 한 테스트 케이스 : test_different_cursor: BOOLEAN
local
cursor: SET_ITERATION_CURSOR[INTEGER, INTEGER]
sets: ARRAY[SET[INTEGER, INTEGER]]
do
create sets.make_empty
에펠 인스턴트 캐스팅에하는 것은 ~ 몇 가지 기능의 최종 범위는 어떻게 : 여기 add (tempA, tempB)
, 인수의 유형은 다음과 같습니다 tempA: A
tempB: B
모두 지역 변수로 선언 . 그리고, 여기에 기능 추가의 프로토 타입입니다 : add (a: A; b: B)
컴파일 에러 나는 얻을 : Formal argument t
Gobo compiler and its tools을 사용하여 xplain2sql을 빌드하려고합니다. geant compile 명령을 실행 한 후에 나는 유사한 오류가 많이 얻을 : [야유는] 클래스 SQL_GENERATOR_TSQL65 (SQL_GENERATOR, 2610,5) : 실제 인수 1의 유형 'STRING_8은'UC_STRING ' 를 입력 적합
Gobo 컴파일러와 도구를 사용하여 프로젝트를 컴파일하려고하는데 (this SO question 참조) 표준 라이브러리 equal(..)을 참조하는 오류 메시지가 나타납니다. 그 오류가 어딘가에 표준 라이브러리가 아니라 코드에서 어딘가에 있지만 나는 더 많은 정보를 얻는 방법을 모르겠다 geant. 내 코드에서 어떤 클래스, 함수, 코드 줄이 equal(.