I want to test some code that parses a string as a URL in order to separate the scheme/host/port from the path, dropping any queries or fragments. I used the hypothesis URL strategy in another project, and thought it would make a reasonable addition to rapid.

As for an API, the domain strategy takes arguments for maximum length (total characters) and maximum elements (total domain segments), which seems reasonable. If a user needed to enforce a minimum for either property, writing a Filter wouldn't be hard.

For the URL generator, I was thinking it should return a *url.URL. That gives users a nice interface for Maps and Filters to work with. Conceivably, someone might want a generator for invalid URLs, but I don't think url.URLs do any validation beyond url.Parse so I think that use-case can be satisfied with a Map.

So in very rough pseudocode:

func Domain(maxLength, maxElements int) *Generator // cast generated values to string

func URL() *Generator // cast generated values to *url.URL

I can't think of any customizations for URL generation or alternative generators that wouldn't be easily done via a Map or a Filter. Maybe a URL generator that took a slice of schemes to sample from for applications that only deal with http URLs?

Add URL and DomainName generators #17

Description

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions