file_os/set_normal

set_normal(path, on=true); - данная функция используется для изменения атрибута NORMAL у заданного файла

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

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

on – флаг наличия атрибута, при true, атрибут будет установлен, а при false - снят (boolean).

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

true – успешно изменили (boolean)

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

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

# Additional paths
import sys
sys.path.insert(0, '../../../Templates PY/')
 
xhe_host = "127.0.0.1:7010"
from xweb_human_emulator import *
 
# начало
echo("<hr><font color=blue>file_os.xxxxxxxxx</font><hr>")
 
# 1 
echo("1. Проверить атрибут 'normal' для файла : ")
echo(file_os.is_normal("test\\test1.txt"),"<br>")
 
# 2 
echo("2. Снять атрибут 'normal' для файла : ")
echo(file_os.set_normal("test\\test1.txt",false),"<br>")
 
# 3 
echo("3. Проверить атрибут 'normal' для файла : ")
if not file_os.is_normal("test\\test1.txt"):
    echo("not normal<br>")
 
# 4 
echo("4. Установить атрибут 'normal' для файла : ")
echo(file_os.set_normal("test\\test1.txt",true),"<br>")
 
# конец
echo("<hr><br>")
 
# Quit
app.quit()

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

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