edu.princeton.toy
public class TExampleManager extends java.lang.Object implements java.lang.Runnable
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
EXAMPLE_MANIFEST_FILE
The filename of the example manifest.
|
Modifier and Type | Method and Description |
---|---|
static int |
getExampleCount()
Returns the number of examples which have been sucessfully loaded.
|
static java.lang.String |
getExampleText(int index)
Returns the program text of the requested example.
|
static java.lang.String |
getExampleTitle(int index)
Returns the title of the requested example.
|
static boolean |
isReady()
Indicates wheter or not each example in the manifest either does not exist or has been loaded
and processed.
|
void |
run()
Implement the Runnable interface to load the example files in a separate thread.
|
public static final java.lang.String EXAMPLE_MANIFEST_FILE
public static boolean isReady()
public static int getExampleCount()
public static java.lang.String getExampleTitle(int index)
index
- The index of the requested title. An ArrayIndexOutOfBounds exception will be
thrown if the index is invalid.public static java.lang.String getExampleText(int index)
index
- The index of the requested title. An ArrayIndexOutOfBounds exception will be
thrown if the index is invalid.public void run()
run
in interface java.lang.Runnable