seal5.index

Classes for managing index fiels used to summarize patches.

Functions

write_index_yaml(out_path, global_artifacts, ...)

Export full index to YAML file.

Classes

Artifact(dest_path[, src_path, content, append])	Abstract class for artifacts used in patching procedures.
Directory(dest_path[, src_path, content, append])	Directory artifact class.
File(dest_path[, src_path, content, append])	File artifact class.
GitPatch(dest_path[, src_path, content, ...])	GitPatch Artifact class.
IndexedPatch(dest_path, line[, src_path, ...])	IndexedPatch artifact class.
NamedPatch(dest_path, key[, src_path, ...])	NamedPatch artifact class.
Patch(dest_path[, src_path, content, append])	Generic Patch artifact class.
RangedPatch(dest_path, start, end[, ...])	RangedPatch artifact class.