summaryrefslogtreecommitdiff
path: root/full-parse.rkt
blob: ae80640684d1f0b4f61dc9ffeaebfa298dad9331 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#lang racket

(provide full-parse)

; + - * / ^ ( ) [0-9]

; 5+3*x
(define (full-parse str)
  (define (get-general expr operator next-operation)
    (define (char->wanted c)
      ((if (char-numeric? c)
         string->number string->symbol)
       (string c)))
    ; used to add a completed part of the operation to the list of operations
    ; 5 is one of those in the addition iteration
    ; 3 and x are in the product iteration
    (define (add-operation-to-list operation seq)
      ;(display (list operator "|" operation "|" seq))
      ;(newline)
      (cons (if (= (length operation) 1) 
              (char->wanted (car operation))
              (next-operation operation))
            seq))
    (define (contains value seq)
      (memq value seq))
    (define (inner cfac facts rexpr)
      (cond
        [(null? rexpr)
         (reverse (add-operation-to-list cfac facts))]
        [(eqv? (car rexpr) operator)
         (inner '() (add-operation-to-list cfac facts) (cdr rexpr))]
        [else
          (inner (cons (car rexpr) cfac) facts (cdr rexpr))]))
    (if (not (contains operator expr))
      (next-operation expr)
      (cons (char->wanted operator) (inner '() '() expr))))

  (define (create-trace expr ops)
    (lambda (expr) 
      (get-general expr (car ops) 
                   (if (null? (cdr ops))
                     (lambda (x) x)
                     (create-trace expr (cdr ops))))))

  (let ((expr (string->list str)))
    ((create-trace expr '(#\+ #\- #\* #\/)) expr)))