# -*- coding: utf-8 -*- # # AWL simulator - labels # # Copyright 2012-2014 Michael Buesch # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License along # with this program; if not, write to the Free Software Foundation, Inc., # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. # from __future__ import division, absolute_import, print_function, unicode_literals from awlsim.common.compat import * from awlsim.core.parser import * from awlsim.core.operators import * from awlsim.core.util import * class AwlLabel(object): """AWL label.""" __slots__ = ( "insn", "label", ) def __init__(self, insn, label): self.insn = insn self.label = label def getLabelName(self): return self.label def getInsn(self): return self.insn @classmethod def resolveLabels(cls, insns): # Build the label table labels = [] for i, insn in enumerate(insns): rawInsn = insn.getRawInsn() if not rawInsn or not rawInsn.hasLabel(): continue for label in labels: if label.getLabelName() == rawInsn.getLabel(): raise AwlSimError("Duplicate label '%s' found. " "Label names have to be unique in a code block." %\ rawInsn.getLabel(), insn = insn) labels.append(cls(insn, rawInsn.getLabel())) # Resolve label references for insn in insns: for op in insn.ops: if op.type != AwlOperator.LBL_REF: continue labelIndex = cls.findInList(labels, op.value) if labelIndex is None: raise AwlSimError("Referenced label not found", insn = insn) op.setLabelIndex(labelIndex) return labels @classmethod def findInList(cls, labelList, label): for i, lbl in enumerate(labelList): if lbl.getLabelName() == label: return i return None