def xpr_list_list(self, ix: int) -> XprListList:
if ix > 0:
return xprregistry.mk_instance(
self, self.xpr_list_list_table.retrieve(ix), XprListList)
else:
raise UF.CHBError("Illegal index value for expression list list: "
+ str(ix))
def bound(self, ix: int) -> XBound:
if ix > 0:
return xprregistry.mk_instance(
self, self.bound_table.retrieve(ix), XBound)
else:
raise UF.CHBError("Illegal index value for bound: " + str(ix))
def xpr(self, ix: int) -> XXpr:
if ix > 0:
return xprregistry.mk_instance(
self, self.xpr_table.retrieve(ix), XXpr)
else:
raise UF.CHBError("Illegal index value for expression: " + str(ix))
def xcst(self, ix: int) -> XConstant:
if ix > 0:
return xprregistry.mk_instance(
self, self.xcst_table.retrieve(ix), XConstant)
else:
raise UF.CHBError("Illegal index value for constant: " + str(ix))