- return new Symbol(ns == null ? null : ns.intern(), name.intern());
- }
-
- int i = nsname.lastIndexOf('/');
- if(i == -1 || nsname.equals("/"))
- return new Symbol(null, nsname.intern());
- else
- return new Symbol(nsname.substring(0, i).intern(), nsname.substring(i + 1).intern());
- }
-