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); }