abstract class Boleite::Random

Included Modules

Direct Known Subclasses

Defined in:

boleite/random.cr

Constructors

Instance Method Summary

Macro Summary

Constructor Detail

def self.new(seed) #

[View source]

Instance Method Detail

def contract_ensures_get_int(return_value, min, max) #

[View source]
def contract_post_get_int(check_depth, return_value, min, max) #

[View source]
def contract_pre_get_int(check_depth, min, max) #

[View source]
def contract_requires_get_int(min, max) #

[View source]
def get_int(min, max) : UInt32 #

[View source]
def get_int : UInt32 #

[View source]
def get_zero_to_one : Float64 #

[View source]
def rand(max : Int) : Int #

Method used by standard library


[View source]
def seed #

def test_invariant_contracts(method = "") #

[View source]

Macro Detail

macro assert(test) #

[View source]
macro ensures(test) #

[View source]
macro invariant(test) #

[View source]
macro requires(test) #

[View source]