;; -*-theme-*-

;; Copyright (C) 2015  Tommi Höynälänmaa
;; Distributed under GNU Lesser General Public License version 3,
;; see file doc/LGPL-3.

(define-interface (examples hash-table)


  (import (standard-library core)
	  (standard-library singleton))

  (define-param-class :hash-table
    (parameters %key %value)
    (constructor-access module)
    (construct 
     ((v-l-contents1 (:mutable-vector
		      (:uniform-list (:pair %key (:singleton %value)))))
      (i-size1 <integer>)
      (hash1 (:procedure (%key <integer>) <integer> pure))
      (eq-pred1? (:procedure (%key %key) <boolean> pure))))
    (fields
     (v-l-contents (:mutable-vector
		    (:uniform-list (:pair %key (:singleton %value))))
		   module module v-l-contents1)
     (i-size <integer> module module i-size1)
     (hash (:procedure (%key <integer>) <integer> pure) module module hash1)
     (eq-pred? (:procedure (%key %key) <boolean> pure) module module
	       eq-pred1?)))
  
  (declare-method make-hash-table
	   (:param-proc (%key %value)
			((:procedure (%key <integer>) <integer> pure)
			 (:procedure (%key %key) <boolean> pure)
			 <integer>
			 %value)
			(:hash-table %key %value) pure))

  (declare-static-virtual-method gen-assoc
			 (:param-proc (%key %value)
				      ((:hash-table %key %value) %key)
				      (:maybe %value)
				      pure))
  
  (declare-static-virtual-method gen-assoc-set!
			 (:param-proc (%key %value)
				      ((:hash-table %key %value) %key %value)
				      <none>
				      nonpure)))
