def __init__(self, head):
        self.name = 'Interval-%s' % head.name
        self.content = set([head])
        self.end = None
        self.head = head
        self.in_catch = head.in_catch
        head.interval = self
dataset/ETHPy150Open AndroBugs/AndroBugs_Framework/tools/modified/androguard/decompiler/dad/node.py/Interval.__init__/original