All files / TRANSPILE/1-Analyze/types INullCheckError.ts

0% Statements 0/0
0% Branches 0/0
0% Functions 0/0
0% Lines 0/0

Press n or j to go to the next uncovered block, b, p or k for the previous block.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27                                                     
/**
 * Error reported when NULL safety rules are violated (ADR-046)
 *
 * Error codes:
 * - E0901: C library function can return NULL - must check result
 * - E0903: NULL can only be used in comparison context
 * - E0904: Cannot store C function pointer return in variable
 * - E0905: Missing c_ prefix for nullable C type
 * - E0906: Invalid c_ prefix on non-nullable type
 * - E0907: NULL comparison on non-nullable variable
 * - E0908: Nullable c_ variable used without prior NULL check (flow analysis)
 *
 * E0902 was reported here and is not any more. Answering it needs to know
 * whether the callee resolved to a C-Next definition, which this analyzer cannot
 * see, so it told `pool_free` -- written in C-Next three lines above its call --
 * that it had been imported from a header (#1306 review). It belongs to
 * IFunctionCallError.
 */
import IBaseAnalysisError from "./IBaseAnalysisError";
 
interface INullCheckError extends IBaseAnalysisError {
  /** Name of the function or literal involved */
  functionName: string;
}
 
export default INullCheckError;