org.eclipse.palamedes.gdl.core.model
Class GameFactory

java.lang.Object
  org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory
      org.eclipse.palamedes.gdl.core.model.GameFactory

public final class GameFactory
extends AbstractFactory

The GameFactory class is responsible for loading and creating games from all kind of sources with the reasoner of choice. It offers two methods:

• loadGame(, ): which loads a game from a file
• createGame(, ): which creates a game from a string

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory

AbstractFactory.FactoryDescription

Field Summary

static java.lang.String	JAVAPROVER
static java.lang.String	JOCULAR
static java.lang.String	PROLOGPROVER

Fields inherited from class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory

descriptions

Method Summary

IGame	createGame(java.lang.String reasoner, java.lang.String gdl)
static GameFactory	getInstance() Returns the instance of the strategy factory.
IGame	loadGame(java.lang.String reasoner, java.lang.String filename)

Methods inherited from class org.eclipse.palamedes.gdl.core.model.utils.AbstractFactory

addDescription, addDescription, createInstance, createInstance, getDescriptionByName, getDescriptions, removeDescription

Methods inherited from class java.lang.Object

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

Field Detail

JAVAPROVER

public static final java.lang.String JAVAPROVER

See Also:

Constant Field Values

JOCULAR

public static final java.lang.String JOCULAR

See Also:

Constant Field Values

PROLOGPROVER

public static final java.lang.String PROLOGPROVER

See Also:

Constant Field Values

Method Detail

getInstance

public static GameFactory getInstance()

Returns the instance of the strategy factory.

createGame

public IGame createGame(java.lang.String reasoner,
                        java.lang.String gdl)

loadGame

public IGame loadGame(java.lang.String reasoner,
                      java.lang.String filename)