ScriptSourceModel model
javax.swing.JTextArea ta
GlyphGutter gg
int linecount
boolean isModified
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
DateRGF.jdn
.
Uses DateRGF.jdn2date(int jdn, DateRGF aDate)
to re-create the appropriate
DateRGF object.
Note: the locally Gregorian change date will be used to create a Julian or a Gregorian calendar date.
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
DateRGF.jdn
.java.io.IOException
private void readObject(java.io.ObjectInputStream in) throws java.io.IOException, java.lang.ClassNotFoundException
TimeRGF.raw_millis
.
Uses TimeRGF.set(DTC.ENCODED_AS_MILLIS, raw_millis)
to re-create the appropriate
TimeRGF object.java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
TimeRGF.raw_millis
.java.io.IOException
RexxProxy rexxConditionObject