xmlInterface.py 文件源码

python
阅读 26 收藏 0 点赞 0 评论 0

项目:Coqtail 作者: whonore 项目源码 文件源码
def query(self, cmd, state, *args, **kwargs):
        """Create an XML string for the 'interp' command."""
        # Attrs:
        #   raw - ?
        #   bool - Verbose output
        #   int - The current state id
        # Args:
        #   string - The query to evaluate
        elt = ET.Element('call', {'val': 'interp',
                                  'raw': 'true',
                                  'verbose': 'true',
                                  'id': str(state)})
        elt.text = cmd
        return ('Query',
                ET.tostring(elt,
                            kwargs.get('encoding', 'utf-8')))
评论列表
文章目录


问题


面经


文章

微信
公众号

扫码关注公众号