def parseSuccessorString(self,string):
successor = ParametricString()
successor.setGlobals(self.globalDefines)
successor.parseString(string)
return successor
def parsePredecessorString(self,string):
predecessorPString = ParametricString()
predecessorPString.setGlobals(self.globalDefines)
predecessorPString.parseString(string) # TODO: Maybe this predecessor should be treated as a 1-module string for consistency, instead of a module?
assert len(predecessorPString) == 1, 'The predecessor must contain only one module!'
return predecessorPString[0] # Only one
