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