Analyzing main.adb
##################

Resolving xrefs for node <CallStmt main.adb:10:4-10:29>
*******************************************************

Expr: <CallExpr main.adb:10:4-10:28>
  references: <| DefiningName vector.ads:7:14-7:20 [main.adb:4:4] |>
  type:       None
Expr: <DottedName main.adb:10:4-10:21>
  references: <| DefiningName vector.ads:7:14-7:20 [main.adb:4:4] |>
  type:       None
Expr: <Id "Int_Vector" main.adb:10:4-10:14>
  references: <DefiningName main.adb:4:12-4:22>
  type:       None
Expr: <Id "Append" main.adb:10:15-10:21>
  references: <| DefiningName vector.ads:7:14-7:20 [main.adb:4:4] |>
  type:       None
Expr: <Id "V" main.adb:10:23-10:24>
  references: <DefiningName main.adb:7:4-7:5>
  type:       <| TypeDecl ["Vector"] vector.ads:4:4-4:31 [main.adb:4:4] |>
Expr: <Id "B" main.adb:10:26-10:27>
  references: <DefiningName main.adb:8:4-8:5>
  type:       <TypeDecl ["Integer"] __standard:4:3-4:54>

Resolving xrefs for node <AssignStmt main.adb:13:4-13:35>
*********************************************************

Expr: <Id "B" main.adb:13:4-13:5>
  references: <DefiningName main.adb:8:4-8:5>
  type:       <TypeDecl ["Integer"] __standard:4:3-4:54>
Expr: <CallExpr main.adb:13:9-13:34>
  references: <| DefiningName vector.ads:8:13-8:19 [main.adb:4:4] |>
  type:       <TypeDecl ["Integer"] __standard:4:3-4:54>
Expr: <DottedName main.adb:13:9-13:26>
  references: <| DefiningName vector.ads:8:13-8:19 [main.adb:4:4] |>
  type:       <TypeDecl ["Integer"] __standard:4:3-4:54>
Expr: <Id "Int_Vector" main.adb:13:9-13:19>
  references: <DefiningName main.adb:4:12-4:22>
  type:       None
Expr: <Id "Append" main.adb:13:20-13:26>
  references: <| DefiningName vector.ads:8:13-8:19 [main.adb:4:4] |>
  type:       <TypeDecl ["Integer"] __standard:4:3-4:54>
Expr: <Id "V" main.adb:13:28-13:29>
  references: <DefiningName main.adb:7:4-7:5>
  type:       <| TypeDecl ["Vector"] vector.ads:4:4-4:31 [main.adb:4:4] |>
Expr: <Int main.adb:13:31-13:33>
  references: None
  type:       <TypeDecl ["Universal_Int_Type_"] __standard:121:3-121:45>


Done.
