stig-engine/com.stigway.engine.config/SourceCodeAnalysisConfigurationProposal

SourceCodeAnalysisConfigurationProposal

data class SourceCodeAnalysisConfigurationProposal(val schemaVersion: Int = SOURCE_CODE_ANALYSIS_CONFIGURATION_SCHEMA_VERSION, val manifest: SourceCodeAnalysisConfigurationManifest, val nativeUniverse: List<SourceCodeAnalysisNativeUnit> = emptyList(), val externalCandidates: List<SourceCodeAnalysisExternalCandidate> = emptyList(), val unresolvedSymbols: List<SourceCodeAnalysisUnresolvedSymbol> = emptyList(), val allowedExternalSymbols: List<SourceCodeAnalysisAllowedExternalSymbol> = emptyList(), val mappingProblems: List<SourceCodeAnalysisConfigurationMappingProblem> = emptyList(), val staleReviewedUnits: List<String> = emptyList(), val p3MigrationAdditions: List<String> = emptyList(), val p3MigrationRemovals: List<String> = emptyList(), val p4MigrationAdditions: List<String> = emptyList(), val p4MigrationRemovals: List<String> = emptyList(), val selectedAnalysisCompileUnits: List<String> = emptyList(), val selectedAnalysisSources: List<String> = emptyList(), val boundarySymbols: List<SourceCodeAnalysisBoundarySymbol> = emptyList(), val originalFunctionBehaviors: Map<String, SourceCodeAnalysisFunctionBehavior> = emptyMap(), val provenanceOwnerCompileUnits: List<String> = emptyList(), val staleTransformActivations: List<String> = emptyList())

Constructors

SourceCodeAnalysisConfigurationProposal

constructor(schemaVersion: Int = SOURCE_CODE_ANALYSIS_CONFIGURATION_SCHEMA_VERSION, manifest: SourceCodeAnalysisConfigurationManifest, nativeUniverse: List<SourceCodeAnalysisNativeUnit> = emptyList(), externalCandidates: List<SourceCodeAnalysisExternalCandidate> = emptyList(), unresolvedSymbols: List<SourceCodeAnalysisUnresolvedSymbol> = emptyList(), allowedExternalSymbols: List<SourceCodeAnalysisAllowedExternalSymbol> = emptyList(), mappingProblems: List<SourceCodeAnalysisConfigurationMappingProblem> = emptyList(), staleReviewedUnits: List<String> = emptyList(), p3MigrationAdditions: List<String> = emptyList(), p3MigrationRemovals: List<String> = emptyList(), p4MigrationAdditions: List<String> = emptyList(), p4MigrationRemovals: List<String> = emptyList(), selectedAnalysisCompileUnits: List<String> = emptyList(), selectedAnalysisSources: List<String> = emptyList(), boundarySymbols: List<SourceCodeAnalysisBoundarySymbol> = emptyList(), originalFunctionBehaviors: Map<String, SourceCodeAnalysisFunctionBehavior> = emptyMap(), provenanceOwnerCompileUnits: List<String> = emptyList(), staleTransformActivations: List<String> = emptyList())

Properties

allowedExternalSymbols

val allowedExternalSymbols: List<SourceCodeAnalysisAllowedExternalSymbol>

boundarySymbols

val boundarySymbols: List<SourceCodeAnalysisBoundarySymbol>

Exact application symbols still outside the untransformed selected-source module.

externalCandidates

val externalCandidates: List<SourceCodeAnalysisExternalCandidate>

val manifest: SourceCodeAnalysisConfigurationManifest

mappingProblems

val mappingProblems: List<SourceCodeAnalysisConfigurationMappingProblem>

val nativeUniverse: List<SourceCodeAnalysisNativeUnit>

originalFunctionBehaviors

val originalFunctionBehaviors: Map<String, SourceCodeAnalysisFunctionBehavior>

Per-exact-function observations from the complete initial LLVM module, before name-wide aggregation.

p3MigrationAdditions

val p3MigrationAdditions: List<String>

p3MigrationRemovals

val p3MigrationRemovals: List<String>

p4MigrationAdditions

val p4MigrationAdditions: List<String>

p4MigrationRemovals

val p4MigrationRemovals: List<String>

provenanceOwnerCompileUnits

val provenanceOwnerCompileUnits: List<String>

Additional native owners retained only for transform provenance and before/after reporting.

val schemaVersion: Int

selectedAnalysisCompileUnits

val selectedAnalysisCompileUnits: List<String>

Exact human-selected native compile units; never expanded automatically.

selectedAnalysisSources

val selectedAnalysisSources: List<String>

Selected native units plus generated harness/model sources compiled for boundary inspection.

staleReviewedUnits

val staleReviewedUnits: List<String>

staleTransformActivations

val staleTransformActivations: List<String>

Activity activations that do not participate in the stable effective boundary.

unresolvedSymbols

val unresolvedSymbols: List<SourceCodeAnalysisUnresolvedSymbol>