public void print(int l)
        {
            int i;

            m_strAst = "";
            print(l, "Spec");
            for (i = 0; i < m_paras.size(); i++)
                {
                ((AstBase) m_paras.get(i)).print(l + 1);
                }
        }