683         public void maybeChooseFileName() {

   683         public void maybeChooseFileName() {

   684             if (thisClass == null) {

   684             if (thisClass == null) {

   685                 return;  // do not choose yet

   685                 return;  // do not choose yet

   686             }

   686             }

   687             String canonName = canonicalFileName();

   687             String canonName = canonicalFileName();

   689                 file.nameString = canonName;

   689                 file.nameString = canonName;

   690             }

   690             }

   691             if (file.nameString.equals(canonName)) {

   691             if (file.nameString.equals(canonName)) {

   692                 // The file name is predictable.  Transmit "".

   692                 // The file name is predictable.  Transmit "".

   693                 file.name = getRefString("");

   693                 file.name = getRefString("");

   704             return thisClass.stringValue() + ".class";

   704             return thisClass.stringValue() + ".class";

   705         }

   705         }

   706 

   706 

   707         public java.io.File getFileName(java.io.File parent) {

   707         public java.io.File getFileName(java.io.File parent) {

   708             String name = file.name.stringValue();

   708             String name = file.name.stringValue();

   710                 name = canonicalFileName();

   710                 name = canonicalFileName();

   711             String fname = name.replace('/', java.io.File.separatorChar);

   711             String fname = name.replace('/', java.io.File.separatorChar);

   712             return new java.io.File(parent, fname);

   712             return new java.io.File(parent, fname);

   713         }

   713         }

   714         public java.io.File getFileName() {

   714         public java.io.File getFileName() {

   777             assert(stubClass != null);

   777             assert(stubClass != null);

   778             return stubClass;

   778             return stubClass;

   779         }

   779         }

   780         public boolean isTrivialClassStub() {

   780         public boolean isTrivialClassStub() {

   781             return isClassStub()

   781             return isClassStub()

   783                 && (modtime == NO_MODTIME || modtime == default_modtime)

   783                 && (modtime == NO_MODTIME || modtime == default_modtime)

   784                 && (options &~ FO_IS_CLASS_STUB) == 0;

   784                 && (options &~ FO_IS_CLASS_STUB) == 0;

   785         }

   785         }

   786 

   786 

   787         // The nameString is the key.  Ignore other things.

   787         // The nameString is the key.  Ignore other things.