Source reference: LIB/STR.H¶

Deterministic source record. The complete textual file is reproduced below; this page does not replace architectural interpretation in the authored chapters.

File identity¶

Detected syntactic dependencies¶

Detected symbols¶

Complete source¶

The following block is the complete textual file at the recorded revision. No lines are elided, abbreviated or paraphrased.

1
2
3
4
5

#ifndef STR_H
#define STR_H
int strlen(int s);
int strcpy(int dst, int src);
#endif

Role of this record¶

The atlas guarantees file-by-file traceability. Responsibility, invariants, ownership, concurrency, security, performance and subsystem interactions belong in authored chapters and must cite this file when applicable.