C# Класс Microsoft.Automata.Z3.Internal.Escaper

Показать файл Открыть проект

Открытые методы

Метод Описание
Escape ( char c ) : string

Make an escaped string from a character
Escape ( string s ) : string

Make an escaped string from a string
EscapeHex ( int n ) : string

Приватные методы

Метод Описание
ToUnicodeRepr ( int i ) : string

Описание методов

Escape() публичный статический Метод

Make an escaped string from a character
public static Escape ( char c ) : string
c char
Результат string

Escape() публичный статический Метод

Make an escaped string from a string
public static Escape ( string s ) : string
s string
Результат string

EscapeHex() публичный статический Метод

public static EscapeHex ( int n ) : string
n int
Результат string