Fortran in Maguyva: grafi del codice per basi di codice scientifiche

Perché Fortran ha bisogno di struttura, non di confronto tra stringhe

Le basi di codice Fortran tendono a essere vecchie, grandi e scritte da esperti di dominio più che da team software. Le routine chiamate SOLVE, Solve e solve sono la stessa routine. I moduli sono condivisi da centinaia di file, e la libreria delle procedure intrinseche è così ampia che un elenco ingenuo di chiamate contiene soprattutto SQRT, SUM e WRITE.

Un agente che usa solo grep affoga in questo rumore. Maguyva gli fornisce prima la struttura: quali unità di programma esistono, quali moduli usano e quali routine del codice si chiamano a vicenda.

Cosa estrae Maguyva in Fortran

Maguyva copre sorgenti in formato fisso e libero (.f, .for, .ftn, .f90, .f95, .f03, .f08). Funzioni e subroutine vengono estratte come simboli invocabili, e i tipi derivati si possono selezionare come definizioni di tipo nella ricerca strutturale.

Il confronto dei simboli non distingue maiuscole e minuscole, come Fortran stesso. Le relazioni di import derivano da use e include, con la parola chiave rimossa così che il grafo memorizzi il nome del modulo. Chiamate, letture, assegnazioni, riferimenti di tipo ed ereditarietà dai tipi derivati estesi fanno anch’essi parte del grafo.

Il filtro delle relazioni scarta circa 165 procedure intrinseche (istruzioni di I/O e routine matematiche, di array, di stringhe, di conversione di tipo e di manipolazione dei bit), così gli archi rimasti puntano al tuo codice.

Esempi di prompt per agenti

• “Quali subroutine chiamano compute_flux e quali moduli usano?” (find_symbol, poi dependency_search incoming)
• “Traccia come vengono applicate le condizioni al contorno nel ciclo del solver.” (get_task_context)
• “Trova tutte le unità di programma che usano il modulo constants.” (text_pattern_search su use constants, poi find_symbol)

Limiti noti

• Fortran non ha decoratori né gestione delle eccezioni, quindi questi tipi di relazione sono contrassegnati come non applicabili.
• Le procedure legate ai tipi condividono gli stessi nodi di funzioni e subroutine ordinarie. Usa il preset functions in structural_search; il preset methods non seleziona nodi Fortran.
• Le chiamate alle procedure intrinseche filtrate non compaiono come archi del grafo. Usa text_pattern_search quando ti serve ogni WRITE o OPEN.

Prossimi passi

Collega un repository con la guida rapida, poi consulta la matrice di supporto completa nella pagina di compatibilità. Se il tuo Fortran convive con codice di collegamento in C, leggi anche la guida a C.