urlbox.mal

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

#line 24 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/mal/urlbox.mx"
module urlbox
comment "The URL box provides fast access to
a large collection of url strings based on a
vertical fragmented representation.";

pattern open():void
address URLBOXopen
comment "Locate and open the URL box";
pattern close():void
address URLBOXclose
comment "Close the URL box ";
pattern destroy():void
address URLBOXdestroy
comment "Destroy the URL box";
pattern take(u:str):oid
address URLBOXtake
comment "Get a handle for the URL";
pattern deposit(u:str):void 		
address URLBOXdeposit
comment "Enter a new url into the box";
command depositFile(fnme:str):void
address URLBOXdepositFile;

pattern releaseAll():void 
address URLBOXreleaseAll
comment "Release all elements from the box";
pattern release(u:str):void 		
address URLBOXrelease
comment "Release a single URL value";
pattern release(u:int):void 		
address URLBOXreleaseOid
comment "Release a single URL value";

pattern toString(u:int):str 
address URLBOXtoString
comment "Get the string representation of an element in the box";

pattern discard(name:str):void 		
address URLBOXdiscard
comment "Remove the URL from the box";
pattern discard(name:int):void 		
address URLBOXdiscardOid
comment "Remove the URL from the box";
pattern discard():void 		
address URLBOXdiscardAll
comment "Remove all URLs from the box";

pattern newIterator()(:int,:str)
address URLBOXnewIterator
comment "Locate next element in the box";
pattern hasMoreElements()(:int,:str)
address URLBOXhasMoreElements
comment "Locate next element in the box";

command getLevel(i:int):bat[:int,:str]
address URLBOXgetLevel;

command getNames():bat[:int,:str]
address URLBOXgetNames;
command getCount():bat[:int,:lng]
address URLBOXgetCount;
command getCardinality():bat[:int,:lng]
address URLBOXgetCardinality;
command getSize():bat[:int,:lng]
address URLBOXgetSize;


#line 90 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/mal/urlbox.mx"
pattern prelude():void 
address URLBOXprelude
comment "Initialize the URL box";

urlbox.prelude();