Esempio n. 1
0
        private string valToString(HVal val)
        {
            if (val == null)
            {
                return("");
            }

            if (val == HMarker.VAL)
            {
                return("\u2713");
            }

            if (val is HRef)
            {
                HRef   href = (HRef)val;
                string s    = "@" + href.val;
                if (href.disSet)
                {
                    s += " " + href.display();
                }
                return(s);
            }

            return(val.ToString());
        }