Module move_command_line_common::files

Constants

• MOVE_COMPILED_EXTENSION
  Extension for Move bytecode files
• 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 predicateAny 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 directoryIf keep_specified_files any file explicitly passed in paths, will be added to the result Otherwise, they will be discarded
• path_to_string