16657Snate@binkert.org# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 26657Snate@binkert.org# Copyright (c) 2009 The Hewlett-Packard Development Company 36657Snate@binkert.org# All rights reserved. 46657Snate@binkert.org# 56657Snate@binkert.org# Redistribution and use in source and binary forms, with or without 66657Snate@binkert.org# modification, are permitted provided that the following conditions are 76657Snate@binkert.org# met: redistributions of source code must retain the above copyright 86657Snate@binkert.org# notice, this list of conditions and the following disclaimer; 96657Snate@binkert.org# redistributions in binary form must reproduce the above copyright 106657Snate@binkert.org# notice, this list of conditions and the following disclaimer in the 116657Snate@binkert.org# documentation and/or other materials provided with the distribution; 126657Snate@binkert.org# neither the name of the copyright holders nor the names of its 136657Snate@binkert.org# contributors may be used to endorse or promote products derived from 146657Snate@binkert.org# this software without specific prior written permission. 156657Snate@binkert.org# 166657Snate@binkert.org# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 176657Snate@binkert.org# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 186657Snate@binkert.org# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 196657Snate@binkert.org# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 206657Snate@binkert.org# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 216657Snate@binkert.org# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 226657Snate@binkert.org# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 236657Snate@binkert.org# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 246657Snate@binkert.org# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 256657Snate@binkert.org# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 266657Snate@binkert.org# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 276657Snate@binkert.org 286657Snate@binkert.orgfrom m5.util.code_formatter import code_formatter 296657Snate@binkert.org 306657Snate@binkert.orgclass tex_formatter(code_formatter): 316657Snate@binkert.org braced = "<>" 326657Snate@binkert.org double_braced = "<<>>" 336657Snate@binkert.org 346657Snate@binkert.orgdef printTexTable(sm, code): 356657Snate@binkert.org tex = tex_formatter() 366657Snate@binkert.org tex(r''' 376657Snate@binkert.org%& latex 386657Snate@binkert.org\documentclass[12pt]{article} 396657Snate@binkert.org\usepackage{graphics} 406657Snate@binkert.org\begin{document} 416657Snate@binkert.org\begin{tabular}{|l||$<<"l" * len(sm.events)>>|} \hline 426657Snate@binkert.org''') 436657Snate@binkert.org 446657Snate@binkert.org for event in sm.events: 456657Snate@binkert.org code(r" & \rotatebox{90}{$<<event.short>>}") 466657Snate@binkert.org tex(r'\\ \hline \hline') 476657Snate@binkert.org 486657Snate@binkert.org for state in sm.states: 496657Snate@binkert.org state_str = state.short 506657Snate@binkert.org for event in sm.events: 516657Snate@binkert.org state_str += ' & ' 526657Snate@binkert.org trans = sm.get_transition(state, event) 536657Snate@binkert.org if trans: 546657Snate@binkert.org actions = trans.getActionShorthands() 556657Snate@binkert.org # FIXME: should compare index, not the string 566657Snate@binkert.org if trans.getNextStateShorthand() != state.short: 576657Snate@binkert.org nextState = trans.getNextStateShorthand() 586657Snate@binkert.org else: 596657Snate@binkert.org nextState = "" 606657Snate@binkert.org state_str += actions 616657Snate@binkert.org if nextState and actions: 626657Snate@binkert.org state_str += '/' 636657Snate@binkert.org state_str += nextState 646657Snate@binkert.org tex(r'$0 \\', state_str) 656657Snate@binkert.org tex(r''' 666657Snate@binkert.org\hline 676657Snate@binkert.org\end{tabular} 686657Snate@binkert.org\end{document} 696657Snate@binkert.org''') 706657Snate@binkert.org 716657Snate@binkert.org code.append(tex) 72