public void Add(AgentControlLink link)
{
if (AgentControlLinks.ContainsKey(link.Identifier))
{
throw new ArgumentException(string.Format("Agent control link identifier already exist: {0}", link.Identifier));
}
AgentControlLinks.Add(link.Identifier, link);
}
public override void Handle(Agent element, ParsedControlsAttribute attribute, KAOSModel model)
{
foreach (var id in attribute.ParsedPredicates)
{
Predicate p;
if ((p = model.formalSpecRepository.GetPredicate(id)) == null)
{
p = new Predicate(model, id)
{
Implicit = true
};
model.Add(p);
}
var monitoringLink = new AgentControlLink(model)
{
AgentIdentifier = element.Identifier,
PredicateIdentifier = p.Identifier
};
model.Add(monitoringLink);
}
}
public void Add(AgentControlLink v)
{
this.agentRepository.Add(v);
}
