get_ext

get_ext(path)

Данная команда позволяет получить расширение файла (тип файла).

Команда на вход принимает параметры:
  • path – путь к файлу, расширение которого надо получить (string). Может быть как абсолютный так и относительный (относительно папки скрипта)
После отработки команда возвращает результат своей работы в робот:
  • имя - расширение заданного файла (string)
  • false - такого файла нет (boolean)



Примеры использования (php)

<?php $xhe_host = "127.0.0.1:5002";
 
// подключим функциональные объекты, если еще не подключен
if (!isset($path))
  $path="../../../Templates/init.php";
require($path);
 
// начало
echo "<hr><font color=blue>file_os->".basename (__FILE__)."</font><hr>";
 
// 1 
echo "1. Получить расширение файла: ";
echo $file_os->get_ext("test\\test1.txt")."<br>";
 
// конец
echo "<hr><br>";
 
// Quit
$app->quit();
?>

Примеры использования (cs)

#region using
 
using System;
using System.Diagnostics;
using System.Collections.Generic;
using System.Linq;
using System.IO;
using System.Text;
using System.Threading;
 
using XHE;
using XHE.XHE_DOM;
using XHE.XHE_System;
using XHE.XHE_Window;
using XHE.XHE_Web;
 
#endregion
 
 class Program:XHEScript
 {
	  static void Main(string[] args)
	  {
			// init XHE
			server="127.0.0.1:7010";
			InitXHE();
 
			// начало
			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>");
 
			app.quit();            
	  }
}

Примеры использования (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();

Примеры использования (py)

# 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()