UnificationOrMatchingFailure
On Mar 7, 2014 12:37 PM, "Yilong Li" <notifications@github.com> wrote:

> In
> src/javasources/KTool/src/org/kframework/backend/java/builtins/MetaK.java:
>
> > +     * Checks if the subject term matches the pattern.
> > +     *
> > +     * @param subject
> > +     *            the subject term
> > +     * @param pattern
> > +     *            the pattern term
> > +     * @param context
> > +     *            the term context
> > +     * @return {@link BoolToken#TRUE} if the two terms can be matched;
> > +     *         otherwise, {@link BoolToken#FALSE}
> > +     */
> > +    public static BoolToken matchable(Term subject, Term pattern, TermContext context) {
> > +        PatternMatcher matcher = new PatternMatcher(context);
> > +        try {
> > +            matcher.match(subject, pattern);
> > +        } catch (PatternMatchingFailure e) {
>
> Can you come up with a good name for the base class?
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/270/files#r10398836>
> .
>