All Packages Class Hierarchy This Package Previous Next Index
Class Jaja.World
java.lang.Object
|
+----Jaja.Jaja
|
+----Jaja.World
- public class World
- extends Jaja
- implements WorldAble
This class implements a Jaja World. A World is characterized by a
global environment and a macroWorld used for expansion. Multiple
evaluations may be performed simultaneously in a World but,
alternatively, multiple independent Worlds may coexist.
A world is independent of any dynamic environment.
-
World(String)
- Create a World.
-
createEvaluation(String, DynamicEnvironment)
- Create an Evaluation from a String but don't start it.
-
createEvaluation(Value, DynamicEnvironment)
- Create an Evaluation from a Value but don't start it.
-
createFileEvaluation(String, DynamicEnvironment)
- Preload files from the JAR file or CLASSPATH or URL.
-
createMacroWorld(String)
- Create a world suitable to be a default macro world.
-
createStandardWorld()
- Utility to create a standard world (with a macro world).
-
enrichWorldWithWorldRelatedPrimitives()
- Enrich the global environment with the functions that are
world-related.
-
getEnvironment()
-
-
getMacroWorld()
-
-
getName()
-
-
setEnvironment(Environment)
-
-
setMacroWorld(WorldAble)
-
World
public World(String name)
- Create a World. It comes without macro world. It also comes with
an empty global environement. Therefore it is just possible to
evaluate closed forms (aka lambda-calculus).
getName
public String getName()
- Overrides:
- getName in class Jaja
setEnvironment
public synchronized void setEnvironment(Environment env)
getEnvironment
public synchronized Environment getEnvironment()
enrichWorldWithWorldRelatedPrimitives
public void enrichWorldWithWorldRelatedPrimitives()
- Enrich the global environment with the functions that are
world-related. These are eval, load and expand.
getMacroWorld
public synchronized WorldAble getMacroWorld()
setMacroWorld
public synchronized void setMacroWorld(WorldAble world)
createMacroWorld
public static WorldAble createMacroWorld(String name)
- Create a world suitable to be a default macro world. This world
createStandardWorld
public static WorldAble createStandardWorld()
- Utility to create a standard world (with a macro world).
Pay attention the macro world has no macro world.
createEvaluation
public EvaluationAble createEvaluation(String program,
DynamicEnvironment denv)
- Create an Evaluation from a String but don't start it.
createEvaluation
public EvaluationAble createEvaluation(Value program,
DynamicEnvironment denv)
- Create an Evaluation from a Value but don't start it.
createFileEvaluation
public EvaluationAble createFileEvaluation(String filename,
DynamicEnvironment denv)
- Preload files from the JAR file or CLASSPATH or URL.
All Packages Class Hierarchy This Package Previous Next Index