Python hexidの例

コード例 #1

ファイル: hm.py プロジェクト: maxime-tournier/slip

    def show(self, env=None, paren=False):
        env = env or label(self.free_variables(self.depth))

        try:
            res = "'{0}".format(env[self])

            if tool.DEBUG > 1:
                res += " ({0}, {1})".format(tool.hexid(self), self.depth)

            return res
        except:
            return str(self)

コード例 #2

ファイル: row.py プロジェクト: maxime-tournier/slip

    def show(self, env=None, paren=False):
        if tool.DEBUG > 1:
            return "... ({0}, {1})".format(tool.hexid(self), self.depth)

        return "..."