def __init__(self, _type_proxy, variable_proxy):
self.type = _type_proxy.get()
HBox.__init__(self, List([
make_label(style.paren, '('),
make_label(style.type_, '*'),
PostTypeWidgetMaker.make(self.type.pointed_type, variable_proxy),
make_label(style.paren, ')'),
]))
self.is_centered = True
def __init__(self, _type_proxy, variable_proxy):
self.type = _type_proxy.get()
HBox.__init__(self, List([
make_label(style.paren, '('),
PostTypeWidgetMaker.make(self.type.element_type, variable_proxy),
make_label(style.bracket, '['),
NormalWidgetMaker.make(self.type.size),
make_label(style.bracket, ']'),
make_label(style.paren, ')'),
]))
self.is_centered = True
def __init__(self, function_type_proxy, variable_proxy):
self.function_type = function_type_proxy.get()
comma = make_label(style.comma, ', ')
self.parameters_widget = HBox(CacheMap(DeclarationWidgetMaker.make,
self.function_type.parameters))
self.parameters_widget.padding_widget = comma
self.parameters_widget.is_centered = True
HBox.__init__(self, List([
PostTypeWidgetMaker.make(self.function_type.return_type, variable_proxy),
make_label(style.paren, '('),
self.parameters_widget,
make_label(style.paren, ')'),
]))
