codegraph/Delphi/Docs/03-AST-Referenz.md

AST-Referenz: tree-sitter-pascal (verifiziert)

Dieses Dokument zeigt die tatsächlichen AST-Knotentypen aus der tree-sitter-pascal Grammar, verifiziert anhand der node-types.json des Pakets.

Hinweis: CodeGraph nutzt keine .scm-Dateien zur Extraktion, sondern ein LanguageExtractor-Objekt in TypeScript. Die hier dokumentierten AST-Strukturen zeigen, wie der Parser Delphi-Code als Baum darstellt.

A) Top-Level Module

unit

(unit (kUnit) (moduleName (identifier)) (interface ...) (implementation ...) (kEndDot))

program

(program (kProgram) (moduleName (identifier)) ...body...)

library

(library (kLibrary) (moduleName (identifier)) ...body...)

B) Deklarationen

declClass (Klassen, Records, Objects)

(declType
  name: (identifier)                  ← "TMyClass"
  value: (type (declClass
    (kClass)                           ← oder (kRecord), (kObject)
    parent: ((typeref) (typeref) ...)   ← Basisklasse + Interfaces
    (declSection (kPublic)             ← Sichtbarkeit
      (declProc ...)                   ← Methoden
      (declField ...)                  ← Felder
      (declProp ...)                   ← Properties
    )
    (kEnd))))

declIntf (Interfaces)

(declType
  name: (identifier)                  ← "IMyInterface"
  value: (type (declIntf
    (kInterface)
    parent: ((typeref) ...)            ← Basis-Interface
    guid: (guid ...)                   ← optionale GUID
    (declProc ...) (declProp ...)
    (kEnd))))

declProc (Procedures, Functions, Methods, Constructors, Destructors)

(declProc
  (kFunction)                          ← oder kProcedure, kConstructor, kDestructor
  name: (identifier)                   ← "MyMethod"
  args: (declArgs (declArg name: (identifier) type: (type ...)))
  type: (type ...)                     ← Rückgabetyp (nur bei functions)
  attribute: (procAttribute ...))      ← z.B. override, virtual, static

Unterscheidung Funktion vs. Methode:

• Top-Level: declProc als Kind von interface/implementation
• Methode: declProc als Kind von declClass oder declIntf
• Statisch: enthält kClass Kind-Knoten (class procedure)

declProp (Properties)

(declProp (kProperty) name: (identifier) type: (type ...) (kRead) (identifier) (kWrite) (identifier))

declField (Felder)

(declField name: (identifier) type: (type ...))

declEnum (Enums)

(declEnum (declEnumValue name: (identifier)) (declEnumValue name: (identifier)) ...)

declUses (uses-Klauseln)

(declUses (kUses) (identifier) (identifier) ...)

Optional mit Pfadangabe: (kIn) (literalString) für uses Foo in 'path/Foo.pas'

declConst (Konstanten)

(declConst name: (identifier) type: (type ...) defaultValue: (defaultValue ...))

C) Ausdrücke

exprCall (Funktionsaufruf)

(exprCall (identifier) ...args...)                    ← WriteLn(...)

exprDot (qualifizierter Zugriff)

(exprDot lhs: (identifier) operator: (kDot) rhs: (exprCall (identifier) ...))  ← Svc.Login(...)
(exprDot lhs: (identifier) operator: (kDot) rhs: (identifier))                 ← TAuthService.Create

D) Sichtbarkeit (declSection)

(declSection (kPublic))    ← oder kPrivate, kProtected, kPublished, kStrict

Gilt für alle nachfolgenden Deklarationen bis zum nächsten declSection oder kEnd.

E) Vererbung (parent-Feld von declClass)

Das parent-Feld enthält eine Liste von typeref-Knoten:

• Erster typeref = Basisklasse → EdgeKind extends

• Weitere typerefs = Interfaces → EdgeKind implements

  (declClass (kClass) parent: ((typeref (identifier "TInterfacedObject")) (typeref (identifier "ITokenValidator"))) ...)
  

F) Zusammenfassung: Relevante Knoten für CodeGraph

AST-Knotentyp	Feld name	Weitere wichtige Felder
unit/program/library	Kind: moduleName	interface, implementation
declClass	via Parent declType	parent (Vererbung), declSection
declIntf	via Parent declType	parent, guid
declProc	name	args, type, attribute
declProp	name	type
declField	name	type
declEnum	—	Kind: declEnumValue
declEnumValue	name	value
declConst	name	type, defaultValue
declUses	—	Kind: identifier
exprCall	—	Kind: identifier (callee)
exprDot	—	lhs, rhs