Uses of Record Class
com.tnsai.coordination.choreography.LivelockDetector.DetectionResult
Packages that use LivelockDetector.DetectionResult
Package
Description
Choreography-based decentralized agent coordination.
-
Uses of LivelockDetector.DetectionResult in com.tnsai.coordination.choreography
Methods in com.tnsai.coordination.choreography that return LivelockDetector.DetectionResultModifier and TypeMethodDescriptionLivelockDetector.analyze()Analyzes all recorded events and returns a detection result.LivelockDetector.DetectionResult.safe()Returns a safe (no-livelock) result.Methods in com.tnsai.coordination.choreography with parameters of type LivelockDetector.DetectionResultModifier and TypeMethodDescriptionvoidLivelockDetector.LivelockListener.onLivelockDetected(LivelockDetector.DetectionResult result) Called when livelock violations are detected.