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