C# Class Microsoft.Automata.Z3.Internal.Escaper

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Méthode Description
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

Private Methods

Méthode Description
ToUnicodeRepr ( int i ) : string

Method Details

Escape() public static méthode

Make an escaped string from a character
public static Escape ( char c ) : string
c char
Résultat string

Escape() public static méthode

Make an escaped string from a string
public static Escape ( string s ) : string
s string
Résultat string

EscapeHex() public static méthode

public static EscapeHex ( int n ) : string
n int
Résultat string