search

hycos / regex2smtlib

A regular expression to SMT-LIB constraint translator
MIT License
10 stars 2 forks source link

/RegexLexer.java:2: error: package org.antlr.v4.runtime does not exist #2

Open muchang opened 3 months ago

muchang commented 3 months ago

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!

muchang commented 3 months ago

I also tried to add antlr dependencies in pom.xml with version 4.7.1. It still produces the same error when executing.