private List < String > rdName ( ) { List < String > names = new Vector < String > ( ) ; names . add ( rdIdentifier ( ) ) ; if ( ch == ' ' ) { if ( startOfName ( rdCh ( ) ) ) { names . add ( rdIdentifier ( ) ) ; } } if ( names . size ( ) == 2 ) { // We have the strange mk_Mod`name case... String first = names . get ( 0 ) ; if ( first . startsWith ( "mk_" ) || first . startsWith ( "is_" ) ) { List < String > one = new Vector < String > ( ) ; one . add ( first + "`" + names . get ( 1 ) ) ; names = one ; } } return names ; }
Read a fully qualified module name .