url.mal

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

#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 URLnew
comment "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):url
address 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";