model

Class GoalSet

java.lang.Object

model.GoalSet

public class GoalSet
extends Object

This class represents the set where all goals are defined.

The goals are stored as Goal objects in a ArrayList.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
(package private) List<Goal>	goals

Constructor Summary

Constructors

Constructor and Description
GoalSet(Goal... goals) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
void	addDefinition(Rule rule) Adds the specified definition to the right goal or creates it if needed.
Goal	getGoal(String goalName) Gets the goal corresponding to the specified name.
String	toString() Returns the set in the form of: "Goals set: { Goal.toString() Goal.toString() }

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

goals

List<Goal> goals

Constructor Detail

GoalSet

public GoalSet(Goal... goals)

Constructor of the class.

Parameters:

goals - an array of the goals to be stored in the set or each goal as a parameter.

Method Detail

getGoal

public Goal getGoal(String goalName)

Gets the goal corresponding to the specified name.

Parameters:

goalName - the name of the goal to get.

Returns:

the goal as an Goal object.

addDefinition

public void addDefinition(Rule rule)

Adds the specified definition to the right goal or creates it if needed.

This method should be used only while creating the GoalSet object.

Parameters:

rule - the Rule object representing the rule to add.

toString

public String toString()

Returns the set in the form of: "Goals set: { Goal.toString() Goal.toString() }

Overrides:

toString in class Object

See Also:

Object.toString()