# Path: axiom/attributes.py
# LARGEST_NEGATIVE = -(2 ** 63)
# 
# LARGEST_POSITIVE = (2 ** 63)-1


from epsilon.extime import Time
from hypothesis import strategies as st
from axiom.attributes import LARGEST_NEGATIVE, LARGEST_POSITIVE
"""
Hypothesis strategies for generating Axiom-related data.
"""




def axiomText(*a, **kw):
    """
    Strategy for generating Axiom-compatible text values.
    """
    return st.text(
        alphabet=st.characters(
            blacklist_categories={'Cs'},
            blacklist_characters={'\x00'}),
        *a, **kw)


def textlists():
    """
    Strategy for generating lists storable with L{axiom.attributes.textlist}.
    """
    return st.lists(st.text(
        alphabet=st.characters(
            blacklist_categories={'Cs'},
            blacklist_characters={'\x00', '\x02', '\x1f'})))




# Path: axiom/attributes.py
# LARGEST_NEGATIVE = -(2 ** 63)
# 
# LARGEST_POSITIVE = (2 ** 63)-1


# Path: axiom/test/strategies.py
from epsilon.extime import Time
from hypothesis import strategies as st
from axiom.attributes import LARGEST_NEGATIVE, LARGEST_POSITIVE

"""
Hypothesis strategies for generating Axiom-related data.
"""




def axiomText(*a, **kw):
    """
    Strategy for generating Axiom-compatible text values.
    """
    return st.text(
        alphabet=st.characters(
            blacklist_categories={'Cs'},
            blacklist_characters={'\x00'}),
        *a, **kw)


def textlists():
    """
    Strategy for generating lists storable with L{axiom.attributes.textlist}.
    """
    return st.lists(st.text(
        alphabet=st.characters(
            blacklist_categories={'Cs'},
            blacklist_characters={'\x00', '\x02', '\x1f'})))




def axiomIntegers(minValue=LARGEST_NEGATIVE, maxValue=LARGEST_POSITIVE):