MOAL.software_engineering.testing.white_box.static_analysis package¶

Submodules¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking module¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.add2(*args, **kwargs)[source]¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.combine_dict(*args, **kwargs)[source]¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.combine_lists(*args, **kwargs)[source]¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.concat(*args, **kwargs)[source]¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.returns(retval=None)[source]¶

Check the specified return type with the functions return value to make sure that its type matches.

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.sum_square(*args, **kwargs)[source]¶

MOAL.software_engineering.testing.white_box.static_analysis.type_checking.types(*args_types, **kwargs_types)[source]¶

Loop over all args and kwargs passed to the function and check the corresponding types to make sure they all match.