package p.studio.compiler.models;

import p.studio.compiler.messages.BuildingIssue;
import p.studio.compiler.source.tables.FileTableReader;

import java.util.List;

public record AnalysisSnapshot(
        FrontendSpec frontendSpec,
        List<BuildingIssue> diagnostics,
        ResolvedWorkspace resolvedWorkspace,
        FileTableReader fileTable,
        IRBackendReader irBackend) {
    public AnalysisSnapshot {
        diagnostics = List.copyOf(diagnostics);
    }
}
