Index

_

__repr__() (contracts.Contract method)

__str__() (contracts.Contract method)

A

add_contract() (in module contracts.syntax) add_keyword() (in module contracts.syntax) add_prefix() (in module contracts.interface) all_disabled() (in module contracts.enabling) And (class in contracts.library.compositions) annotations (contracts.backported.FullArgSpec attribute) AnsiString (class in contracts.library.strings) Any (class in contracts.library.dummy) Arg (class in contracts.docstring_parsing)

args (contracts.backported.FullArgSpec attribute) Array (class in contracts.library.array) ArrayAnd (class in contracts.library.array_ops) ArrayConstraint (class in contracts.library.array_ops) ArrayElementsTest (class in contracts.library.array_ops) ArrayLogical (class in contracts.library.array_ops) ArrayOR (class in contracts.library.array_ops) ArrayTest (class in contracts.testing.array_extended_test)

B

Binary (class in contracts.library.arithmetic) BindVariable (class in contracts.library.variables)

blend_function() (in module contracts.testing.array_extended_test)

C

can_accept_exactly_one_argument() (in module contracts.main) can_accept_self_plus_one_argument() (in module contracts.main) can_be_used_as_a_type() (in module contracts.main) check() (contracts.Contract method) (contracts.interface.Contract method) (in module contracts) (in module contracts.main) check_contract() (contracts.interface.Contract method) (contracts.library.array.Array method) (contracts.library.array.Shape method) (contracts.library.array.ShapeContract method) (contracts.library.array_ops.ArrayElementsTest method) (contracts.library.comparison.CheckOrder method) (contracts.library.compositions.And method) (contracts.library.compositions.OR method) (contracts.library.dicts.Dict method) (contracts.library.dummy.Any method) (contracts.library.dummy.Never method) (contracts.library.extensions.CheckCallable method) (contracts.library.extensions.CheckCallableWithSelf method) (contracts.library.extensions.Extension method) (contracts.library.lists.List method) (contracts.library.map.Map method) (contracts.library.separate_context.SeparateContext method) (contracts.library.seq.Seq method) (contracts.library.simple_values.EqualTo method) (contracts.library.tuple.Tuple method) (contracts.library.types_misc.CheckType method) (contracts.library.types_misc.Type method) (contracts.library.variables.BindVariable method) check_contract_pickable() (in module contracts.testing.test_pickling) check_contracts() (in module contracts.main) check_contracts_fail() (in module contracts.testing.utils) check_contracts_ok() (in module contracts.testing.utils) check_exception_pickable() (in module contracts.testing.test_pickling) check_good_repr() (in module contracts.testing.test_simple) check_multiple() (in module contracts) (in module contracts.main) check_recoversion() (in module contracts.testing.test_simple) check_syntax_fail() (in module contracts.testing.utils) check_valid_identifier() (in module contracts.testing.test_new_contract) CheckCallable (class in contracts.library.extensions) CheckCallableWithSelf (class in contracts.library.extensions) CheckOrder (class in contracts.library.comparison) CheckType (class in contracts.library.types_misc) ClassContractsTests (class in contracts.testing.test_class_contracts) clipped_repr() (in module contracts.interface) cname() (in module contracts.testing.test_new_contract) conditions (contracts.library.comparison.CheckOrder attribute) constraints (contracts.library.array_ops.ArrayConstraint attribute) Contract (class in contracts) (class in contracts.interface) contract() (in module contracts), [1] contract_decorator() (in module contracts.main) contract_expression (in module contracts) contract_types (contracts.syntax.ParsingTmp attribute) ContractException (class in contracts) ContractNotRespected (class in contracts) contracts (module), [1] contracts() (in module contracts) contracts.backported (module) contracts.docstring_parsing (module) contracts.enabling (module) contracts.interface (module) contracts.library (module) contracts.library.arithmetic (module) contracts.library.array (module) contracts.library.array_ops (module) contracts.library.comparison (module) contracts.library.compositions (module) contracts.library.dicts (module) contracts.library.dummy (module) contracts.library.extensions (module) contracts.library.lists (module) contracts.library.map (module)

contracts.library.miscellaneous_aliases (module) contracts.library.separate_context (module) contracts.library.seq (module) contracts.library.simple_values (module) contracts.library.strings (module) contracts.library.suggester (module) contracts.library.tuple (module) contracts.library.types_misc (module) contracts.library.variables (module) contracts.main (module) contracts.pyparsing_utils (module) contracts.syntax (module) contracts.test_registrar (module) contracts.testing (module) contracts.testing.array_extended_test (module) contracts.testing.friendliness_statistics (module) contracts.testing.library (module) contracts.testing.library.arithmetic_tc (module) contracts.testing.library.array_elements_tc (module) contracts.testing.library.array_tc (module) contracts.testing.library.comparison_tc (module) contracts.testing.library.compositions_tc (module) contracts.testing.library.dicts_tc (module) contracts.testing.library.dummy_tc (module) contracts.testing.library.lists_tc (module) contracts.testing.library.map_tc (module) contracts.testing.library.miscellaneous_aliases_tc (module) contracts.testing.library.separate_context_tc (module) contracts.testing.library.seq_tc (module) contracts.testing.library.simple_values_tc (module) contracts.testing.library.strings_tc (module) contracts.testing.library.tuple_tc (module) contracts.testing.library.types_tc (module) contracts.testing.library.variables_tc (module) contracts.testing.test_class_contracts (module) contracts.testing.test_decorator (module) contracts.testing.test_docstring_parsing (module) contracts.testing.test_idioms (module) contracts.testing.test_multiple (module) contracts.testing.test_new_contract (module) contracts.testing.test_particulars (module) contracts.testing.test_pickling (module) contracts.testing.test_simple (module) contracts.testing.utils (module) contracts_decorate() (in module contracts.main) ContractSyntaxError (class in contracts) counter (contracts.testing.test_new_contract.TestNewContract attribute) create_suggester() (in module contracts.library.suggester)

D

decorate() (in module contracts) DecoratorTests (class in contracts.testing.test_decorator) default_message() (in module contracts.library.suggester) defaults (contracts.backported.FullArgSpec attribute) describe_type() (in module contracts.interface) describe_value() (in module contracts.interface) DESCRIPTION (contracts.library.strings.AnsiString attribute) (contracts.library.strings.String attribute) (contracts.library.strings.UnicodeString attribute)

Dict (class in contracts.library.dicts) disable() (contracts.interface.Contract method) disable_all (contracts.enabling.Switches attribute) disable_all() (in module contracts) (in module contracts.enabling) DocStringInfo (class in contracts.docstring_parsing) DocStringTest (class in contracts.testing.test_docstring_parsing) DType (class in contracts.library.array_ops)

E

enable() (contracts.interface.Contract method) enable_all() (in module contracts.enabling) enabled() (contracts.interface.Contract method) EqualTo (class in contracts.library.simple_values) eval() (contracts.interface.RValue method) (contracts.library.arithmetic.Binary method) (contracts.library.arithmetic.Unary method) (contracts.library.simple_values.SimpleRValue method) (contracts.library.variables.VariableRef method)

eval_in_context() (in module contracts.interface) expression_fails() (in module contracts.testing.test_particulars) expression_parses() (in module contracts.testing.test_particulars) Extension (class in contracts.library.extensions)

F

fail() (contracts.Contract method) (contracts.interface.Contract method) (in module contracts.main) (in module contracts.test_registrar) fail1() (in module contracts.testing.test_new_contract) fail2() (in module contracts.testing.test_new_contract) find_best_match() (in module contracts.library.suggester)

find_longest_match() (in module contracts.library.suggester) format_table() (in module contracts.interface) FullArgSpec (class in contracts.backported)

G

get_all_arg_names() (in module contracts.main) get_all_strings() (in module contracts.testing.friendliness_statistics) get_annotations() (in module contracts.main)

getfullargspec() (in module contracts.backported) good() (in module contracts.test_registrar)

I

invalid_callable1() (in module contracts.testing.test_new_contract) is_None() (in module contracts.library.miscellaneous_aliases)

isnumber() (in module contracts.syntax) ist() (in module contracts.library.miscellaneous_aliases)

K

KEYWORDS (contracts.library.strings.AnsiString attribute) (contracts.library.strings.String attribute) (contracts.library.strings.UnicodeString attribute) keywords (contracts.syntax.ParsingTmp attribute)

kwonlyargs (contracts.backported.FullArgSpec attribute) kwonlydefaults (contracts.backported.FullArgSpec attribute)

L

levenshtein() (in module contracts.library.suggester) List (class in contracts.library.lists)

Logical (class in contracts.library.compositions) longest_match() (in module contracts.library.suggester)

M

main() (in module contracts.testing.friendliness_statistics) Map (class in contracts.library.map) MissingContract

my_delim_list2() (in module contracts.library.array) myOperatorPrecedence() (in module contracts.pyparsing_utils)

N

Never (class in contracts.library.dummy) new_contract() (in module contracts), [1] (in module contracts.main) new_contract_impl() (in module contracts.main)

not_supported1() (contracts.testing.test_decorator.DecoratorTests method) not_supported2() (contracts.testing.test_decorator.DecoratorTests method) number_of_spaces() (in module contracts.docstring_parsing)

O

ok1() (in module contracts.testing.test_new_contract) ok2() (in module contracts.testing.test_new_contract)

operations (contracts.library.arithmetic.Binary attribute) (contracts.library.arithmetic.Unary attribute) OR (class in contracts.library.compositions)

P

parse() (contracts.docstring_parsing.DocStringInfo static method) (in module contracts) parse_action() (contracts.library.arithmetic.Binary static method) (contracts.library.arithmetic.Unary static method) (contracts.library.array.Array static method) (contracts.library.array.Shape static method) (contracts.library.array.ShapeContract static method) (contracts.library.array_ops.ArrayAnd static method) (contracts.library.array_ops.ArrayConstraint static method) (contracts.library.array_ops.ArrayOR static method) (contracts.library.array_ops.DType static method) (contracts.library.comparison.CheckOrder static method) (contracts.library.compositions.And static method) (contracts.library.compositions.OR static method) (contracts.library.dicts.Dict static method) (contracts.library.dummy.Any static method) (contracts.library.dummy.Never static method) (contracts.library.extensions.Extension static method) (contracts.library.lists.List static method) (contracts.library.map.Map static method) (contracts.library.separate_context.SeparateContext static method) (contracts.library.seq.Seq static method) (contracts.library.simple_values.EqualTo static method) (contracts.library.tuple.Tuple static method) (contracts.library.types_misc.CheckType static method) (contracts.library.types_misc.Type static method) (contracts.library.variables.BindVariable static method) (contracts.library.variables.VariableRef static method) parse_annotations() (in module contracts.docstring_parsing) parse_contract_string() (in module contracts.main)

parse_contracts_from_docstring() (in module contracts.main) parse_flexible_spec() (in module contracts.main) ParsingTmp (class in contracts.syntax) precedence (contracts.library.arithmetic.Binary attribute)

R

registrar (contracts.library.extensions.Extension attribute) remove_newlines() (in module contracts.interface) replace_one() (in module contracts.testing.friendliness_statistics)

run_joker() (in module contracts.testing.friendliness_statistics) RValue (class in contracts.interface) rvalues_types (contracts.syntax.ParsingTmp attribute)

S

semantic_fail() (in module contracts.test_registrar) SeparateContext (class in contracts.library.separate_context) Seq (class in contracts.library.seq) setUp() (contracts.testing.array_extended_test.ArrayTest method) Shape (class in contracts.library.array) ShapeContract (class in contracts.library.array)

SimpleRValue (class in contracts.library.simple_values) Storage (class in contracts.main) String (class in contracts.library.strings) string2contract (contracts.main.Storage attribute) Switches (class in contracts.enabling) syntax_fail() (in module contracts.test_registrar)

T

test_allow_renaming_if_equal1() (contracts.testing.test_new_contract.TestNewContract method) test_allow_renaming_if_equal2() (contracts.testing.test_new_contract.TestNewContract method) test_as_decorator() (contracts.testing.test_new_contract.TestNewContract method) test_as_decorator_multiple() (contracts.testing.test_new_contract.TestNewContract method) test_bad_quoting() (contracts.testing.test_decorator.DecoratorTests method) test_bad_quoting2() (contracts.testing.test_decorator.DecoratorTests method) test_binding() (contracts.testing.test_idioms.TestIdioms method) test_binding_vs_ref() (contracts.testing.test_particulars.TestBindingVsRef method) test_binding_vs_ref2() (contracts.testing.test_particulars.TestBindingVsRef method) test_callable() (contracts.testing.test_new_contract.TestNewContract method) test_callable1() (contracts.testing.test_new_contract.TestNewContract method) test_callable2() (contracts.testing.test_new_contract.TestNewContract method) test_callable3() (contracts.testing.test_new_contract.TestNewContract method) test_callable4() (contracts.testing.test_new_contract.TestNewContract method) test_callable_5() (contracts.testing.test_new_contract.TestNewContract method) test_callable_old_style() (contracts.testing.test_new_contract.TestNewContract method) test_capital_name1() (contracts.testing.test_new_contract.TestNewContract method) test_capital_name2() (contracts.testing.test_new_contract.TestNewContract method) test_check_1() (contracts.testing.test_idioms.TestIdioms method) test_check_1a() (contracts.testing.test_idioms.TestIdioms method) test_check_2() (contracts.testing.test_idioms.TestIdioms method) test_check_3() (contracts.testing.test_idioms.TestIdioms method) test_check_4() (contracts.testing.test_idioms.TestIdioms method) test_check_context() (contracts.testing.test_idioms.TestIdioms method) test_check_context2() (contracts.testing.test_idioms.TestIdioms method) test_check_docstring_maintained() (contracts.testing.test_decorator.DecoratorTests method) test_check_it_works1() (contracts.testing.test_decorator.DecoratorTests method) test_check_it_works2() (contracts.testing.test_decorator.DecoratorTests method) test_check_it_works2b() (contracts.testing.test_decorator.DecoratorTests method) test_check_it_works2c() (contracts.testing.test_decorator.DecoratorTests method) test_check_it_works3() (contracts.testing.test_decorator.DecoratorTests method) test_check_multiple_1() (contracts.testing.test_idioms.TestIdioms method) test_class_as_contract1() (contracts.testing.test_new_contract.TestNewContract method) test_class_as_contract2() (contracts.testing.test_new_contract.TestNewContract method) test_class_as_contract3() (contracts.testing.test_new_contract.TestNewContract method) test_class_as_contract4() (contracts.testing.test_new_contract.TestNewContract method) test_class_contract1() (contracts.testing.test_class_contracts.ClassContractsTests method) test_class_contract1_bad() (contracts.testing.test_class_contracts.ClassContractsTests method) test_class_contract2() (contracts.testing.test_class_contracts.ClassContractsTests method) test_class_contract3() (contracts.testing.test_class_contracts.ClassContractsTests method) test_contract_fail() (in module contracts.testing.test_simple) test_contracts_are_pickable() (in module contracts.testing.test_pickling) test_correct_behavior() (contracts.testing.array_extended_test.ArrayTest method) test_elements() (contracts.library.array_ops.ArrayAnd method) (contracts.library.array_ops.ArrayConstraint method) (contracts.library.array_ops.ArrayElementsTest method) (contracts.library.array_ops.ArrayOR method) (contracts.library.array_ops.DType method) test_empty_types() (contracts.testing.test_decorator.DecoratorTests method) test_empty_types2() (contracts.testing.test_decorator.DecoratorTests method) test_equality_contract() (contracts.testing.test_idioms.TestIdioms method) test_equality_rvalue() (contracts.testing.test_idioms.TestIdioms method) test_exceptions_are_pickable() (in module contracts.testing.test_pickling) test_good() (in module contracts.testing.test_simple) test_idioms() (contracts.testing.test_new_contract.TestNewContract method) test_incorrect1() (contracts.testing.array_extended_test.ArrayTest method) test_incorrect2() (contracts.testing.array_extended_test.ArrayTest method) test_incorrect3() (contracts.testing.array_extended_test.ArrayTest method) test_incorrect4() (contracts.testing.array_extended_test.ArrayTest method) test_incorrect5() (contracts.testing.array_extended_test.ArrayTest method) test_incorrect6() (contracts.testing.array_extended_test.ArrayTest method)

test_invalid1() (contracts.testing.test_decorator.DecoratorTests method) test_invalid_args() (contracts.testing.test_decorator.DecoratorTests method) test_invalid_args2() (contracts.testing.test_decorator.DecoratorTests method) test_invalid_callable() (contracts.testing.test_new_contract.TestNewContract method) test_invalid_callable2() (contracts.testing.test_new_contract.TestNewContract method) test_invalid_names() (contracts.testing.test_new_contract.TestNewContract method) test_inverted_args() (contracts.testing.test_new_contract.TestNewContract method) test_keywords() (contracts.testing.test_decorator.DecoratorTests method) test_kwargs() (contracts.testing.test_decorator.DecoratorTests method) test_lambda_2() (contracts.testing.test_new_contract.TestNewContract method) test_lambda_invalid() (contracts.testing.test_new_contract.TestNewContract method) test_lambda_invalid2() (contracts.testing.test_new_contract.TestNewContract method) test_malformed() (contracts.testing.test_decorator.DecoratorTests method) test_malformed2() (contracts.testing.test_decorator.DecoratorTests method) test_not_specified1() (contracts.testing.test_decorator.DecoratorTests method) test_not_specified2() (contracts.testing.test_decorator.DecoratorTests method) test_number_of_spaces() (contracts.testing.test_docstring_parsing.DocStringTest method) test_ok1() (contracts.testing.test_decorator.DecoratorTests method) test_ok2() (contracts.testing.test_decorator.DecoratorTests method) test_ok3() (contracts.testing.test_decorator.DecoratorTests method) test_other_pass() (contracts.testing.test_new_contract.TestNewContract method) test_parse_1() (contracts.testing.test_idioms.TestIdioms method) test_parse_2() (contracts.testing.test_idioms.TestIdioms method) test_parse_error1() (contracts.testing.test_decorator.DecoratorTests method) test_parse_error2() (contracts.testing.test_decorator.DecoratorTests method) test_parsing() (contracts.testing.test_docstring_parsing.DocStringTest method) test_parsing_error() (contracts.testing.test_new_contract.TestNewContract method) test_parsing_error2() (contracts.testing.test_new_contract.TestNewContract method) test_partial() (contracts.testing.test_particulars.TestParticular method) test_reconversion() (in module contracts.testing.test_simple) test_renaming() (contracts.testing.test_new_contract.TestNewContract method) test_reparsing() (contracts.testing.test_docstring_parsing.DocStringTest method) test_repr() (in module contracts.testing.test_simple) test_repr_1() (contracts.testing.test_idioms.TestIdioms method) test_same_signature() (contracts.testing.test_decorator.DecoratorTests method) test_semantic_fail() (in module contracts.testing.test_simple) test_separate_context() (contracts.testing.test_new_contract.TestNewContract method) test_symbols() (contracts.testing.test_idioms.TestIdioms method) test_syntax_fail() (in module contracts.testing.test_simple) test_too_many() (contracts.testing.test_decorator.DecoratorTests method) test_types_as_contracts() (contracts.testing.test_new_contract.TestNewContract method) test_types_as_contracts2() (contracts.testing.test_new_contract.TestNewContract method) test_valid() (contracts.testing.test_new_contract.TestNewContract method) test_valid_identifiers() (in module contracts.testing.test_new_contract) test_varargs() (contracts.testing.test_decorator.DecoratorTests method) test_variable_parseable() (contracts.testing.test_particulars.TestParticular method) test_variables() (contracts.testing.test_particulars.TestParticular method) test_well_recognized() (contracts.testing.test_new_contract.TestNewContract method) test_wrong_args() (contracts.testing.test_new_contract.TestNewContract method) TestBindingVsRef (class in contracts.testing.test_particulars) TestIdioms (class in contracts.testing.test_idioms) TestNewContract (class in contracts.testing.test_new_contract) TestParticular (class in contracts.testing.test_particulars) Tuple (class in contracts.library.tuple) Type (class in contracts.library.types_misc) TYPE (contracts.library.strings.AnsiString attribute) (contracts.library.strings.String attribute) (contracts.library.strings.UnicodeString attribute)

U

Unary (class in contracts.library.arithmetic)

UnicodeString (class in contracts.library.strings)

V

varargs (contracts.backported.FullArgSpec attribute) VariableRef (class in contracts.library.variables)

varkw (contracts.backported.FullArgSpec attribute)

W

Where (class in contracts.interface)