이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
임경영
가입: 2009년 4월 5일 올린 글: 27
|
올려짐: 2009년4월23일 14:33 주제: 또 문법 질문.. |
|
|
ㅎㅎㅎ..
프로그래밍 언어나 컴파일러 수업을 안 들어서 그런지..
문법을 몰라서 계속 막히네요 ㅠㅠ
analyzer.ml에서
D(Domain)에 들어있는 FMap이나
D에서 type으로 정의된 BOT,TOP등을 main에서 쓰고 싶은데.
어떻게 불러 쓰는지 모르겠네요 ㅠ_ㅠ.. .. 알려주세요.. ㄷㄷ
음.. 간단히 말하면
state를 D.t로 정의 하고 있는데
D.t는 sign domain에서는 BOT|Map(fMAP)|TOP으로 정의됨으로
state값으로 BOT나 MAP(fMap)등의 값을 넘겨주고 싶은데
BOT나 MAP등등이 참조가 안되네요. |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월23일 16:53 주제: |
|
|
일단 제가 이해한 바로는 analyzer.ml 의 Analyzer module을 작성하는 과정에서
인자로 넘어오는 D 내부의 type들을 이용하고 싶은데 잘 되지 않는 것이 문제인 것으로 보입니다.
인자로 넘어오는 D는 CPO signature를 가지므로, CPO signature에서 공개된 것 이외의
것들에 대한 것은 접근할 수 없습니다. 구현하는데에도 이것들 이외의 것에 대한 접근은 필요하지 않습니다.
사실 제가 질문을 정확하게 이해하지는 못한 것 같습니다,
더 자세히 말씀해주시면 답해드리겠습니다. _________________ - soon@ropas |
|
위로 |
|
|
jhwon
가입: 2009년 3월 13일 올린 글: 9
|
올려짐: 2009년4월23일 19:41 주제: |
|
|
analyzer에 관한 내용이면 main에서 접근하지 말고
analyzer내부에서 해결하는 방법으로 구현하시는게 맞을꺼 같군요.
그런데 다른 예로 analyzer에서 CPO 함수에 접근할 수 없어 답답하더군요.
CPO의 top이나 order를 사용하고 싶은데 Domain 모듈을 고칠 수도 없고... _________________ 프로그래밍 분석 2009 Spring 수강하는 학생입니다. |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월23일 19:46 주제: |
|
|
jhwon 씀: |
그런데 다른 예로 analyzer에서 CPO 함수에 접근할 수 없어 답답하더군요.
CPO의 top이나 order를 사용하고 싶은데 Domain 모듈을 고칠 수도 없고...
|
Analyzer에서 넘겨받은 D의 top, order가 아닌,
D 내부에 있는 다른 CPO의 top이나 order를 사용하고자 하시나요?
어떤 경우에 그런 것이 필요한지요? _________________ - soon@ropas |
|
위로 |
|
|
박창규
가입: 2009년 3월 17일 올린 글: 4
|
올려짐: 2009년4월23일 20:35 주제: |
|
|
인용: | 구현하는데에도 이것들 이외의 것에 대한 접근은 필요하지 않습니다. |
맞는 말씀이지만,,,외부에 공개된 D.top이나 D.bottom은 모두 state(D.t)의 top/bottom이며 D.v가 인터페이스에서 정해지지 않은 상태이기 때문에 value(D.v)타입에서의 top 등을 사용하기 위해(exp의 READ나 일부 rhs에서 필요) 다소 직관적이지 않은 방식을 사용할 수 밖에 없었어요...
물론 제 생각에 직관적이지 않다는 것이지, 다른분들에게는 바로 와닿을수도 있겠네요^^;;; |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월23일 20:42 주제: |
|
|
인용: |
다소 직관적이지 않은 방식을 사용할 수 밖에 없었어요...
|
그렇습니다. _________________ - soon@ropas |
|
위로 |
|
|
임경영
가입: 2009년 4월 5일 올린 글: 27
|
올려짐: 2009년4월23일 21:08 주제: |
|
|
인용: | Analyzer에서 넘겨받은 D의 top, order |
를
Analyzer에서 사용하고 싶은데.. 어떻게 쓰는지 몰라서 헤매고 있어용ㅠㅠ |
|
위로 |
|
|
임경영
가입: 2009년 4월 5일 올린 글: 27
|
올려짐: 2009년4월23일 21:10 주제: |
|
|
잉 -_-
왜 D.top이라고 하니까 돼죠;;
D.TOP이라고 하니까 안되고!! 아아악 나.. 뭐한거야 이때까지.. ㄷㄷㄷ
.. CPO에 top, bottom이 따로 정의 되어 있었군용.. ㅎㅎ |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월23일 23:18 주제: |
|
|
임경영 씀: |
잉 -_-
왜 D.top이라고 하니까 돼죠;;
D.TOP이라고 하니까 안되고!! 아아악 나.. 뭐한거야 이때까지.. ㄷㄷㄷ
.. CPO에 top, bottom이 따로 정의 되어 있었군용.. ㅎㅎ
|
제가 집에 오는 사이에 해결하신 것 같네요.
뼈대를 잘 읽어보시면 숙제에 큰 도움이 됩니다. _________________ - soon@ropas |
|
위로 |
|
|
|