コード例 #1
0
        // Encode as "@<id> [dis]"
        public override string toZinc()
        {
            StringBuilder s = new StringBuilder();

            s.Append('@');
            s.Append(val);
            if (m_dis != null)
            {
                s.Append(' ');
                HStr.toZinc(ref s, m_dis);
            }
            return(s.ToString());
        }
コード例 #2
0
 // Convenience for <code>add(name, HStr.make(val))</code>
 public HDictBuilder add(string name, string val)
 {
     return(add(name, HStr.make(val)));
 }