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.


Constructor Index

 o World(String)
Create a World.

Method Index

 o createEvaluation(String, DynamicEnvironment)
Create an Evaluation from a String but don't start it.
 o createEvaluation(Value, DynamicEnvironment)
Create an Evaluation from a Value but don't start it.
 o createFileEvaluation(String, DynamicEnvironment)
Preload files from the JAR file or CLASSPATH or URL.
 o createMacroWorld(String)
Create a world suitable to be a default macro world.
 o createStandardWorld()
Utility to create a standard world (with a macro world).
 o enrichWorldWithWorldRelatedPrimitives()
Enrich the global environment with the functions that are world-related.
 o getEnvironment()
 o getMacroWorld()
 o getName()
 o setEnvironment(Environment)
 o setMacroWorld(WorldAble)

Constructors

 o 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).

Methods

 o getName
 public String getName()
Overrides:
getName in class Jaja
 o setEnvironment
 public synchronized void setEnvironment(Environment env)
 o getEnvironment
 public synchronized Environment getEnvironment()
 o enrichWorldWithWorldRelatedPrimitives
 public void enrichWorldWithWorldRelatedPrimitives()
Enrich the global environment with the functions that are world-related. These are eval, load and expand.

 o getMacroWorld
 public synchronized WorldAble getMacroWorld()
 o setMacroWorld
 public synchronized void setMacroWorld(WorldAble world)
 o createMacroWorld
 public static WorldAble createMacroWorld(String name)
Create a world suitable to be a default macro world. This world

 o createStandardWorld
 public static WorldAble createStandardWorld()
Utility to create a standard world (with a macro world). Pay attention the macro world has no macro world.

 o createEvaluation
 public EvaluationAble createEvaluation(String program,
                                        DynamicEnvironment denv)
Create an Evaluation from a String but don't start it.

 o createEvaluation
 public EvaluationAble createEvaluation(Value program,
                                        DynamicEnvironment denv)
Create an Evaluation from a Value but don't start it.

 o 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