hycos / regex2smtlib Goto Github PK

Hello,
I tried the examples of Translator.INSTANCE.translateToClause and Translator.INSTANCE.translateToConstraint, both of which cause a NullPointerException.

java.lang.NullPointerException
at com.github.hycos.regex2smtlib.Translator.render(Translator.java:149)
at com.github.hycos.regex2smtlib.Translator.translateToClause(Translator.java:107)

It seems that the code fails to instantiate a MustacheEngine object.

thanks

Hi Julia,
I found this project would be helpful for me. However, I cannot boot it up with my client code. The problem I encountered was building the project and executing with client code with mvn compile exec:java results in a /RegexLexer.java:2: error: package org.antlr.v4.runtime does not exist. My client code is as follows:

// Test.java

package com.github.hycos.regex2smtlib;

import com.github.hycos.regex2smtlib.Translator;

public class Test {
    public static void main(String[] args) {
        try {
            String constraint = Translator.INSTANCE.translateToConstraint("z3","abc*","v1");
        } catch (Exception e) {
        }
    }
}

I put the Test.java in src/main/java/com/github/hycos/regex2smtlib. Do you have any idea about how to boot it up? It's an old project though :) Thank you in advance!