ActionDeclAST.py revision 6999
1# Copyright (c) 1999-2008 Mark D. Hill and David A. Wood 2# Copyright (c) 2009 The Hewlett-Packard Development Company 3# All rights reserved. 4# 5# Redistribution and use in source and binary forms, with or without 6# modification, are permitted provided that the following conditions are 7# met: redistributions of source code must retain the above copyright 8# notice, this list of conditions and the following disclaimer; 9# redistributions in binary form must reproduce the above copyright 10# notice, this list of conditions and the following disclaimer in the 11# documentation and/or other materials provided with the distribution; 12# neither the name of the copyright holders nor the names of its 13# contributors may be used to endorse or promote products derived from 14# this software without specific prior written permission. 15# 16# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28from slicc.ast.DeclAST import DeclAST 29from slicc.symbols import Action, Type, Var 30 31class ActionDeclAST(DeclAST): 32 def __init__(self, slicc, ident, pairs, statement_list): 33 super(ActionDeclAST, self).__init__(slicc, pairs) 34 self.ident = ident 35 self.statement_list = statement_list 36 37 def __repr__(self): 38 return "[ActionDecl: %r]" % (self.ident) 39 40 def generate(self): 41 resources = {} 42 if self.statement_list: 43 # Add new local vars 44 self.symtab.pushFrame() 45 46 addr_type = self.symtab.find("Address", Type) 47 48 if addr_type is None: 49 self.error("Type 'Address' not declared.") 50 51 var = Var(self.symtab, "address", self.location, addr_type, 52 "addr", self.pairs) 53 self.symtab.newSymbol(var) 54 55 # Do not allows returns in actions 56 code = self.slicc.codeFormatter() 57 self.statement_list.generate(code, None) 58 self.pairs["c_code"] = str(code) 59 60 self.statement_list.findResources(resources) 61 62 self.symtab.popFrame() 63 64 machine = self.symtab.state_machine 65 if machine is None: 66 self.error("Action declaration not part of a machine.") 67 68 action = Action(self.symtab, self.ident, resources, self.location, 69 self.pairs) 70 machine.addAction(action) 71