Lines Matching defs:nameString
690 if (file.nameString.equals("")) {
691 file.nameString = canonName;
693 if (file.nameString.equals(canonName)) {
700 file.name = getRefString(file.nameString);
751 String nameString; // true name of this file
761 this.nameString = name.stringValue();
764 File(String nameString) {
765 nameString = fixupFileName(nameString);
766 this.name = getRefString(nameString);
767 this.nameString = name.stringValue();
772 return nameString.endsWith("/");
789 // The nameString is the key. Ignore other things.
795 return that.nameString.equals(this.nameString);
798 return nameString.hashCode();
803 return this.nameString.compareTo(that.nameString);
806 return nameString+"{"
818 String lname = this.nameString;
1234 String f0 = r0.nameString;
1235 String f1 = r1.nameString;