Jira (PUP-8128) Add URI data type

[Thomas Hallgren (JIRA)]

Title: Message Title

Thomas Hallgren created an issue   Puppet / PUP-8128 Add URI data type Issue Type: New Feature Assignee: Thomas Hallgren Created: 2017/11/07 10:14 AM Fix Versions: PUP 5.4.0 Priority: Normal Reporter: Thomas Hallgren A new URI parameterized data type should be added. The type is described as: type IntegerParameter = Variant[Type[Init[Integer]],Type[Undef],Type[NotUndef]] type StringParameter = Variant[String,Regexp,Type[Enum],Type[Pattern],Type[Undef],Type[NotUndef]] type URI = Object[ type_parameters => { 'scheme' => StringParameter, 'user_info' => StringParameter, 'host' => StringParameter, 'port' => IntegerParameter, 'path' => StringParameter, 'query' => StringParameter, 'fragment' => StringParameter, 'opaque' => StringParameter, }, attributes => { 'scheme' => String, 'user_info' => { type => Optional[String], value => undef }, 'host' => { type => Optional[String], value => undef }, 'port' => { type => Optional[Integer[0,default]], value => undef }, 'path' => { type => Optional[String], value => undef }, 'query' => { type => Optional[String], value => undef }, 'fragment' => { type => Optional[String], value => undef }, 'opaque' => { type => Optional[String], value => undef }, } ] and 'opaque' is mutually exclusive to all other attributes except 'scheme'. An instance can be assembled from the individual parts (provided as a hash) or parsed from a string and make the parts available as instance attributes. The URI data type is parameterized so that it can constrain both what parts may or may not contain and what those parts in turn must match. Since the parts are well known by name, e.g.: hierarchical ┌───────────────────┴─────────────────────┐ authority path ┌───────────────┴───────────────┐┌───┴────┐ abc://username:passw...@example.com:123/path/data?key=value&key2=value2#fragid1 └┬┘ └───────┬───────┘ └────┬────┘ └┬┘ └─────────┬─────────┘ └──┬──┘ scheme userinfo host port query fragment   urn:example:mammal:monotreme:echidna └┬┘ └──────────────┬───────────────┘ scheme opaque it is possible to describe a parameterized URI as taking one parameter described as: Variant[ String[1], Hash[ Enum[scheme,userinfo,host,port,path,query,fragment,opaque], Variant[Regexp,String,Type[Enum],Type[Pattern],Type[Undef],Type[NotUndef]]]] A missing field indicates that the field is unconstrained. Examples: Allow any http/https URI without query or fragments (scheme comparisons must always be case-insensitive): URI[scheme => Enum[http,https,true], query => Undef, fragment => Undef] Require that the URI has an absolute path: URI[path => /^\// ] or conversely, require it to be relative: URI[path => /^[^/]/ ] and, as described in the initial proposal, it's still possible to constrain by using a string. Here, the URI is constrained by 'scheme' and 'host': URI['http://forge.puppet.com'] Add Comment   This message was sent by Atlassian JIRA (v7.0.2#70111-sha1:88534db) -- You received this message because you are subscribed to the Google Groups "Puppet Bugs" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-bugs+unsubscr...@googlegroups.com. To post to this group, send email to puppet-bugs@googlegroups.com. Visit this group at https://groups.google.com/group/puppet-bugs. For more options, visit https://groups.google.com/d/optout.