Interface File


  • public interface File
    DSL functions for hydra.error.file
    • Method Detail

      • fileErrorAlreadyExists

        static TypedTerm<FileError> fileErrorAlreadyExists​(TypedTerm<FilePath> x)
        DSL injection for the alreadyExists variant of hydra.error.file.FileError
      • fileErrorFileError

        static TypedName<FileError> fileErrorFileError()
        DSL name token for hydra.error.file.FileError
      • fileErrorInvalidPath

        static TypedTerm<FileError> fileErrorInvalidPath​(TypedTerm<java.lang.String> x)
        DSL injection for the invalidPath variant of hydra.error.file.FileError
      • fileErrorOther

        static TypedTerm<FileError> fileErrorOther​(TypedTerm<java.lang.String> x)
        DSL injection for the other variant of hydra.error.file.FileError
      • fileErrorPermissionDenied

        static TypedTerm<FileError> fileErrorPermissionDenied​(TypedTerm<FilePath> x)
        DSL injection for the permissionDenied variant of hydra.error.file.FileError