AnalysisInterfaceInventoryRequest

data class AnalysisInterfaceInventoryRequest(val activityName: String, val implementationHeader: SourceCodeAnalysisFile, val topicsFile: Path, val interfacePointsAnnotationFile: Path? = null, val analysisDepth: AnalysisDepth, val schemaValidation: SourceCodeAnalysisHarnessSchemaValidation, val elementAsil: ASIL? = null)

Exact activity inputs required to scan a compiled analysis interface.

Constructors

Link copied to clipboard
constructor(activityName: String, implementationHeader: SourceCodeAnalysisFile, topicsFile: Path, interfacePointsAnnotationFile: Path? = null, analysisDepth: AnalysisDepth, schemaValidation: SourceCodeAnalysisHarnessSchemaValidation, elementAsil: ASIL? = null)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Activity element ASIL used when a compiled leaf has no valid exact annotation.

Link copied to clipboard
Generated with STIG