public static Value patternFail ( ValueException ve , ILexLocation location ) throws PatternMatchException { throw new PatternMatchException ( ve . number , ve . getMessage ( ) , location ) ; }
Throw a PatternMatchException with a message from the ValueException .