urlbox.mal

来自「一个内存数据库的源代码这是服务器端还有客户端」· MAL 代码 · 共 77 行

MAL
77
字号
#line 24 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/mal/urlbox.mx"module urlboxcomment "The URL box provides fast access toa large collection of url strings based on avertical fragmented representation.";pattern open():voidaddress URLBOXopencomment "Locate and open the URL box";pattern close():voidaddress URLBOXclosecomment "Close the URL box ";pattern destroy():voidaddress URLBOXdestroycomment "Destroy the URL box";pattern take(u:str):oidaddress URLBOXtakecomment "Get a handle for the URL";pattern deposit(u:str):void 		address URLBOXdepositcomment "Enter a new url into the box";command depositFile(fnme:str):voidaddress URLBOXdepositFile;pattern releaseAll():void address URLBOXreleaseAllcomment "Release all elements from the box";pattern release(u:str):void 		address URLBOXreleasecomment "Release a single URL value";pattern release(u:int):void 		address URLBOXreleaseOidcomment "Release a single URL value";pattern toString(u:int):str address URLBOXtoStringcomment "Get the string representation of an element in the box";pattern discard(name:str):void 		address URLBOXdiscardcomment "Remove the URL from the box";pattern discard(name:int):void 		address URLBOXdiscardOidcomment "Remove the URL from the box";pattern discard():void 		address URLBOXdiscardAllcomment "Remove all URLs from the box";pattern newIterator()(:int,:str)address URLBOXnewIteratorcomment "Locate next element in the box";pattern hasMoreElements()(:int,:str)address URLBOXhasMoreElementscomment "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 URLBOXpreludecomment "Initialize the URL box";urlbox.prelude();

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?