게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

프로젝트3을 위한 도구 (12/20)

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2012)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2012년12월1일 10:48    주제: 프로젝트3을 위한 도구 (12/20) 인용과 함께 답변

*readme를 꼭 다 읽어보세요.

== (12/02) 프로젝트 3을 위한 도구가 나왔습니다.
== (12/13) main()에서의 사소한 수정
== (12/16) exp 인터프리터 오류 수정
== (12/19) cmd 인터프리터 중복된 label로 goto할경우 에러내도록 추가
== (12/20) x has -1과같은 음수 구문 파싱 못하던것 해결. (이런 구문은 일체 테스트하지 않을테니 걱정하지 마세요.)

두가지 형식으로 압축해 두었습니다.
http://ropas.snu.ac.kr/~ta/4190.210/12/project/project3.tar.gz
http://ropas.snu.ac.kr/~ta/4190.210/12/project/project3.zip

리눅스에서는
tar zxvf project3.tar.gz 를 이용하여 압축을 푸실수 있습니다.


컴파일 및 실행 방법
===================
[LINUX]

코드:
     1. make
     2. ./run


[WINDOWS]

코드:
     1. make.bat
     2. run.exe


제출 방법
=========

project3.ml 파일에 있는 Trans 모듈을 완성하시고 그 파일만 제출해 주세요.


활용방법
========

main.ml을 열어보시면 가장 아래단에 주석처리된 코드들이 있습니다.
이 부분에 raise (Error "Empty main.")을 지우시고
원하시는 코드를 넣으세요. run을 실행할때 이부분이 실행됩니다.

exp 소스코드 파일을 파싱하고 싶으시다면 다음을 사용하세요.

코드:
parse "파일명"


transform 결과로 나온 cmd를 소스코드모양으로 pretty print하고 싶다면
다음을 사용하세요

코드:
Pp.CmdPrinter.print_cmd [cmd]


예를들어, 다음과같은 방식으로 Project3파일의 함수들을 테스트해볼 수 있습니다.

코드:
    let exp = parse "examples/test.exp" in
    Project3.Trans.check_exp exp

    let exp = parse "examples/test.exp" in
    let cmd = Project3.Trans.transform exp  in
    Project3.Trans.check_cmd cmd



압축을 풀고 내부에 있는 README 문서를 읽어보세요.

혹시 문제가 있다면 언제든지 보고해주세요.
파싱이 잘 안될때는 괄호를 잘 쳐보세요.

강동옥 조교 dokang@ropas.snu.ac.kr


강동옥 가 2012년12월20일 23:55에 수정함, 총 6 번 수정됨
위로
사용자 정보 보기 비밀 메시지 보내기
박정혁



가입: 2012년 12월 12일
올린 글: 14

올리기올려짐: 2012년12월12일 12:37    주제: 인용과 함께 답변

리눅스용 압축 파일이 다운로드가 안됩니다.


확인 부탁드립니다.
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2012년12월12일 15:24    주제: 인용과 함께 답변

음.. 저는 다운로드가 잘 됩니다만,,

혹시 zip파일도 다운로드가 안되나요? 두개다 내용물은 같습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
박정혁



가입: 2012년 12월 12일
올린 글: 14

올리기올려짐: 2012년12월12일 15:26    주제: 인용과 함께 답변

zip파일은 다운로드가 잘 되는데 tar파일은 안되네요...

요청한 페이지를 표시할 수 없다고 뜹니다..
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2012년12월12일 15:54    주제: 인용과 함께 답변

학외에서는 잘 안될 수 있습니다.

zip파일이 다운로드되신다면 zip으로 다운로드하셔서 리눅스에서 사용하셔도 무방합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2012) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay