Programmi della lezione del 10/1/2023
Aggregazione dei criteri
Oltre ai file Java questo archivio comprende anche il file launch.json nella cartella .vscode. Si tratta di un file di configurazione di VSCode che ho preparato per far sì che, nei programmi dove è rilevante, VSCode chieda quali sono i parametri su riga di comando da fornire al programma. Perché tutto ciò funzioni, la cartella .vscode contenente il file launch.json deve trovarsi nella stessa cartella dei file Java, e in VSCode bisogna aprire la cartella con i file Java, non i singoli file.