ScriptSourceModel model
javax.swing.JTextArea ta
com.sun.star.script.framework.provider.oorexx.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.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
DateRGF.jdn.java.io.IOExceptionprivate 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.IOExceptionjava.lang.ClassNotFoundExceptionprivate void writeObject(java.io.ObjectOutputStream out)
throws java.io.IOException
TimeRGF.raw_millis.java.io.IOExceptionRexxProxy rexxConditionObject