public void TestCompleteObstacleAssignments()
{
var input = @"
declare obstacle
id obstacle
assignedto agent
end";
var parser = new ModelBuilder ();
var model = parser.Parse (input);
var view = new KAOSView (model);
view.Add (model.ObstacleAgentAssignments().Single());
view.CompleteObstacleAgentAssignments ();
view.Elements.Count().ShallEqual (3);
}
public void TestCompleteAntiGoalAssignments()
{
var input = @"
declare antigoal
id goal
assignedto agent
end";
var parser = new ModelBuilder ();
var model = parser.Parse (input);
var view = new KAOSView (model);
view.Add (model.AntiGoalAgentAssignments().Single());
view.CompleteAntiGoalAgentAssignments ();
view.Elements.Count().ShallEqual (3);
}
public void TestCompleteGoalRefinements()
{
var input = @"
declare goal
id goal
refinedby child1, child2
end";
var parser = new ModelBuilder ();
var model = parser.Parse (input);
var view = new KAOSView (model);
view.Add (model.GoalRefinements().Single());
view.CompleteGoalRefinements ();
view.Elements.Count().ShallEqual (4);
}
public void TestObstruction()
{
var input = @"
declare goal
id goal
obstructedby obstacle
end";
var parser = new ModelBuilder ();
var model = parser.Parse (input);
var view = new KAOSView (model);
view.Add (model.Obstructions().Single());
view.CompleteObstruction ();
view.Elements.Count().ShallEqual (3);
}
public void TestResolution()
{
var input = @"
declare obstacle
id obstacle
resolvedby goal
end";
var parser = new ModelBuilder ();
var model = parser.Parse (input);
var view = new KAOSView (model);
view.Add (model.Resolutions().Single());
view.CompleteResolution ();
view.Elements.Count().ShallEqual (3);
}
