Searched refs:file_header (Results 1 – 2 of 2) sorted by relevance
2655 def __init__(self, entry_types, modes, print_time, default_max_qty, git_sha='', file_header=''): argument2679 self.file_header = file_header.strip() + "\n\n" if file_header.strip() else ""2680 self.file_header += f"""Generated using zcbor version {self.version}2817 return (f"\n{lp} " + self.file_header.replace("\n", f"\n{lp} ")).replace(" \n", "\n")3205 if args.file_header and Path(args.file_header).exists():3206 args.file_header = Path(args.file_header).read_text(encoding="utf-8")3271 file_header=args.file_header
636 file_header = """Sample640 (tempd / "file_header.txt").write_text(file_header, encoding="utf-8")643 file_header_input = file_header
