

def __init__(self, documentElement=None):
    Node.__init__(self)
    if documentElement:
        self.appendChild(documentElement)

dataset/ETHPy150Open kuri65536/python-for-android/python-modules/twisted/twisted/web/microdom.py Document.__init__/original