module Boleite::GUI::GridLayout::Contracts

Defined in:

boleite/gui/grid_layout.cr

Constant Summary

CLASS_DATA = ClassData(Boleite::GUI::GridLayout).new

CONTRACTED_METHODS = ["padding()", "padding=(padding)", "initialize(cells : Vector2i)", "max_children()", "on_state_change()", "arrange_child_widgets()"] of _

CONTRACTS = {} of _ => _

IGNORED_METHODS = ["finalize"] of _

INVARIANTS = [{"@children.size <= max_children", do @children.size <= max_children end}] of _

Class Method Summary

• .on_assert_fail(condition, type)
• .on_contract_fail(contract, condition, type, method)

Macro Summary

• add_contract(stage, str, &test)
• add_invariant(str, &test)
• ignore_method(method)

Class Method Detail

Macro Detail