src-gu/mir-reasoner/src/common_classes/Tokenizer.java
/** Returns true if the given string represents a class token,
	 *  otherwise returns false.
	 * @param value The string being tested
	 * @return true if value represents a class token, else false
	 */
Returns true if the given string represents a class token,
otherwise returns false.
@param value The string being tested
@return true if value represents a class token, else false
Returns true if the given string represents a class token otherwise returns false . @param value The string being tested @return true if value represents a class token else false
private static boolean isClassToken(String value){
		String [] namespaceAndClassname = value.split("#");
		if (namespaceAndClassname.length != 2 ||
			namespaceAndClassname[0].isEmpty() ||
			namespaceAndClassname[1].isEmpty())
			return false;
		char[] valueArray = value.toCharArray();		
		for (char c : valueArray){
			if ( !isValidClassChar(c) )
				return false;
		}
		return true;
	}
private static boolean isClassToken ( String value ) { String [ ] namespaceAndClassname = value . split ( "#" ) ; if ( namespaceAndClassname . length != 2 || namespaceAndClassname [ 0 ] . isEmpty ( ) || namespaceAndClassname [ 1 ] . isEmpty ( ) ) return false ; char [ ] valueArray = value . toCharArray ( ) ; for ( char c : valueArray ) { if ( ! isValidClassChar ( c ) ) return false ; } return true ; }
Returns true if the given string represents a class token,
  otherwise returns false.
Returns true if the given string represents a class token otherwise returns false .
// a class token must have one nonempty namespace and one nonempty class name // separated by one pound sign // each character in the namespace and class name must be valid