황인준
가입: 2013년 9월 12일 올린 글: 8
|
올려짐: 2013년12월21일 16:29 주제: 프로젝트 3 check_cmd 질문 |
|
|
이미 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4191 에서 "실행이 되는지 아닌지"를 분석하는 것은 어려우므로 적당히 해도 된다고 말씀하셨는데요,
"실행이 되는지 아닌지"의 기준이 좀 애매해서 질문을 드립니다.
다음의 예시는 모든 라인이 실행됩니다.
x has 1;
goto L0 on x;
L1: z has y;
goto L2 on z;
L0: y has x;
goto L1 on y;
L2: say z
하지만 실행 순서는 L0 -> L1 -> L2이고, 제가 잘못 쓰지 않았다면 valid합니다.
그런데 만일 goto문이 take되는지 안 되는지를 생각할 필요가 없다면(라인을 무조건 위에서 아래로 check)
x has 1; <- valid
goto L0 on x; <- valid
L1: z has y; <- y가 정의되지 않았으므로 invalid
따라서 false를 return할 수도 있겠지요.
결국 "실행이 되는지 아닌지"의 의미를 "goto가 take되는지 아닌지"로 확대 해석해도 되는지가 궁금합니다. 비슷한 질문이 많은데 또 해서 죄송합니다.
감사합니다. |
|