Exemplos de feedback_from_xml em Python

Exemplo n.º 1

Arquivo: test_xmlprotocol.py Projeto: gloit042/vim-coqide

    def test_fb_processed(self):
        text = '''
<feedback object="state" route="0">
  <state_id val="42"/>
  <feedback_content val="processed"/>
</feedback>
'''
        xml = ET.fromstring(text)
        res = xp.feedback_from_xml(xml)
        self.assertEqual(res, {
            'type': 'processed',
            'state_id': xp.StateID(42),
            'content': {}
        })

Exemplo n.º 2

Arquivo: test_xmlprotocol.py Projeto: gloit042/vim-coqide

    def test_fb_fileloaded(self):
        text = '''
<feedback object="state" route="0">
  <state_id val="42"/>
  <feedback_content val="fileloaded">
    <string>Module</string>
    <string>Module.v</string>
  </feedback_content>
</feedback>
'''
        xml = ET.fromstring(text)
        res = xp.feedback_from_xml(xml)
        self.assertEqual(
            res, {
                'type': 'fileloaded',
                'state_id': xp.StateID(42),
                'content': {
                    'module': 'Module',
                    'vo_file_name': 'Module.v',
                }
            })

Exemplo n.º 3

Arquivo: test_xmlprotocol.py Projeto: gloit042/vim-coqide

    def test_fb_filedep_w_source(self):
        text = '''
<feedback object="state" route="0">
  <state_id val="42"/>
  <feedback_content val="filedependency">
    <option val="some"><string>s.v</string></option>
    <string>a.v</string>
  </feedback_content>
</feedback>
'''
        xml = ET.fromstring(text)
        res = xp.feedback_from_xml(xml)
        self.assertEqual(
            res, {
                'type': 'filedependency',
                'state_id': xp.StateID(42),
                'content': {
                    'dependency': 'a.v',
                    'source': xp.Some('s.v'),
                }
            })

Exemplo n.º 4

Arquivo: test_xmlprotocol.py Projeto: gloit042/vim-coqide

    def test_fb_errormsg(self):
        text = '''
<feedback object="state" route="0">
  <state_id val="42"/>
  <feedback_content val="errormsg">
    <loc start="3" stop="5"/>
    <string>Error</string>
  </feedback_content>
</feedback>
'''
        xml = ET.fromstring(text)
        res = xp.feedback_from_xml(xml)
        self.assertEqual(
            res, {
                'type': 'errormsg',
                'state_id': xp.StateID(42),
                'content': {
                    'loc': xp.Location(3, 5),
                    'message': xp.Message('error', 'Error')
                }
            })

Exemplo n.º 5

Arquivo: test_xmlprotocol.py Projeto: gloit042/vim-coqide

    def test_fb_message_noloc(self):
        text = '''
<feedback object="state" route="0">
  <state_id val="42"/>
  <feedback_content val="message">
    <message>
      <message_level val="info"/>
      <richpp>Message</richpp>
    </message>
  </feedback_content>
</feedback>
'''
        xml = ET.fromstring(text)
        res = xp.feedback_from_xml(xml)
        self.assertEqual(
            res, {
                'type': 'message',
                'state_id': xp.StateID(42),
                'content': {
                    'loc': None,
                    'message': xp.Message('info', 'Message'),
                }
            })

Exemplo n.º 6

Arquivo: test_xmlprotocol.py Projeto: gloit042/vim-coqide

    def test_fb_message(self):
        text = '''
<feedback object="state" route="0">
  <state_id val="42"/>
  <feedback_content val="message">
    <message>
      <message_level val="info"/>
      <option val="some"><loc start="3" stop="5"/></option>
      <richpp>Message</richpp>
    </message>
  </feedback_content>
</feedback>
'''
        xml = ET.fromstring(text)
        res = xp.feedback_from_xml(xml)
        self.assertEqual(
            res, {
                'type': 'message',
                'state_id': xp.StateID(42),
                'content': {
                    'loc': xp.Location(3, 5),
                    'message': xp.Message('info', 'Message')
                }
            })