나는 does_key_exist를 구현하려고하는데, 아래 코드가 그럴 것이라고 생각했습니다. 결과 : =하지 (x.key = 키) does_key_exist(key: attached STRING):BOOLEAN
do
Result := not data.item(hash(key)).for_all (agent (x:like pair_at):B
에필로에서 변경할 수없는 POINT 클래스를 만들려고합니다. 아래의 코드가 하나의 코드를 정의합니까? x 및 y 필드의 {NONE} 접근 용이성이면 충분합니까? x = x'과 같은 클래스 불변량에 무언가를 쓸 수 있습니까? 그렇지 않으면 어떻게 불변성을 얻을 수 있습니까? class POINT
create
make
feature
애니메이션이있는 작은 Vision2 창을 만들었습니다. 내 Windows 7 환경에서이 애니메이션을 바탕 화면의 다른 모든 창 위에 항상 표시하고 싶습니다. raise에 주기적으로 전화를 걸어 Vision2- 창을 앞에 놓을 수는 있지만 선택한 창에 초점을 맞추지 않습니다. 아래로 끓여 : Q1을 : 비전을 가진 다른 모든 창 "항상 맨 위에"창을 유지하는
아래 클래스와 같은 예외를 사용하려고 시도 중이지만 kivetel 메서드를 호출하면 프로그램이 항상 실패합니다. 나는 postcondition을 만족시키는 것보다 재시도 부분을 호출 할 것이라고 생각한다. 하지만 "y_above_zero"postcond 위반으로 실패합니다. class
KEYWORDS
create
make
feature
에펠에서는 힙에서 할당하지 않은 expanded class을 사용할 수 있습니다. 개발자 관점에서 볼 때 Int에서 Float 로의 변환은 자동으로 수행되는 경우가 거의 없습니다. 제 질문은 이것입니다 : 왜 하스켈은 Num을 모델링하는 비슷한 접근 방식을 선택하지 않았습니까? 특히 Int 인스턴스를 고려해 볼 수 있습니다. 여기에 내 질문에 대한 근거는
안녕하세요, 저는 프로젝트에서 일하고 있지만 동일한 네트워크에 있지 않은 IP에서 연결할 수는 없습니다 (LAN). 코드 울부 짖는 소리는 로컬로 잘 작동하지만 여러 다른 위치에있는 IP 다른 위치에있는 작업을 만드는 방법을 알아낼 수 없습니까? 그리고 Google cant가 도움이 될만한 아이디어가 있습니까? class
RG_NETWORK_SER
에펠에서 과제를 수행하고 있으며 확실한 규정을 구현하는 데 문제가 있습니다. 변수 또는 함수를 포함해야하는 특수 구문이 있습니까? 이 내 코드는 put(key: K; value: V)
require
key /= void
local
tmp:ITEM[K,V]
do
create tmp.make(ke
재귀 메서드를 사용하여 이진 트리를 만드는 프로그램을 만들려고하는데 문제가 있습니다. 내 클래스 MYNODE에는 왼쪽과 오른쪽을 포함하고 있지만 null (Void) 일 수 있습니다. 여기에 코드가 있습니다, 누군가 나를 도울 수 있습니까? class
MYNODE
create
make
feature
name: STRING