module Boleite::Private::GLFW::Contracts

Defined in:

boleite/backend/glfw_backend.cr

Constant Summary

CLASS_DATA = ClassData(Boleite::Private::GLFW).new
CONTRACTED_METHODS = ["initialize()", "is_initialized?()", "create_graphics(config : BackendConfiguration)", "default_config()", "poll_event()", "default_video_mode(mode)", "safe_call()", "create_graphics_context(surface, config : BackendConfiguration)", "create_opengl_context(surface, config : BackendConfiguration)", "create_vulkan_context(surface, config : BackendConfiguration)", "setup_main_target_settings(config : BackendConfiguration)", "setup_opengl_settings(config : BackendConfiguration)", "setup_refresh_rate(config : BackendConfiguration)", "setup_rendering_settings(config)", "setup_window_settings(config)", "create_surface(video_mode)"] of _
CONTRACTS = {:next_def => nil, def create_graphics(config : BackendConfiguration) : GraphicsContext setup_main_target_settings(config) native = create_surface(config.video_mode) GLFWInput.bind_callbacks(native) @primary_surface = GLFWSurface.new(native) create_graphics_context(@primary_surface, config) end => [{:requires, "config.gfx == BackendConfiguration::GfxType::OpenGL", do config.gfx == BackendConfiguration::GfxType::OpenGL end}]} of _ => _
IGNORED_METHODS = ["finalize", "contract_pre_create_graphics", "contract_post_create_graphics", "contract_requires_create_graphics", "contract_ensures_create_graphics"] of _
INVARIANTS = [] of _

Class Method Summary

Macro Summary

Class Method Detail

def self.on_assert_fail(condition, type) #

[View source]
def self.on_contract_fail(contract, condition, type, method) #

[View source]

Macro Detail

macro add_contract(stage, str, &test) #

[View source]
macro add_invariant(str, &test) #

[View source]
macro ignore_method(method) #

[View source]