[임경영]

ㅎㅎㅎ..
프로그래밍 언어나 컴파일러 수업을 안 들어서 그런지..
문법을 몰라서 계속 막히네요 ㅠㅠ

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등등이 참조가 안되네요.

[공순호]

일단 제가 이해한 바로는 analyzer.ml 의 Analyzer module을 작성하는 과정에서
인자로 넘어오는 D 내부의 type들을 이용하고 싶은데 잘 되지 않는 것이 문제인 것으로 보입니다.

인자로 넘어오는 D는 CPO signature를 가지므로, CPO signature에서 공개된 것 이외의
것들에 대한 것은 접근할 수 없습니다. 구현하는데에도 이것들 이외의 것에 대한 접근은 필요하지 않습니다.


사실 제가 질문을 정확하게 이해하지는 못한 것 같습니다,
더 자세히 말씀해주시면 답해드리겠습니다.
_________________
- soon@ropas

[jhwon]

analyzer에 관한 내용이면 main에서 접근하지 말고
analyzer내부에서 해결하는 방법으로 구현하시는게 맞을꺼 같군요.

그런데 다른 예로 analyzer에서 CPO 함수에 접근할 수 없어 답답하더군요.
CPO의 top이나 order를 사용하고 싶은데 Domain 모듈을 고칠 수도 없고...
_________________
프로그래밍 분석 2009 Spring 수강하는 학생입니다.

[공순호]

[박창규]

[공순호]

[임경영]

[임경영]

잉 -_-

왜 D.top이라고 하니까 돼죠;;
D.TOP이라고 하니까 안되고!! 아아악 나.. 뭐한거야 이때까지.. ㄷㄷㄷ

.. CPO에 top, bottom이 따로 정의 되어 있었군용.. ㅎㅎ

[공순호]