Skip to main content
Version: Next

Interface: 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[]> }>

Defined in

src/types/lib/contract/legacy.ts:146