# path

A structure representing a file to be used inside a repository.

## Members

- basename
- dirname
- exists
- get_child
- readdir
- realpath

## basename

    string path.basename

A string giving the basename of the file.

## dirname

    path path.dirname

The parent directory of this file, or None if this file does not have a parent. May return `None`.

## exists

    bool path.exists

Returns true if the file denoted by this path exists.

## get_child

    path path.get_child(*relative_paths)

Returns the path obtained by joining this path with the given relative paths.

### Parameters

Parameter | Description
--- | ---
`relative_paths` | required Zero or more relative path strings to append to this path with path separatorsadded as needed.

## readdir

    list path.readdir()

The list of entries in the directory denoted by this path.

## realpath

    path path.realpath

Returns the canonical path for this path by repeatedly replacing all symbolic links with their referents.