@property
    def dotname(self):
        path = os.path.normpath(self.path)
        path = os.path.splitext(path)[0]
        return path.replace(os.path.sep, '.')
Returns a pdef file name without an extension with dots instead of separators.
dataset/ETHPy150Open pdef/pdef/compiler/pdefc/lang.py/File.dotname