Skip to content

Need a clean API to distinguish directories from other files #4480

Closed
@gramster

Description

@gramster

As far as I can see, we have no good API that, given a path (as a Path or as a String), will tell whether the object being referred to is a directory or a regular file.

This seems related to issue #2883. I would argue that relying on something like File.exists is a poor substitute, as directories are files after all. Furthermore, we may want to identify other types of files (like device nodes, named pipes, etc).

Metadata

Metadata

Assignees

No one assigned

    Labels

    area-core-librarySDK core library issues (core, async, ...); use area-vm or area-web for platform specific libraries.library-iotype-enhancementA request for a change that isn't a bug

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions