Serialized Form

Package gnu.bytecode

Class gnu.bytecode.ClassType extends ObjectType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the class name (as given by getName()) using writeUTF.

Throws:

java.io.IOException

Package gnu.expr

Class gnu.expr.Keyword extends Symbol implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.expr.ModuleExp extends LambdaExp implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.expr.PairClassType extends ClassType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the class name (as given by getName()) using writeUTF.

Throws:

java.io.IOException

Class gnu.expr.Special extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the keword name (without colons) using writeUTF.

Throws:

java.io.IOException

Package gnu.jemacs.buffer

Class gnu.jemacs.buffer.CancelledException extends java.lang.RuntimeException implements Serializable

Class gnu.jemacs.buffer.Signal extends java.lang.RuntimeException implements Serializable

Serialized Fields

name

java.lang.String name

data

java.lang.Object data

Package gnu.jemacs.lang

Class gnu.jemacs.lang.CatchableException extends java.lang.RuntimeException implements Serializable

Serialized Fields

tag

java.lang.Object tag

value

java.lang.Object value

Class gnu.jemacs.lang.Print extends DisplayFormat implements Serializable

Package gnu.jemacs.swing

Class gnu.jemacs.swing.IgnoreAction extends javax.swing.text.TextAction implements Serializable

Class gnu.jemacs.swing.Modeline extends javax.swing.JTextPane implements Serializable

Serialized Fields

window

EWindow window

Class gnu.jemacs.swing.SwingMenu extends javax.swing.JMenu implements Serializable

Class gnu.jemacs.swing.TooLongAction extends javax.swing.AbstractAction implements Serializable

Serialized Fields

maxValid

int maxValid

Package gnu.kawa.functions

Class gnu.kawa.functions.DisplayFormat extends AbstractFormat implements Serializable

Serialization Methods

writeObject

public void writeObject(java.lang.Object obj,
                        Consumer out)

Serialized Fields

readable

boolean readable

language

char language

'S' is Scheme-style; 'C' is CommonLisp-style; 'E' is Emacs-style. Note Emacs has its own sub-class gnu.jemacs.lang.Print.

Class gnu.kawa.functions.GetNamedInstancePart extends ProcedureN implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.functions.IntegerFormat extends IntegerFormat implements Serializable

Class gnu.kawa.functions.LispFormat extends CompoundFormat implements Serializable

Class gnu.kawa.functions.ObjectFormat extends ReportFormat implements Serializable

Serialized Fields

maxChars

int maxChars

Maxiumum number of characters to show. Truncate any following characters. The value PARAM_UNSPECIFIED means "no limit".

readable

boolean readable

Package gnu.kawa.lispexpr

Class gnu.kawa.lispexpr.ClassNamespace extends Namespace implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.lispexpr.LispPackage extends Namespace implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Package gnu.kawa.models

Class gnu.kawa.models.Box extends Model implements Serializable

Serialized Fields

components

Viewable[] components

numComponents

int numComponents

cellSpacing

Viewable cellSpacing

Class gnu.kawa.models.Column extends Box implements Serializable

Class gnu.kawa.models.DrawImage extends Model implements Serializable

Serialized Fields

image

java.awt.image.BufferedImage image

src

Path src

description

java.lang.String description

Class gnu.kawa.models.Label extends Model implements Serializable

Serialized Fields

text

java.lang.String text

Class gnu.kawa.models.Row extends Box implements Serializable

Class gnu.kawa.models.Spacer extends Model implements Serializable

Serialized Fields

minSize

java.awt.geom.Dimension2D minSize

preferredSize

java.awt.geom.Dimension2D preferredSize

maxSize

java.awt.geom.Dimension2D maxSize

Class gnu.kawa.models.Text extends Model implements Serializable

Serialized Fields

buffer

CharBuffer buffer

Package gnu.kawa.reflect

Class gnu.kawa.reflect.ArrayGet extends Procedure2 implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.reflect.ArrayLength extends Procedure1 implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.reflect.ArrayNew extends Procedure1 implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.reflect.ArraySet extends Procedure3 implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.reflect.OccurrenceType extends ObjectType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Package gnu.kawa.servlet

Class gnu.kawa.servlet.KawaPageServlet extends KawaServlet implements Serializable

Serialized Fields

context

javax.servlet.ServletContext context

Class gnu.kawa.servlet.KawaServlet extends javax.servlet.http.HttpServlet implements Serializable

Class gnu.kawa.servlet.ReplServlet extends javax.servlet.http.HttpServlet implements Serializable

Package gnu.kawa.swingviews

Class gnu.kawa.swingviews.SwingButton extends javax.swing.JButton implements Serializable

Serialized Fields

model

Button model

Class gnu.kawa.swingviews.SwingFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

display

SwingDisplay display

Class gnu.kawa.swingviews.SwingPaintable extends javax.swing.JPanel implements Serializable

Serialized Fields

paintable

Paintable paintable

dim

java.awt.Dimension dim

Package gnu.kawa.xml

Class gnu.kawa.xml.AncestorAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.AncestorOrSelfAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.AttributeAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.AttributeType extends NodeType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.ChildAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.DescendantAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.DescendantOrSelfAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.ElementType extends NodeType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.FollowingAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.FollowingSiblingAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.Nodes extends Values implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the length (using writeInt), followed by the values in order (written using writeObject).

Throws:

java.io.IOException

Class gnu.kawa.xml.NodeSetType extends OccurrenceType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.NodeType extends ObjectType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.ParentAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.PrecedingAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.PrecedingSiblingAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.ProcessingInstructionType extends NodeType implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.SelfAxis extends TreeScanner implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.SortedNodes extends Nodes implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the length (using writeInt), followed by the values in order (written using writeObject).

Throws:

java.io.IOException

Class gnu.kawa.xml.TreeScanner extends MethodProc implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.kawa.xml.XInteger extends IntNum implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

If the value is in the range (int)0xC000000 .. 0x7fffffff (inclusive) write out the value (using writeInt). Otherwise, write (using writeInt) (0x80000000|nwords), where nwords is the number of words following. The words are the minimal 2's complement big-endian representation of the value, written using writeint. (Even if the current value is not canonicalized, the output is).

Throws:

java.io.IOException

Class gnu.kawa.xml.XmlNamespace extends Namespace implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Package gnu.lists

Class gnu.lists.AbstractFormat extends java.text.Format implements Serializable

Serialization Methods

writeObject

public final void writeObject(java.lang.Object obj,
                              java.io.Writer out)

writeObject

public final void writeObject(java.lang.Object obj,
                              PrintConsumer out)

writeObject

public abstract void writeObject(java.lang.Object v,
                                 Consumer out)

Class gnu.lists.BitVector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeBoolean).

Throws:

java.io.IOException

Class gnu.lists.CharBuffer extends StableVector implements Serializable

Serialized Fields

string

FString string

Class gnu.lists.EofClass extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.lists.F32Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeFloat).

Throws:

java.io.IOException

Class gnu.lists.F64Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeDouble).

Throws:

java.io.IOException

Class gnu.lists.FString extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeChar).

Throws:

java.io.IOException

Class gnu.lists.FVector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the number of elements (using writeInt), followed by the elements in order (written using writeObject). (It might seem simpler (and increase sharing) to just call writeObject(value), but that exposes the implementation.)

Throws:

java.io.IOException

Class gnu.lists.LList extends ExtSequence implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write nothing. (Don't need to write anything.)

Throws:

java.io.IOException

Class gnu.lists.Pair extends LList implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the car followed by the cdr.

Throws:

java.io.IOException

Class gnu.lists.PairWithPosition extends Pair implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the car followed by the cdr, followed by filename (as an Object, so it can be shared), followed by position (line|(column<<20)).

Throws:

java.io.IOException

Class gnu.lists.S16Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeShort).

Throws:

java.io.IOException

Class gnu.lists.S32Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeInt).

Throws:

java.io.IOException

Class gnu.lists.S64Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeLong).

Throws:

java.io.IOException

Class gnu.lists.S8Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeByte).

Throws:

java.io.IOException

Class gnu.lists.U16Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeShort).

Throws:

java.io.IOException

Class gnu.lists.U32Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeInt).

Throws:

java.io.IOException

Class gnu.lists.U64Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeLong).

Throws:

java.io.IOException

Class gnu.lists.U8Vector extends SimpleVector implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'size' (using writeInt), followed by 'size' elements in order (using writeByte).

Throws:

java.io.IOException

Class gnu.lists.UnescapedData extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write 'data' (using writeObject).

Throws:

java.io.IOException

Package gnu.mapping

Class gnu.mapping.Namespace extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.mapping.Symbol extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.mapping.UnboundLocationException extends java.lang.RuntimeException implements Serializable

Serialized Fields

symbol

java.lang.Object symbol

location

Location location

filename

java.lang.String filename

line

int line

column

int column

Class gnu.mapping.Values extends TreeList implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the length (using writeInt), followed by the values in order (written using writeObject).

Throws:

java.io.IOException

Class gnu.mapping.ValueStack extends Values implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the length (using writeInt), followed by the values in order (written using writeObject).

Throws:

java.io.IOException

Class gnu.mapping.WrappedException extends java.lang.RuntimeException implements Serializable

Class gnu.mapping.WrongArguments extends java.lang.IllegalArgumentException implements Serializable

Serialized Fields

number

int number

usage

java.lang.String usage

procname

java.lang.String procname

proc

Procedure proc

Class gnu.mapping.WrongType extends WrappedException implements Serializable

Serialized Fields

number

int number

Number of the argument, 1-origin.
Can be an integer >= 1, or one of the values ARG_UNKNOWN, ARG_VARNAME, or ARG_DESCRIPTION.

procname

java.lang.String procname

Name of Procedure that threw the exception (if non-null).

proc

Procedure proc

The Procedure that threw the exception (if non-null).

argValue

java.lang.Object argValue

The actual argument that was bad.

expectedType

java.lang.Object expectedType

The expected parameter type (a Type or TypeValue), or a string name/description.

Package gnu.math

Class gnu.math.BaseUnit extends NamedUnit implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the unit name (using writeUTF), followed. followed by the name of the dimension it is a unit for. The latter is either null or a String and is written with writeObject.

Throws:

java.io.IOException

Class gnu.math.CComplex extends Complex implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the real and imaginary parts, as Objects.

Throws:

java.io.IOException

Class gnu.math.Complex extends Quantity implements Serializable

Class gnu.math.CQuantity extends Quantity implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the complex value (using writeObject) followed by the Unit (also using writeUnit).

Throws:

java.io.IOException

Class gnu.math.DateTime extends Quantity implements Serializable

Serialized Fields

unit

Unit unit

nanoSeconds

int nanoSeconds

Fractional seconds, in units of nanoseconds.

calendar

java.util.GregorianCalendar calendar

mask

int mask

Class gnu.math.DComplex extends Complex implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Writes the real part, followed by the imaginary part. Both are written as doubles (using writeDouble).

Throws:

java.io.IOException

Class gnu.math.DFloNum extends RealNum implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Writes the number as a double (using writeDouble).

Throws:

java.io.IOException

Class gnu.math.DQuantity extends Quantity implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the value (using writeDouble) followed by the Unit (using writeObject).

Throws:

java.io.IOException

Class gnu.math.Duration extends Quantity implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.math.ExponentialFormat extends java.text.Format implements Serializable

Serialized Fields

fracDigits

int fracDigits

Number of fractional digits to show. This is `d' in the CommonLisp spec.

intDigits

int intDigits

Number of digits to show in the integer part of the result. If positive, The number of digits before the decimal point. If negative, the -intDigits zeros are emitted after the decimal point. This is `k' in the CommonLisp spec.

expDigits

int expDigits

Number of digits to show in the exponent. Zero means unspecified - show as many as needed.

overflowChar

char overflowChar

padChar

char padChar

exponentChar

char exponentChar

exponentShowSign

boolean exponentShowSign

Display sign of exponent even when it is non-negative.

showPlus

boolean showPlus

True if '+' should be printed for non-negative number.

width

int width

general

boolean general

Class gnu.math.FixedRealFormat extends java.text.Format implements Serializable

Serialized Fields

i

int i

d

int d

width

int width

scale

int scale

padChar

char padChar

showPlus

boolean showPlus

internalPad

boolean internalPad

overflowChar

char overflowChar

Class gnu.math.IntFraction extends RatNum implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Serial Data:

Read the numerator and denominator as IntNums. Assumes they have no common factors.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the (canonicalized) numerator and denominator IntNums.

Throws:

java.io.IOException

Class gnu.math.IntNum extends RatNum implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

If the value is in the range (int)0xC000000 .. 0x7fffffff (inclusive) write out the value (using writeInt). Otherwise, write (using writeInt) (0x80000000|nwords), where nwords is the number of words following. The words are the minimal 2's complement big-endian representation of the value, written using writeint. (Even if the current value is not canonicalized, the output is).

Throws:

java.io.IOException

Class gnu.math.NamedUnit extends Unit implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the unit name (using writeUTF), followed by the definition (value) of this unit as a scale followed by a base.

Throws:

java.io.IOException

Class gnu.math.Numeric extends java.lang.Number implements Serializable

Class gnu.math.Quantity extends Numeric implements Serializable

Class gnu.math.RatNum extends RealNum implements Serializable

Class gnu.math.RealNum extends Complex implements Serializable

Class gnu.math.Unit extends Quantity implements Serializable

Serialized Fields

dims

Dimensions dims

factor

double factor

The value of this Unit is factor*dims.

products

gnu.math.MulUnit products

base

Unit base

A Unit equivalent to this unit, divided by factor. Same as the value of the dimensions() only.

Package gnu.text

Class gnu.text.CaseConvertFormat extends ReportFormat implements Serializable

Serialized Fields

code

char code

baseFormat

java.text.Format baseFormat

Class gnu.text.Char extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Writes the char value as a char. If the value is > 0xFFFF, write a pair of surrogate values. If the value is is a high surrogate only, write it followed by '\0'.

Throws:

java.io.IOException

Class gnu.text.CompoundFormat extends ReportFormat implements Serializable

Serialized Fields

length

int length

formats

java.text.Format[] formats

Class gnu.text.EnglishIntegerFormat extends java.text.NumberFormat implements Serializable

Serialization Methods

writeObject

public void writeObject(java.lang.Object value,
                        Consumer out)

Serialized Fields

ordinal

boolean ordinal

Class gnu.text.FlushFormat extends ReportFormat implements Serializable

Class gnu.text.IntegerFormat extends ReportFormat implements Serializable

Serialized Fields

base

int base

minWidth

int minWidth

Minimal width of the result, includiing sign, commas, etc. However, if the MIN_DIGITS flag is given, it's the minimum number of digits instead. This is used for printf-style "precision".

padChar

int padChar

The padding characters, by default ' '.

commaChar

int commaChar

commaInterval

int commaInterval

flags

int flags

Class gnu.text.LiteralFormat extends ReportFormat implements Serializable

Serialized Fields

text

char[] text

Class gnu.text.PadFormat extends ReportFormat implements Serializable

Serialized Fields

minWidth

int minWidth

Minimum width.

padChar

char padChar

where

int where

What percentage of padding appears after the data. -1 means internal padding (after initial '-' or '+' or '0x' or '0X').

fmt

java.text.Format fmt

Class gnu.text.ReportFormat extends java.text.Format implements Serializable

Class gnu.text.RomanIntegerFormat extends java.text.NumberFormat implements Serializable

Serialized Fields

oldStyle

boolean oldStyle

Class gnu.text.SyntaxException extends java.lang.Exception implements Serializable

Serialized Fields

header

java.lang.String header

If non-null, an extra one-line message printed before the messages. Can be used to provide extra context.

messages

SourceMessages messages

One or more error messages that triggered this exception.

maxToPrint

int maxToPrint

Package gnu.xml

Class gnu.xml.NamespaceBinding extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.xml.XName extends Symbol implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Package gnu.xquery.util

Class gnu.xquery.util.NamedCollator extends java.text.Collator implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class gnu.xquery.util.XQException extends java.lang.RuntimeException implements Serializable

Serialized Fields

code

Symbol code

description

java.lang.String description

errorValue

java.lang.Object errorValue

Package kawa

Class kawa.GuiConsole extends java.awt.Frame implements Serializable

Serialized Fields

language

Language language

environment

Environment environment

thread

Future thread

in_r

QueueReader in_r

out_p

OutPort out_p

err_p

OutPort err_p

message

MessageArea message

Class kawa.MessageArea extends java.awt.TextArea implements Serializable

Serialized Fields

out_stream

TextAreaWriter out_stream

out

java.io.PrintWriter out

err

java.io.PrintWriter err

in

QueueReader in

outputMark

int outputMark

endMark

int endMark

length

int length

Package kawa.lang

Class kawa.lang.AnyPat extends Pattern implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write nothing.

Throws:

java.io.IOException

Class kawa.lang.AutoloadProcedure extends Procedure implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class kawa.lang.AutoloadSyntax extends Syntax implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class kawa.lang.CalledContinuation extends java.lang.RuntimeException implements Serializable

Serialized Fields

values

java.lang.Object[] values

continuation

Continuation continuation

Class kawa.lang.EqualPat extends Pattern implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the value (using writeObject).

Throws:

java.io.IOException

Class kawa.lang.GenericError extends java.lang.RuntimeException implements Serializable

Class kawa.lang.ListRepeatPat extends Pattern implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the element_pattern (using writeObject).

Throws:

java.io.IOException

Class kawa.lang.Macro extends Syntax implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the name followed by the expansion procedure, both using writeObject.

Throws:

java.io.IOException

Class kawa.lang.NamedException extends java.lang.RuntimeException implements Serializable

Serialized Fields

name

java.lang.String name

args

java.lang.Object[] args

Class kawa.lang.PairPat extends Pattern implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write the car and then the cdr patterns (using writeObject).

Throws:

java.io.IOException

Class kawa.lang.SyntaxForm extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class kawa.lang.SyntaxPattern extends Pattern implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class kawa.lang.SyntaxRule extends SyntaxTemplate implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException

Class kawa.lang.SyntaxRules extends Procedure1 implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Write literal_identifiers followed by rules, using writeObject.

Throws:

java.io.IOException

Class kawa.lang.SyntaxTemplate extends java.lang.Object implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Serial Data:

Throws:

java.io.IOException

Class kawa.lang.TemplateScope extends LetExp implements Serializable

Serialization Methods

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Throws:

java.io.IOException