home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / MEMBYTE3.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  391 b   |  21 lines
  1. %====================== membyte/3             ===============================
  2. PREDICATES
  3.   test_o 
  4.   test_i
  5.  
  6. CLAUSES
  7.   test_o:-
  8.     A="Hello World",
  9.     ptr_dword(A,Seg,Off), Off1=Off+6,
  10.     membyte(Seg,Off1,CH),
  11.     writef("\nChar1=%c",CH).
  12.     
  13.   test_i:-
  14.     str_len(S,13),
  15.     ptr_dword(S,Seg,Off), Off1=Off+6,
  16.     membyte(Seg,Off1,'W'),
  17.     writef("\nString=|%|",S).
  18.  
  19. GOAL 
  20.    test_o, test_i.
  21.