def __init__ (self, **settings): SimpleList.__init__(self, key='platform', classname='testbedlist', **settings)
def __init__ (self, **settings): SimpleList.__init__(self, key='slice.slice_hrn', classname='slicelist', **settings)
def __init__(self, **settings): SimpleList.__init__(self, key='platform', classname='testbedlist', **settings)