⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 url.mal

📁 一个内存数据库的源代码这是服务器端还有客户端
💻 MAL
字号:
#line 44 "/export/scratch0/monet/monet.GNU.64.64.d.14791/MonetDB5/src/modules/atoms/url.mx"module url;atom url:str;command url(s:str):url address URLnewcomment "Create an URL from a string literal";command getAnchor(u:url) :str        address URLgetAnchor comment "Extract the URL anchor (reference)";command getBasename(u:url) :str        address URLgetBasename comment "Extract the URL base file name";command getContent(u:url)   :str        address URLgetContent comment "Get the URL resource in a local file";command getContext(u:url)   :str        address URLgetContext comment "Get the path context of a URL ";command getDirectory(u:url) :bat[:int,:str]  address URLgetDirectory comment "Extract directory names from the URL";command getDomain(u:url) :str        address URLgetDomain comment "Extract Internet domain from the URL";command getExtension(u:url) :str        address URLgetExtension comment "Extract the file extension of the URL";command getFile(u:url) :str        address URLgetFile comment "Extract the last file name of the URL";command getHost(u:url)   :str        address URLgetHost comment "Extract the server name from the URL";command getPort(u:url) :str        address URLgetPort comment "Extract the port id from the URL";command getProtocol(u:url) :str        address URLgetProtocol comment "Extract the protocol from the URL";command getQuery(u:url) :str        address URLgetQuery comment "Extract the query string from the URL";command getQueryArg(u:url) :bat[:str,:str]  address URLgetQueryArg comment "Extract argument mappings from the URL";command getUser(u:url) :str        address URLgetUser comment "Extract the user identity from the URL";command getRobotURL(u:url) :str        address URLgetRobotURL comment "Extract the location of the robot 	control file";command isaURL(u:url)   :bit        address URLisaURL comment "Check conformity of the URL syntax";command new(p:str,h:str,prt:int,f:str):url        address URLnew4 comment "Construct URL from protocol, host,	port,and file";command new(prot:str,host:str,fnme:str):urladdress URLnew3 comment "Construct URL from protocol, host,and file";command fromstr():url address URLfromString	comment "Convert a string to an url. ";command tostr():str address URLtoString	comment "Convert url to string equivalent";

⌨️ 快捷键说明

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