+
Point of view
All features
expanded class URL_VALIDITY
Summary
top
Direct parents
Insert list: ANY
Known children
Insert list: URL, XML_DTD_PARSER, XML_DTD_PUBLIC_REPOSITORY, XML_PARSER
Overview
top
Features
{ANY}
valid_url (a_url: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
True if the STRING represents a real URL (i.e. with a known protocol and a valid URI for that protocol)
require
  • a_url /= Void