📄 url.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 + -