tft_expr.py 文件源码

def __init__ (self, label, vtype, gid, check_prefix=True): 
        assert(isinstance(label, str))
        assert(vtype == int or vtype == Fraction)
        assert(type(gid) is int) 

        if (sys.version_info.major == 2): 
            sys.exit("Error: FPTuner is currently based on Python3 only...") 
            super(VariableExpr, self).__init__() 
        elif (sys.version_info.major == 3):
            super().__init__() 
        else:
            sys.exit("ERROR: not supported python version: " + str(sys.version_info)) 

        if (gid == PRESERVED_CONST_GID): 
            assert(label.startswith(PRESERVED_CONST_VPREFIX)) 

        self.vtype       = vtype 
        self.operands.append(label) 
        self.gid         = gid 

        if (check_prefix): 
            if (self.isPreservedVar()): 
                print("ERROR: the given label \"" + label + "\" has a preserved prefix...")
                assert(False) 

        RegisterVariableExpr(self)