public static Selection forName(String name) {
        int idx;
        Class cl;

        idx = name.lastIndexOf('.'); // empty
        if (idx == -1) {
            return new Selection();
        }
        cl = ClassRef.classFind(name.substring(0, idx));
        if (cl == null) {
            return new Selection(); // empty
        }
        return forName(cl, name.substring(idx + 1));
    }
public static Selection forName ( String name ) { int idx ; Class cl ; idx = name . lastIndexOf ( '.' ) ; if ( idx == - 1 ) { return new Selection ( ) ; } cl = ClassRef . classFind ( name . substring ( 0 , idx ) ) ; if ( cl == null ) { return new Selection ( ) ; } return forName ( cl , name . substring ( idx + 1 ) ) ; }
--