1# Copyright (c) 2011 Advanced Micro Devices, Inc. 2# All rights reserved. 3# 4# Redistribution and use in source and binary forms, with or without 5# modification, are permitted provided that the following conditions are 6# met: redistributions of source code must retain the above copyright 7# notice, this list of conditions and the following disclaimer; 8# redistributions in binary form must reproduce the above copyright 9# notice, this list of conditions and the following disclaimer in the 10# documentation and/or other materials provided with the distribution; 11# neither the name of the copyright holders nor the names of its 12# contributors may be used to endorse or promote products derived from 13# this software without specific prior written permission. 14# 15# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 16# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 17# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 18# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 19# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 20# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 21# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 22# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 23# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 24# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27from slicc.ast.TypeFieldAST import TypeFieldAST 28from slicc.symbols import Event, State 29 30class TypeFieldStateAST(TypeFieldAST): 31 def __init__(self, slicc, field_id, perm_ast, pairs_ast): 32 super(TypeFieldStateAST, self).__init__(slicc, pairs_ast) 33 34 self.field_id = field_id 35 self.perm_ast = perm_ast 36 if not (perm_ast.type_ast.ident == "AccessPermission"): 37 self.error("AccessPermission enum value must be specified") 38 self.pairs_ast = pairs_ast 39 40 def __repr__(self): 41 return "[TypeFieldState: %r]" % self.field_id 42 43 def generate(self, type): 44 if not str(type) == "State": 45 self.error("State Declaration must be of type State.") 46 47 # Add enumeration
|
49 self.error("Duplicate enumeration: %s:%s" % (type, self.field_id)) 50 51 # Fill machine info 52 machine = self.symtab.state_machine 53 54 if not machine: 55 self.error("State declaration not part of a machine.") 56 s = State(self.symtab, self.field_id, self.location, self.pairs) 57 machine.addState(s) 58 59 type.statePermPairAdd(s, self.perm_ast.value) 60 61
|