home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l216 / 2.ddi / XMINIGOL.SCA < prev    next >
Encoding:
Text File  |  1987-03-23  |  2.4 KB  |  88 lines
  1. /***********************************************************
  2.             Turbo Prolog Toolbox
  3.             (C) Copyright 1987 Borland International.
  4.             
  5. ***********************************************************/
  6.  
  7. DOMAINS
  8. /*CURSOR = integer  */
  9.   CURSORTOK = t(TOK,CURSOR)
  10.   TOKL = CURSORTOK*
  11. /*PROCID = string     */
  12.  
  13. /* include "XMINIGOL.DOM"    */
  14.  
  15. PREDICATES
  16.  
  17. /* scan_error(STRING,CURSOR)  */
  18.   tokl(CURSOR,STRING,TOKL)
  19.   maketok(CURSOR,STRING,TOK,STRING,STRING,CURSOR)
  20.   str_tok(STRING,TOK)
  21.   scan_str(CURSOR,STRING,STRING,STRING)
  22.   search_ch(CHAR,STRING,INTEGER,INTEGER)
  23.   skipspaces(STRING,STRING,INTEGER)
  24.   isspace(CHAR)
  25.  
  26. CLAUSES
  27.  
  28. /* scan_error(_,_) :- write("No error recovery").  */
  29.   tokl(POS,STR,[t(TOK,POS1)|TOKL]):-
  30.     skipspaces(STR,STR1,NOOFSP),
  31.     POS1=POS+NOOFSP,
  32.     fronttoken(STR1,STRTOK,STR2),!,
  33.     maketok(POS,STRTOK,TOK,STR2,STR3,LEN1),
  34.     str_len(STRTOK,LEN),
  35.     POS2=POS1+LEN+LEN1,
  36.     tokl(POS2,STR3,TOKL).
  37.   tokl(_,_,[]).
  38.  
  39.   skipspaces(STR,STR2,NOOFSP):-
  40.     frontchar(STR,CH,STR1),isspace(CH),!,
  41.     skipspaces(STR1,STR2,N1),
  42.     NOOFSP=N1+1.
  43.   skipspaces(STR,STR,0).
  44.  
  45.   isspace(' ').
  46.   isspace('\t').
  47.   isspace('\n').
  48.  
  49.   str_tok(",",comma):-!.
  50.   str_tok("+",plus):-!.
  51.   str_tok("-",minus):-!.
  52.   str_tok("*",mult):-!.
  53.   str_tok("/",div):-!.
  54.   str_tok("^",power):-!.
  55.   str_tok("?",questionmark):-!.
  56.   str_tok(":",colon):-!.
  57.   str_tok("!",exclmmark):-!.
  58.   str_tok("(",lpar):-!.
  59.   str_tok(")",rpar):-!.
  60.   str_tok("if",if_):-!.
  61.   str_tok("then",then):-!.
  62.   str_tok("else",else):-!.
  63.   str_tok("while",while):-!.
  64.   str_tok("do",do):-!.
  65.   str_tok("goto",goto):-!.
  66.  
  67.   maketok(_,STR,TOK,S,S,0):-str_tok(STR,TOK),!.
  68.   maketok(_,"'",char(T),S1,S3,2):-!,frontchar(S1,T,S2),frontchar(S2,_,S3).
  69.   maketok(CURSOR,"\"",str(STR),S1,S2,LEN):-!,
  70.     scan_str(CURSOR,S1,S2,STR),str_len(STR,LEN1),LEN=LEN1+1.
  71.   maketok(_,INTSTR,int(INTEGER),S,S,0):-str_int(INTSTR,INTEGER),!.
  72.   maketok(_,REALSTR,real(REAL),S,S,0):-str_real(REALSTR,REAL),!.
  73.   maketok(_,STRING,id(STRING),S,S,0):-isname(STRING),!.
  74.   maketok(CURSOR,_,_,_,_,_):-scan_error("Illegal token",CURSOR),fail.
  75.  
  76.   scan_str(_,IN,OUT,STR):-
  77.     search_ch('"',IN,0,N),
  78.     frontstr(N,IN,STR,OUT1),!,
  79.     frontchar(OUT1,_,OUT).
  80.   scan_str(CURSOR,_,_,_):-scan_error("String not terminated",CURSOR),fail.
  81.  
  82.   search_ch(CH,STR,N,N):-
  83.     frontchar(STR,CH,_),!.
  84.   search_ch(CH,STR,N,N1):-
  85.     frontchar(STR,_,S1),
  86.     N2=N+1,
  87.     search_ch(CH,S1,N2,N1).
  88.