1 /********************************************************************/ 2 /* */ 3 /* s7 Seed7 interpreter */ 4 /* Copyright (C) 1990 - 2005 Thomas Mertes */ 5 /* */ 6 /* This program is free software; you can redistribute it and/or */ 7 /* modify it under the terms of the GNU General Public License as */ 8 /* published by the Free Software Foundation; either version 2 of */ 9 /* the License, or (at your option) any later version. */ 10 /* */ 11 /* This program is distributed in the hope that it will be useful, */ 12 /* but WITHOUT ANY WARRANTY; without even the implied warranty of */ 13 /* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */ 14 /* GNU General Public License for more details. */ 15 /* */ 16 /* You should have received a copy of the GNU General Public */ 17 /* License along with this program; if not, write to the */ 18 /* Free Software Foundation, Inc., 51 Franklin Street, */ 19 /* Fifth Floor, Boston, MA 02110-1301, USA. */ 20 /* */ 21 /* Module: Library */ 22 /* File: seed7/src/cmdlib.h */ 23 /* Changes: 1994 Thomas Mertes */ 24 /* Content: Primitive actions for various system commands. */ 25 /* */ 26 /********************************************************************/ 27 28 objectType cmd_big_filesize (listType arguments); 29 objectType cmd_chdir (listType arguments); 30 objectType cmd_clone_file (listType arguments); 31 objectType cmd_config_value (listType arguments); 32 objectType cmd_copy_file (listType arguments); 33 objectType cmd_environment (listType arguments); 34 objectType cmd_filemode (listType arguments); 35 objectType cmd_filesize (listType arguments); 36 objectType cmd_filetype (listType arguments); 37 objectType cmd_filetype_sl (listType arguments); 38 objectType cmd_getcwd (listType arguments); 39 objectType cmd_getenv (listType arguments); 40 objectType cmd_get_atime (listType arguments); 41 objectType cmd_get_ctime (listType arguments); 42 objectType cmd_get_group (listType arguments); 43 objectType cmd_get_mtime (listType arguments); 44 objectType cmd_get_owner (listType arguments); 45 objectType cmd_get_search_path (listType arguments); 46 objectType cmd_home_dir (listType arguments); 47 objectType cmd_ls (listType arguments); 48 objectType cmd_mkdir (listType arguments); 49 objectType cmd_move (listType arguments); 50 objectType cmd_readlink (listType arguments); 51 objectType cmd_remove_file (listType arguments); 52 objectType cmd_remove_tree (listType arguments); 53 objectType cmd_setenv (listType arguments); 54 objectType cmd_set_atime (listType arguments); 55 objectType cmd_set_filemode (listType arguments); 56 objectType cmd_set_group (listType arguments); 57 objectType cmd_set_mtime (listType arguments); 58 objectType cmd_set_owner (listType arguments); 59 objectType cmd_set_search_path (listType arguments); 60 objectType cmd_shell (listType arguments); 61 objectType cmd_shell_escape (listType arguments); 62 objectType cmd_symlink (listType arguments); 63 objectType cmd_to_os_path (listType arguments); 64 objectType cmd_unsetenv (listType arguments); 65