code: public static void patternFail(int number, String msg, ILexLocation location)
  			throws PatternMatchException
  	{
  		throw new PatternMatchException(number, msg, location);
  	}
docs: Throw a PatternMatchException with the given message.
  
  @param number
  @param msg
  @param location
  @throws PatternMatchException