jadex.micro.annotation

Annotation Type AgentKilled

@Target(value=METHOD)
@Retention(value=RUNTIME)
public @interface AgentKilled

Marker for agent killed method.