net.sourceforge.czt.animation.gui

Class AnimatorCore

java.lang.Object

net.sourceforge.czt.animation.gui.AnimatorCore

public class AnimatorCore
extends Object

The core program for normal animation of a specification.

Field Summary

Fields

Modifier and Type	Field and Description
protected History	history History property.
protected String	initScript_
protected String	initScriptLanguage_
protected BeanContextServices	rootContext The Bean context for this object (proxied through #getBeanContextProxy()).
protected URL	specificationURL_

Constructor Summary

Constructors

Constructor and Description
AnimatorCore(File file)
AnimatorCore(String fileName)

Method Summary

Modifier and Type	Method and Description
BeanContextChild	getBeanContextProxy() Getter function for rootContext.
History	getHistory() Getter function for history.
String	getInitScript()
String	getInitScriptLanguage()
String	getSpecificationURL()
static int	run(String[] args)
void	setHistory(History h) Setter function for history.
void	setInitScript(String initScript)
void	setInitScriptLanguage(String initScriptLanguage)
void	setSpecificationURL(String specificationURL)

Methods inherited from class java.lang.Object

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

Field Detail

history

protected History history

History property. Keeps track of history of solution sets.

rootContext

protected BeanContextServices rootContext

The Bean context for this object (proxied through #getBeanContextProxy()). Provides services to contexts and beans in the program.

initScript_

protected String initScript_

initScriptLanguage_

protected String initScriptLanguage_

specificationURL_

protected URL specificationURL_

Constructor Detail

AnimatorCore

public AnimatorCore(String fileName)
             throws FileNotFoundException

Throws:

FileNotFoundException

AnimatorCore

public AnimatorCore(File file)
             throws FileNotFoundException

Throws:

FileNotFoundException

Method Detail

getHistory

public History getHistory()

Getter function for history.

Returns:

The property history.

See Also:

history

setHistory

public void setHistory(History h)

Setter function for history.

Parameters:

h - The property history.

See Also:

history

getBeanContextProxy

public BeanContextChild getBeanContextProxy()

Getter function for rootContext.

Returns:

The root context.

See Also:

rootContext, BeanContextProxy

setInitScript

public void setInitScript(String initScript)

setInitScriptLanguage

public void setInitScriptLanguage(String initScriptLanguage)

getInitScript

public String getInitScript()

getInitScriptLanguage

public String getInitScriptLanguage()

setSpecificationURL

public void setSpecificationURL(String specificationURL)

getSpecificationURL

public String getSpecificationURL()

run

public static int run(String[] args)