public void Add(AgentMonitoringLink link) { if (AgentMonitoringLinks.ContainsKey(link.Identifier)) { throw new ArgumentException(string.Format("Agent monitor link identifier already exist: {0}", link.Identifier)); } AgentMonitoringLinks.Add(link.Identifier, link); }
public override void Handle(Agent element, ParsedMonitorsAttribute 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 AgentMonitoringLink(model) { AgentIdentifier = element.Identifier, PredicateIdentifier = p.Identifier }; model.Add(monitoringLink); } }
public void Add(AgentMonitoringLink v) { this.agentRepository.Add(v); }