Microsoft.Automata.RegexToSMTConverter.ToBitVectorRepr16 C# (CSharp) Méthode

        static string ToBitVectorRepr16(int i)
        {
            string s = string.Format("{0:X}", i);
            if (s.Length == 1)
                s = "#x000" + s;
            else if (s.Length == 2)
                s = "#x00" + s;
            else if (s.Length == 3)
                s = "#x0" + s;
            else
                s = "#x" + s;
            return s;
        }