FileProblems (api API)

All Superinterfaces:: ProblemFactory

public interface FileProblems extends ProblemFactory

Factory for producing problems that involve a specific file, e.g. can't open file, bad format, etc.

See Also:

for more similar problems - they should probably be merged and all the file problems can accept URI args ( as long as we have some decent logic for displaying relative and file uris)

Method Summary

Modifier and Type

Method

Description

Problem

backslashesNotAllowedInUris(String badUri)

An error when a uri value is specified and backslashes are found that can't be soundly converted to forward slashes

Problem

badUri(String givenURI, String underlyingReason)

An otherwise bad URI, typically because URI.create threw a URISyntaxException

Problem

cantWriteTo(Path filepath)

Produces an error like: Could not write to

static FileProblems

get()

Problem

unsupportedFormat(File file)

Produces an error like: is in an unsupported format

Method Details
- get
  
  static FileProblems get()
- unsupportedFormat
  
  Problem unsupportedFormat(File file)
  
  Produces an error like: is in an unsupported format
- cantWriteTo
  
  Problem cantWriteTo(Path filepath)
  
  Produces an error like: Could not write to
- backslashesNotAllowedInUris
  
  Problem backslashesNotAllowedInUris(String badUri)
  
  An error when a uri value is specified and backslashes are found that can't be soundly converted to forward slashes
- badUri
  
  Problem badUri(String givenURI, String underlyingReason)
  
  An otherwise bad URI, typically because URI.create threw a URISyntaxException