def visit_checker_messages_in_state(self, s, prev_s=None):
    m = s.checker_messages
    prev_m = (prev_s.checker_messages if (prev_s is not None) else None)
    if ((m is None) and (prev_m is None)):
        return
    self._dump('<hr />')
    self._dump('<tr><td align="left"><b>Checker State: </b>')
    if (m is None):
        self._dump('<i> Nothing!</i>')
    elif (prev_m is not None):
        if m.is_different(prev_m):
            self._dump('</td></tr><tr><td align="left">')
            self.visit_checker_messages(m, prev_m)
        else:
            self._dump('<i> No changes!</i>')
    else:
        self._dump('</td></tr><tr><td align="left">')
        self.visit_checker_messages(m)
    self._dump('</td></tr>')
def visit_checker_messages_in_state(self, s, prev_s=None):
    m = s.checker_messages
    prev_m = (prev_s.checker_messages if (prev_s is not None) else None)
    if ((m is None) and (prev_m is None)):
        return
    self._dump('<hr />')
    self._dump('<tr><td align="left"><b>Checker State: </b>')
    if (m is None):
        self._dump('<i> Nothing!</i>')
    elif (prev_m is not None):
        if m.is_different(prev_m):
            self._dump('</td></tr><tr><td align="left">')
            self.visit_checker_messages(m, prev_m)
        else:
            self._dump('<i> No changes!</i>')
    else:
        self._dump('</td></tr><tr><td align="left">')
        self.visit_checker_messages(m)
    self._dump('</td></tr>')