All files / types TParameterInfo.ts

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
/**
 * Parameter information for function signatures
 *
 * Note: Pass-by-value status for small unmodified primitives (Issue #269)
 * is tracked separately in CodeGenerator.passByValueParams map rather than
 * here, since it requires call graph analysis that happens after parameter
 * collection.
 */
type TParameterInfo = {
  name: string;
  baseType: string; // 'u32', 'f32', 'Point'
  isArray: boolean;
  isStruct: boolean;
  isConst: boolean; // ADR-013
  isCallback: boolean; // ADR-029
  isString: boolean; // ADR-045
  /**
   * Issue #895: True when a primitive param becomes a pointer due to callback typedef.
   * When used as a value in expressions, these params need dereferencing (*param).
   */
  isCallbackPointerPrimitive?: boolean;
 
  /**
   * Issue #895: True when a param needs pointer semantics due to callback typedef.
   * In C++ mode, this forces -> member access instead of . (reference access).
   * Applies to both struct and primitive callback-compatible params.
   */
  forcePointerSemantics?: boolean;
 
  /**
   * ADR-030 / #1722: the parameter holds opaque handles -- its type is an
   * incomplete struct, so C holds each value only as a pointer, and that
   * pointer IS the value. For an array parameter, each ELEMENT is a handle: an
   * array of handles is an array of pointers (#996).
   *
   * Decided once, when the parameter is registered. The signature reads it to
   * spell `T*` (`T* arr[N]` for an array), and a whole-value use of the
   * parameter reads it to render the bare name rather than `(*p)`, which C
   * rejects for an incomplete type.
   */
  isOpaqueHandle?: boolean;
};
 
export default TParameterInfo;