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

Show file Open project: AutomataDotNet/Automata

Public Methods

Method 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

Method Description
ToUnicodeRepr ( int i ) : string

Method Details

Escape() public static method

Make an escaped string from a character
public static Escape ( char c ) : string
c char
return string

Escape() public static method

Make an escaped string from a string
public static Escape ( string s ) : string
s string
return string

EscapeHex() public static method

public static EscapeHex ( int n ) : string
n int
return string