public void Add(GoalProvided annotation)
{
if (GoalProvidedAnnotations.ContainsKey(annotation.Identifier))
{
throw new ArgumentException(string.Format("Goal Provided annotation identifier already exist: {0}", annotation.Identifier));
}
GoalProvidedAnnotations.Add(annotation.Identifier, annotation);
}
public override void Handle(Goal element, ParsedProvidedAttribute attribute, KAOSModel model)
{
var provided = new GoalProvided(model,
element.Identifier,
attribute.ObstacleIdentifier,
fb.BuildFormula(attribute.Formula));
if (!model.obstacleRepository.ObstacleExists(attribute.ObstacleIdentifier))
{
model.Add(new Obstacle(model)
{
Identifier = attribute.ObstacleIdentifier,
Implicit = true
});
}
model.Add(provided);
}
public void Add(GoalProvided providedNotAnnotation)
{
this.goalRepository.Add(providedNotAnnotation);
}
