public class BasicSkillUninstaller extends Object implements SkillUninstaller
Modifier and Type | Method and Description |
---|---|
void |
uninstallSkillsAfterDestroy(agent : Agent,
skills : List<? extends Skill>)
Uninstall the skills after the destroying event handler of the agent is invoked.
|
List<? extends Skill> |
uninstallSkillsBeforeDestroy(agent : Agent)
Uninstall the skills before the destroying event handler of the agent is invoked.
|
public def
uninstallSkillsBeforeDestroy(agent : Agent) : List<? extends Skill>
SkillUninstaller
uninstallSkillsBeforeDestroy
in interface SkillUninstaller
agent
- the agent for which the skills should be uninstalled.#uninstallSkillsAfterDestroy(io.sarl.lang.core.Agent, java.util.Iterable)
.public def
uninstallSkillsAfterDestroy(agent : Agent,
skills : List<? extends Skill>) : void
SkillUninstaller
uninstallSkillsAfterDestroy
in interface SkillUninstaller
agent
- the agent for which the skills should be uninstalled.skills
- the skills given by SkillUninstaller.uninstallSkillsBeforeDestroy(io.sarl.lang.core.Agent)
.Copyright © 2021 the original authors or authors.