AeroGuard-MAS/integration

Package-level declarations

Types

ExpectedJasonAgent

data class ExpectedJasonAgent(val agentName: String, val fileName: String)

Expected Jason agent descriptor.

JasonAgentCatalog

class JasonAgentCatalog(agentsDirectory: Path = Path.of("agents"))

Loads the required Jason AgentSpeak source files from disk.

JasonAgentSmokeAnalyzer

class JasonAgentSmokeAnalyzer

Static smoke analyzer for Jason AgentSpeak sources.

JasonAgentSource

data class JasonAgentSource(val agentName: String, val fileName: String, val path: Path, val source: String)

Loaded Jason agent source file with metadata.

JasonIntegrationException

class JasonIntegrationException(message: String, cause: Throwable? = null) : RuntimeException

Exception thrown when Jason source integration fails.

JasonMessageDelegation

data class JasonMessageDelegation(val from: String, val to: String, val performative: String)

Message delegation extracted from a Jason .send(...) call.

JasonSmokeReport

data class JasonSmokeReport(val requiredAgentsPresent: Boolean, val bdiConceptsPresent: Boolean, val messagePassingPresent: Boolean, val achieveMessagesPresent: Boolean, val agentSnapshots: List<AgentSnapshot>, val delegations: List<JasonMessageDelegation>, val missingAgents: List<String>)

Result of the Jason source smoke analysis.

JsonScenarioLoader

class JsonScenarioLoader(json: Json = Json { ignoreUnknownKeys = false isLenient = false prettyPrint = false }) : ScenarioLoader

JSON implementation of ScenarioLoader.

interface ScenarioLoader

Abstraction for loading scenarios from external sources.

ScenarioLoadingException

class ScenarioLoadingException(message: String, cause: Throwable? = null) : RuntimeException

Exception thrown when a scenario cannot be loaded or validated.

Functions

fun main(args: Array<String>)

Command-line smoke entry point for validating Jason AgentSpeak sources.