file_os/get_ext

get_ext(path); - данная функция используется для получения расширения файла (тип файла)

Функция на вход принимает параметры:

path – путь к файлу, расширение которого надо получить (string). Может быть как абсолютный так и относительный (относительно папки скрипта).

После отработки функция возвращает результат своей работы в робот :

имя – расширение заданного файла (string)

false – такого файла нет (boolean)

Пример использования get_ext (Python):

# Additional paths
import sys
sys.path.insert(0, '../../../Templates PY/')
 
xhe_host = "127.0.0.1:7011"
from xweb_human_emulator import *
 
# начало
echo("<hr><font color=blue>file_os.xxxxxxxxx</font><hr>")
 
# 1 
echo("1. Получить расширение файла: ")
echo(file_os.get_ext("test\\test1.txt"),"<br>")
 
# конец
echo("<hr><br>")
 
# Quit
app.quit()

Пример использования get_ext (JS):

// подключим объект для управления эмулятором, если еще не подключен
xhe_host="127.0.0.1:7010";
echo=require("../../../Templates JS/init.js");
 
// начало
echo("<hr><font color=blue>file_os.get_ext</font><hr>");
 
// 1 шаг
echo("1. Получить расширение файла: ");
echo(file_os.get_ext("test\\test1.txt")+"<br>");
 
// конец
echo("<hr><br>");
 
// Quit
app.quit();