Lines Matching refs:Closed
11 // - If a file has been closed with fclose, it should not be accessed again.
12 // Accessing a closed file results in undefined behavior.
13 // - If a file was opened with fopen, it must be closed with fclose before
32 enum Kind { Opened, Closed } K;
37 bool isClosed() const { return K == Closed; }
40 static StreamState getClosed() { return StreamState(Closed); }
159 // Check if the stream has already been closed.
167 // Generate the next transition, in which the stream is closed.
220 "Closing a previously closed file stream", ErrNode);
233 "Opened file is never closed; potential resource leak", ErrNode);
272 // handle will be closed somewhere else.
