Package jadex.micro.annotation

Annotation Type AgentChildKilled

@Target(METHOD)
@Retention(RUNTIME)
public @interface AgentChildKilled

Marker for agent child killed method.