게시판 인덱스

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

8-4 테스트셋입니다.

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



가입: 2012년 9월 5일
올린 글: 26

올리기올려짐: 2012년12월7일 13:46    주제: 8-4 테스트셋입니다. 인용과 함께 답변

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3062에서 퍼왔습니다.

코드:

 module A = BasicFrame(struct let design = TURTLE end)
 module B = BasicFrame(struct let design = WAVE end)
 module Ap = Rotate(A)
 module App = Rotate(Ap)
 module Bp = Rotate(B)
 module Bpp = Rotate(Bp)
 module A4 = Glue (A) (B) (Ap) (Bp)
 module B4 = Glue (A) (Ap) (B) (Bp)
 module A4p = Rotate(A4)
 module B4p = Rotate(B4)
 module C = Glue (A4) (B4) (A4p) (B4p)
 module D = Glue (C) (Rotate (C)) (Rotate (Rotate (C))) (Rotate (Rotate (Rotate (C))))
 module E = Glue (Rotate (C)) (Rotate (Rotate (Rotate (C)))) (C) (C)



 let _ =
   if (A.box = BOX (NW, TURTLE)) then print_string "success : #1" else print_string "fail : #1" ;
   print_newline();
   if (B.box = BOX (NW, WAVE)) then print_string "success : #2" else print_string "fail : #2" ;
   print_newline();
   if (Ap.box = BOX (NE, TURTLE)) then print_string "success : #3" else print_string "fail : #3" ;
   print_newline();
   if (App.box = BOX (SE, TURTLE)) then print_string "success : #4" else print_string "fail : #4" ;
   print_newline();
   if (Bp.box = BOX (NE, WAVE)) then print_string "success : #5" else print_string "fail : #5" ;
   print_newline();
   if (Bpp.box = BOX (SE, WAVE)) then print_string "success : #6" else print_string "fail : #6" ;
   print_newline();
   if (A4.box = GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE))) then print_string "success : #7" else print_string "fail : #7" ;
   print_newline();
   if (B4.box = GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE))) then print_string "success : #8" else print_string "fail : #8" ;
   print_newline();
   if (A4p.box = GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE))) then print_string "success : #9" else print_string "fail : #9" ;
   print_newline();
   if (B4p.box = GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE))) then print_string "success : #10" else print_string "fail : #10" ;
   print_newline();
   if (C.box = GLUED
          (GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE)),
           GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
            GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
             GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE)))) then print_string "success : #11" else print_string "fail : #11" ;

   print_newline();
   if (D.box = GLUED
          (GLUED
             (GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE),
                 BOX (NE, WAVE)),
                   GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
                     GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
                        GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE))),
                        GLUED
                          (GLUED (BOX (SE, WAVE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SW, TURTLE)),
                           GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
                             GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE)),
                              GLUED (BOX (SW, TURTLE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SE, WAVE))),
                               GLUED
                                (GLUED (BOX (SW, WAVE), BOX (NW, TURTLE), BOX (NW, WAVE), BOX (SW, TURTLE)),
                                  GLUED (BOX (NW, TURTLE), BOX (SW, WAVE), BOX (NW, WAVE), BOX (SW, TURTLE)),
                                   GLUED (BOX (SW, TURTLE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SE, WAVE)),
                                     GLUED (BOX (SE, WAVE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SW, TURTLE))),
                                     GLUED
                                       (GLUED (BOX (NW, TURTLE), BOX (SW, WAVE), BOX (NW, WAVE), BOX (SW, TURTLE)),
                                         GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE)),
                                          GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
                                            GLUED (BOX (SW, WAVE), BOX (NW, TURTLE), BOX (NW, WAVE), BOX (SW, TURTLE))))
          ) then print_string "success : #12" else print_string "fail : #12" ;
   print_newline();
   if (E.box = GLUED
          (GLUED
             (GLUED (BOX (SE, WAVE), BOX (SW, WAVE), BOX (SE, TURTLE),
                 BOX (SW, TURTLE)),
                   GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
                     GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE)),
                        GLUED (BOX (SW, TURTLE), BOX (SW, WAVE), BOX (SE, TURTLE), BOX (SE, WAVE))),
                        GLUED
                          (GLUED (BOX (NW, TURTLE), BOX (SW, WAVE), BOX (NW, WAVE), BOX (SW, TURTLE)),
                           GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE)),
                             GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
                              GLUED (BOX (SW, WAVE), BOX (NW, TURTLE), BOX (NW, WAVE), BOX (SW, TURTLE))),
                               GLUED
                                (GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE)),
                                  GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
                                   GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
                                     GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE))),
                                     GLUED
                                       (GLUED (BOX (NW, TURTLE), BOX (NW, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE)),
                                         GLUED (BOX (NW, TURTLE), BOX (NE, TURTLE), BOX (NW, WAVE), BOX (NE, WAVE)),
                                          GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (NE, WAVE), BOX (SE, TURTLE)),
                                            GLUED (BOX (SE, WAVE), BOX (NE, TURTLE), BOX (SE, TURTLE), BOX (NE, WAVE))))
          ) then print_string "success : #13" else print_string "fail : #13" ;
   print_newline();


(*   E.rotate A.box;   (*NOT_GLUED_BOX*)   *)
(*   A.rotate E.box;   (*NON_BASIC_BOX*)   *)


위로
사용자 정보 보기 비밀 메시지 보내기
윤형석



가입: 2012년 9월 5일
올린 글: 26

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

코드:

let module A1 = BasicFrame (struct let design = TURTLE end) in
let module A2 = Rotate (A1) in
let module A3 = BasicFrame (struct let design = WAVE end) in
let module A4 = Rotate (A3) in
let module A5 = Glue (A1) (A2) (A3) (A4) in
let module A6 = Glue (A5) (A5) (A5) (A1) in
A6.box


사이즈가 달라 NOT_EQUAL_FRAME_SIZE exception을 내야합ㄴ디ㅏ.
위로
사용자 정보 보기 비밀 메시지 보내기
김민석



가입: 2012년 9월 15일
올린 글: 40

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

감사합니다.ㅠㅠㅠ
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 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