All Packages Class Hierarchy This Package Previous Next Index
Class Jaja.NamedBox
java.lang.Object
|
+----Jaja.Jaja
|
+----Jaja.Value
|
+----Jaja.Box
|
+----Jaja.NamedBox
- public class NamedBox
- extends Box
This class implements named boxes, a variety of boxes that know their
name and produce a more detailed error when read while uninitialized.
-
name
-
-
NamedBox(String)
-
-
getBoxContent()
- Read the content of a box.
name
public String name
NamedBox
public NamedBox(String n)
getBoxContent
public Value getBoxContent()
- Read the content of a box.
- Overrides:
- getBoxContent in class Box
All Packages Class Hierarchy This Package Previous Next Index