pqueue.mal

一个内存数据库的源代码这是服务器端还有客户端

#line 35 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
module pqueue;

command init(a:bat[:void,:any_1],maxsize:int):bat[:oid,:any_1] 
address PQinit
comment "Creates an empty pqueue of bat a's tailtype with maximum size maxsize";



#line 87 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"

#line 84 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
  
#line 63 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
pattern topreplace_min(h:bat[:oid,:any_1], id:oid, value:any_1) 
address PQtopreplace_anymin
comment "Replaces top element with input and updates min-pqueue";

pattern enqueue_min(h:bat[:oid,:any_1], id:oid, value:any_1) 
address PQenqueue_anymin
comment "Inserts element (oid,any) in the min-pqueue";

command dequeue_min(h:bat[:oid,:any_1]) 
address PQdequeue_anymin
comment "Removes top element of the min-pqueue and updates it";

command topn_min(t:bat[:oid,:any_1], n:int) :bat[:oid,:any_1] 
address PQtopn_anymin
comment "Return the topn elements of the bat t using a min-pqueue";

command topn_min(t:bat[:void,:any_1], n:int) :bat[:oid,:any_1] 
address PQtopn_voidanymin
comment "Return the topn elements of the bat t using a min-pqueue";



#line 84 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"

  
#line 63 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
pattern topreplace_max(h:bat[:oid,:any_1], id:oid, value:any_1) 
address PQtopreplace_anymax
comment "Replaces top element with input and updates max-pqueue";

pattern enqueue_max(h:bat[:oid,:any_1], id:oid, value:any_1) 
address PQenqueue_anymax
comment "Inserts element (oid,any) in the max-pqueue";

command dequeue_max(h:bat[:oid,:any_1]) 
address PQdequeue_anymax
comment "Removes top element of the max-pqueue and updates it";

command topn_max(t:bat[:oid,:any_1], n:int) :bat[:oid,:any_1] 
address PQtopn_anymax
comment "Return the topn elements of the bat t using a max-pqueue";

command topn_max(t:bat[:void,:any_1], n:int) :bat[:oid,:any_1] 
address PQtopn_voidanymax
comment "Return the topn elements of the bat t using a max-pqueue";



#line 85 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"



#line 87 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"




#line 93 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"

#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_min(h:bat[:oid,:chr], id:oid, value:chr) 
address PQenqueue_chrmin
comment "Inserts element (oid,chr) in the min-pqueue";

command topreplace_min(h:bat[:oid,:chr], id:oid, value:chr) 
address PQtopreplace_chrmin
comment "Replaces top element with input and updates min-pqueue";

command dequeue_min(h:bat[:oid,:chr]) 
address PQdequeue_chrmin
comment "Removes top element of the min-pqueue and updates it";

command topn_min(t:bat[:oid,:chr], n:int) :bat[:oid,:chr] 
address PQtopn_chrmin
comment "Return the topn elements of the bat t using a min-pqueue";

command topn_min(t:bat[:void,:chr],n:int) :bat[:oid,:chr] 
address PQtopn_voidchrmin
comment "Return the topn elements of the bat t using a min-pqueue";



#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"

  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_max(h:bat[:oid,:chr], id:oid, value:chr) 
address PQenqueue_chrmax
comment "Inserts element (oid,chr) in the max-pqueue";

command topreplace_max(h:bat[:oid,:chr], id:oid, value:chr) 
address PQtopreplace_chrmax
comment "Replaces top element with input and updates max-pqueue";

command dequeue_max(h:bat[:oid,:chr]) 
address PQdequeue_chrmax
comment "Removes top element of the max-pqueue and updates it";

command topn_max(t:bat[:oid,:chr], n:int) :bat[:oid,:chr] 
address PQtopn_chrmax
comment "Return the topn elements of the bat t using a max-pqueue";

command topn_max(t:bat[:void,:chr],n:int) :bat[:oid,:chr] 
address PQtopn_voidchrmax
comment "Return the topn elements of the bat t using a max-pqueue";



#line 91 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"



#line 93 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"



#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_min(h:bat[:oid,:sht], id:oid, value:sht) 
address PQenqueue_shtmin
comment "Inserts element (oid,sht) in the min-pqueue";

command topreplace_min(h:bat[:oid,:sht], id:oid, value:sht) 
address PQtopreplace_shtmin
comment "Replaces top element with input and updates min-pqueue";

command dequeue_min(h:bat[:oid,:sht]) 
address PQdequeue_shtmin
comment "Removes top element of the min-pqueue and updates it";

command topn_min(t:bat[:oid,:sht], n:int) :bat[:oid,:sht] 
address PQtopn_shtmin
comment "Return the topn elements of the bat t using a min-pqueue";

command topn_min(t:bat[:void,:sht],n:int) :bat[:oid,:sht] 
address PQtopn_voidshtmin
comment "Return the topn elements of the bat t using a min-pqueue";



#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"

  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_max(h:bat[:oid,:sht], id:oid, value:sht) 
address PQenqueue_shtmax
comment "Inserts element (oid,sht) in the max-pqueue";

command topreplace_max(h:bat[:oid,:sht], id:oid, value:sht) 
address PQtopreplace_shtmax
comment "Replaces top element with input and updates max-pqueue";

command dequeue_max(h:bat[:oid,:sht]) 
address PQdequeue_shtmax
comment "Removes top element of the max-pqueue and updates it";

command topn_max(t:bat[:oid,:sht], n:int) :bat[:oid,:sht] 
address PQtopn_shtmax
comment "Return the topn elements of the bat t using a max-pqueue";

command topn_max(t:bat[:void,:sht],n:int) :bat[:oid,:sht] 
address PQtopn_voidshtmax
comment "Return the topn elements of the bat t using a max-pqueue";



#line 91 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"



#line 95 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"


#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_min(h:bat[:oid,:int], id:oid, value:int) 
address PQenqueue_intmin
comment "Inserts element (oid,int) in the min-pqueue";

command topreplace_min(h:bat[:oid,:int], id:oid, value:int) 
address PQtopreplace_intmin
comment "Replaces top element with input and updates min-pqueue";

command dequeue_min(h:bat[:oid,:int]) 
address PQdequeue_intmin
comment "Removes top element of the min-pqueue and updates it";

command topn_min(t:bat[:oid,:int], n:int) :bat[:oid,:int] 
address PQtopn_intmin
comment "Return the topn elements of the bat t using a min-pqueue";

command topn_min(t:bat[:void,:int],n:int) :bat[:oid,:int] 
address PQtopn_voidintmin
comment "Return the topn elements of the bat t using a min-pqueue";



#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"

  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_max(h:bat[:oid,:int], id:oid, value:int) 
address PQenqueue_intmax
comment "Inserts element (oid,int) in the max-pqueue";

command topreplace_max(h:bat[:oid,:int], id:oid, value:int) 
address PQtopreplace_intmax
comment "Replaces top element with input and updates max-pqueue";

command dequeue_max(h:bat[:oid,:int]) 
address PQdequeue_intmax
comment "Removes top element of the max-pqueue and updates it";

command topn_max(t:bat[:oid,:int], n:int) :bat[:oid,:int] 
address PQtopn_intmax
comment "Return the topn elements of the bat t using a max-pqueue";

command topn_max(t:bat[:void,:int],n:int) :bat[:oid,:int] 
address PQtopn_voidintmax
comment "Return the topn elements of the bat t using a max-pqueue";



#line 91 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"



#line 96 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"


#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
  
#line 42 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/kernel/pqueue.mx"
command enqueue_min(h:bat[:oid,:oid], id:oid, value:oid) 
address PQenqueue_oidmin
comment "Inserts element (oid,oid) in the min-pqueue";

command topreplace_min(h:bat[:oid,:oid], id:oid, value:oid) 
address PQtopreplace_oidmin
comment "Replaces top element with input and updates min-pqueue";

command dequeue_min(h:bat[:oid,:oid]) 
address PQdequeue_oidmin
comment "Removes top element of the min-pqueue and updates it";

command topn_min(t:bat[:oid,:oid], n:int) :bat[:oid,:oid] 
address PQtopn_oidmin
comment "Return the topn elements of the bat t using a min-pqueue";

command topn_min(t:bat[:void,:oid],n:int) :bat[:oid,:oid] 
address PQtopn_voidoidmin
comment "Return the topn elements of the bat t using a min-pqueue";