Interface: Program
types.Program
Properties​
builtins​
• builtins: string[]
Defined in​
src/types/lib/contract/legacy.ts:38
data​
• data: string[]
Defined in​
src/types/lib/contract/legacy.ts:39
hints​
• hints: Record<string, Hint[]>
Defined in​
src/types/lib/contract/legacy.ts:40
prime​
• prime: string
Defined in​
src/types/lib/contract/legacy.ts:41
attributes​
• Optional attributes: { accessible_scopes?: string[] ; end_pc?: number ; flow_tracking_data?: { ap_tracking?: { group?: number ; offset?: number } ; reference_ids?: Record<string, number> } ; name?: string ; start_pc?: number ; value?: string | number }[]
Defined in​
src/types/lib/contract/legacy.ts:42
compiler_version​
• Optional compiler_version: string
Defined in​
src/types/lib/contract/legacy.ts:56
main_scope​
• Optional main_scope: string
Defined in​
src/types/lib/contract/legacy.ts:57
identifiers​
• Optional identifiers: Record<string, { destination: string ; type: "alias" } | { decorators: string[] ; pc: number ; type: "function" ; implicit_args?: { full_name: string ; members: Record<string, { cairo_type: string ; offset: number }> ; size: number ; type: "struct" } ; explicit_args?: { full_name: string ; members: Record<string, { cairo_type: string ; offset: number }> ; size: number ; type: "struct" } ; return_type?: { cairo_type: string ; type: "type_definition" } } | { full_name: string ; members: Record<string, { cairo_type: string ; offset: number }> | Record<string, never> ; size: number ; type: "struct" } | { cairo_type: string ; type: "type_definition" } | { type: "namespace" } | { type: "const" ; value: string | number } | { pc: number ; type: "label" } | { cairo_type: string ; full_name: string ; references: { ap_tracking_data: { group: number ; offset: number } ; pc: number ; value: string }[] ; type: "reference" }>
Defined in​
src/types/lib/contract/legacy.ts:58
reference_manager​
• Optional reference_manager: Record<string, { references: unknown[] }>
Defined in​
src/types/lib/contract/legacy.ts:140
debug_info​
• Optional debug_info: Record<string, { file_contents?: Record<string, string> ; instruction_locations?: Record<string, unknown[]> }>