export_jani_to_file

export_jani_to_file(
filename: str | PathLike[str],
model: JaniModel,
properties: Iterable[Property] | None = None,
*,
check_valid: bool = True,
compact: bool = False,
) → None

Write a JANI model and its properties as JSON.

Parameters:

  • filename – Output filename as a string or path-like object.

  • model – JANI model to export.

  • properties – Optional iterable of properties to include.

  • check_valid – Whether to validate the model before exporting it.

  • compact – Whether to omit JSON indentation.