Module move_command_line_common::files

Structs

FileHash

Result of sha256 hash of a file’s contents.

Constants

MOVE_COMPILED_EXTENSION

Extension for Move bytecode files

MOVE_COVERAGE_MAP_EXTENSION

Extension for coverage maps

MOVE_ERROR_DESC_EXTENSION

Extension for error description map for compiled releases

MOVE_EXTENSION

Extension for Move source language files

MOVE_IR_EXTENSION

Extension for Move IR files

SOURCE_MAP_EXTENSION

Extension for Move source map files (mappings from source to bytecode)

Functions

extension_equals

find_filenames

For each directory in paths, it will return all files that satisfy the predicate

Any file explicitly passed in paths, it will include that file in the result, regardless of the file extension

find_move_filenames

For each directory in paths, it will return all files with the MOVE_EXTENSION found recursively in that directory

If keep_specified_files any file explicitly passed in paths, will be added to the result Otherwise, they will be discarded

path_to_string

verify_and_create_named_address_mapping