file: add SIZE option

This commit adds the SIZE option to file(). It returns the file size of
the given path if it exists and produces an error if not.
This commit is contained in:
Wouter Klouwen
2018-11-20 10:17:33 +00:00
parent d851a8b457
commit 12b471e828
9 changed files with 69 additions and 0 deletions

View File

@@ -59,6 +59,7 @@ protected:
bool HandleTimestampCommand(std::vector<std::string> const& args);
bool HandleGenerateCommand(std::vector<std::string> const& args);
bool HandleLockCommand(std::vector<std::string> const& args);
bool HandleSizeCommand(std::vector<std::string> const& args);
private:
void AddEvaluationFile(const std::string& inputName,