VDM ++의 작업 사례 사용

Question

임 VDM ++에 대한 새로운 기능과 작동 과정에서 사례를 사용하여 작동 방법을 확인하려는 임씨.

제 아이디어는 조작에 입력을 제공하고 출력으로 내게 준 것을 확인하는 것이 었습니다. 그래서 fx. 필자의 의견은 다음과 같을 수 있습니다.

다음 작업이 실패하고

public sign: (seq of char) ==> (seq of char) 
sign(sign) == 
cases sign: 
    <Even> -> "Even", 
    <Odd> -> "Odd", 
    others -> "Unknown" 
end 

Answer 1

이 희망 오류가 실제로 Unexpected token in statement 인 오류를 나에게 "표현에 예기치 않은 토큰"줄 (안 표현?). cases 문은 각 case 절의 RHS가 명령문이되도록 요구합니다. 그래서 당신은 -> return "Even"라고해야 할 것입니다. 또는 return cases sign: ...이라고 말하면서 하나의 큰 return 문으로 바꿀 수 있습니다. 그 다음에 표현이 올바르게 형성됩니다.