Fortran i Maguyva: kodegrafer til videnskabelige kodebaser

Hvorfor Fortran har brug for struktur, ikke strengmatchning

Fortran-kodebaser er ofte gamle, store og skrevet af domæneeksperter frem for softwareteams. Rutiner med navnene SOLVE, Solve og solve er den samme rutine. Moduler deles af hundredvis af filer, og biblioteket af indbyggede procedurer er så stort, at en naiv kaldliste mest består af SQRT, SUM og WRITE.

En agent, der kun greper, drukner i den støj. Maguyva giver den strukturen først: hvilke programenheder der findes, hvilke moduler de bruger, og hvilke egne rutiner der kalder hinanden.

Hvad Maguyva udtrækker i Fortran

Maguyva dækker kildekode i fast og frit format (.f, .for, .ftn, .f90, .f95, .f03, .f08). Funktioner og subrutiner udtrækkes som kaldbare symboler, og afledte typer kan vælges som typedefinitioner i strukturel søgning.

Symbolmatchningen skelner ikke mellem store og små bogstaver, ligesom Fortran selv. Importrelationer kommer fra use og include; nøgleordet fjernes, så grafen gemmer modulnavnet. Kald, læsninger, tildelinger, typereferencer og nedarvning fra udvidede afledte typer indgår også i grafen.

Relationsfilteret fjerner omkring 165 indbyggede procedurer (I/O-sætninger samt rutiner til matematik, arrays, strenge, typekonvertering og bitoperationer), så de kanter, der er tilbage, peger på din egen kode.

Eksempler på prompts til agenter

• “Hvilke subrutiner kalder compute_flux, og hvilke moduler bruger de?” (find_symbol, derefter dependency_search incoming)
• “Spor, hvordan randbetingelser anvendes i solverens løkke.” (get_task_context)
• “Find alle programenheder, der bruger modulet constants.” (text_pattern_search efter use constants, derefter find_symbol)

Kendte begrænsninger

• Fortran har hverken dekoratorer eller undtagelseshåndtering, så de relationstyper er markeret som ikke relevante.
• Typebundne procedurer deler de samme noder som almindelige funktioner og subrutiner. Brug forudindstillingen functions i structural_search; forudindstillingen methods vælger ingen Fortran-noder.
• Kald til filtrerede indbyggede procedurer vises ikke som kanter i grafen. Brug text_pattern_search, når du har brug for hver WRITE eller OPEN.

Næste skridt

Tilslut et repository med hurtigstarten, og se derefter hele understøttelsesmatricen på kompatibilitetssiden. Hvis din Fortran ligger ved siden af limkode i C, så læs også guiden til C.