m2isar.transforms.validate_behav.validate

validate behavior in M2-ISA-R metamodel.

Classes

ValidatorContext

Track miscellaneous information throughout the validation process.

Functions

get_parser()
validate_behav(model_obj, warnings_info)
run(args)
main(argv)

Module Contents

class ValidatorContext(warnings_info: m2isar.warnings.WarningsInfo = None)

Bases: m2isar.warnings.WarningsManager

Track miscellaneous information throughout the validation process.

get_parser()

validate_behav(model_obj, warnings_info)

run(args)

main(argv)