From b76c1b3425b0337c44e6fbb4c488b581ba98527e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hajdu=20=C3=81kos?= Date: Thu, 13 Aug 2020 14:26:47 +0200 Subject: [PATCH] Remove unnecessary imports --- .../hu/bme/mit/theta/cfa/dsl/CfaDslManager.java | 1 - .../hu/bme/mit/theta/cfa/dsl/CfaExpression.java | 16 +--------------- .../bme/mit/theta/core/dsl/CoreDslManager.java | 1 - .../theta/core/dsl/impl/ExprCreatorVisitor.java | 1 - .../bme/mit/theta/core/type/anytype/IteExpr.java | 1 - .../theta/core/type/arraytype/ArrayReadExpr.java | 1 - .../core/type/arraytype/ArrayWriteExpr.java | 1 - .../hu/bme/mit/theta/core/dsl/StmtDslTest.java | 1 - .../java/hu/bme/mit/theta/sts/cli/StsCli.java | 6 ------ .../hu/bme/mit/theta/sts/dsl/StsDslManager.java | 1 - .../hu/bme/mit/theta/xta/dsl/XtaDslManager.java | 1 - 11 files changed, 1 insertion(+), 30 deletions(-) diff --git a/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaDslManager.java b/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaDslManager.java index e783706c0b..00551cfa98 100644 --- a/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaDslManager.java +++ b/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaDslManager.java @@ -20,7 +20,6 @@ import java.io.InputStream; import java.nio.charset.StandardCharsets; -import org.antlr.v4.runtime.ANTLRInputStream; import org.antlr.v4.runtime.CharStream; import org.antlr.v4.runtime.CharStreams; import org.antlr.v4.runtime.CommonTokenStream; diff --git a/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaExpression.java b/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaExpression.java index 9a2646df47..eac309a7f9 100644 --- a/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaExpression.java +++ b/subprojects/cfa/src/main/java/hu/bme/mit/theta/cfa/dsl/CfaExpression.java @@ -38,7 +38,6 @@ import hu.bme.mit.theta.core.type.functype.FuncExprs; import hu.bme.mit.theta.core.type.inttype.IntLitExpr; import hu.bme.mit.theta.core.type.rattype.RatLitExpr; -import hu.bme.mit.theta.core.utils.TypeUtils; import org.antlr.v4.runtime.Token; import java.math.BigInteger; @@ -53,20 +52,7 @@ import static hu.bme.mit.theta.cfa.dsl.gen.CfaDslParser.*; import static hu.bme.mit.theta.common.Utils.*; import static hu.bme.mit.theta.core.decl.Decls.Param; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Add; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Div; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Eq; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Geq; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Gt; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Ite; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Leq; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Lt; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Mod; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Mul; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Neg; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Neq; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Rem; -import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.Sub; +import static hu.bme.mit.theta.core.type.abstracttype.AbstractExprs.*; import static hu.bme.mit.theta.core.type.anytype.Exprs.Prime; import static hu.bme.mit.theta.core.type.arraytype.ArrayExprs.*; import static hu.bme.mit.theta.core.type.booltype.BoolExprs.*; diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/CoreDslManager.java b/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/CoreDslManager.java index a246351f84..8c7fb755e7 100644 --- a/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/CoreDslManager.java +++ b/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/CoreDslManager.java @@ -17,7 +17,6 @@ import static com.google.common.base.Preconditions.checkNotNull; -import org.antlr.v4.runtime.ANTLRInputStream; import org.antlr.v4.runtime.CharStream; import org.antlr.v4.runtime.CharStreams; import org.antlr.v4.runtime.CommonTokenStream; diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprCreatorVisitor.java b/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprCreatorVisitor.java index 45899d09dc..832ed96859 100644 --- a/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprCreatorVisitor.java +++ b/subprojects/core/src/main/java/hu/bme/mit/theta/core/dsl/impl/ExprCreatorVisitor.java @@ -70,7 +70,6 @@ import hu.bme.mit.theta.core.decl.ParamDecl; import hu.bme.mit.theta.core.dsl.DeclSymbol; import hu.bme.mit.theta.core.dsl.gen.CoreDslBaseVisitor; -import hu.bme.mit.theta.core.dsl.gen.CoreDslParser; import hu.bme.mit.theta.core.type.Expr; import hu.bme.mit.theta.core.type.Type; import hu.bme.mit.theta.core.type.abstracttype.AddExpr; diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/anytype/IteExpr.java b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/anytype/IteExpr.java index 645286640d..751a303099 100644 --- a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/anytype/IteExpr.java +++ b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/anytype/IteExpr.java @@ -31,7 +31,6 @@ import hu.bme.mit.theta.core.type.Type; import hu.bme.mit.theta.core.type.booltype.BoolLitExpr; import hu.bme.mit.theta.core.type.booltype.BoolType; -import hu.bme.mit.theta.core.utils.TypeUtils; public final class IteExpr implements Expr { diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayReadExpr.java b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayReadExpr.java index 7b62481f9f..6bee081a1d 100644 --- a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayReadExpr.java +++ b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayReadExpr.java @@ -29,7 +29,6 @@ import hu.bme.mit.theta.core.type.Expr; import hu.bme.mit.theta.core.type.LitExpr; import hu.bme.mit.theta.core.type.Type; -import hu.bme.mit.theta.core.utils.TypeUtils; public final class ArrayReadExpr implements Expr { diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayWriteExpr.java b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayWriteExpr.java index 85ee1eeccb..837a5aaad3 100644 --- a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayWriteExpr.java +++ b/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayWriteExpr.java @@ -31,7 +31,6 @@ import hu.bme.mit.theta.core.type.Expr; import hu.bme.mit.theta.core.type.LitExpr; import hu.bme.mit.theta.core.type.Type; -import hu.bme.mit.theta.core.utils.TypeUtils; public final class ArrayWriteExpr implements Expr> { diff --git a/subprojects/core/src/test/java/hu/bme/mit/theta/core/dsl/StmtDslTest.java b/subprojects/core/src/test/java/hu/bme/mit/theta/core/dsl/StmtDslTest.java index 310930edab..a46a16751b 100644 --- a/subprojects/core/src/test/java/hu/bme/mit/theta/core/dsl/StmtDslTest.java +++ b/subprojects/core/src/test/java/hu/bme/mit/theta/core/dsl/StmtDslTest.java @@ -4,7 +4,6 @@ import hu.bme.mit.theta.core.decl.Decls; import hu.bme.mit.theta.core.decl.VarDecl; import hu.bme.mit.theta.core.stmt.Stmt; -import hu.bme.mit.theta.core.type.inttype.IntExprs; import hu.bme.mit.theta.core.type.inttype.IntType; import org.junit.Assert; import org.junit.Test; diff --git a/subprojects/sts-cli/src/main/java/hu/bme/mit/theta/sts/cli/StsCli.java b/subprojects/sts-cli/src/main/java/hu/bme/mit/theta/sts/cli/StsCli.java index 81f19140a8..113db51104 100644 --- a/subprojects/sts-cli/src/main/java/hu/bme/mit/theta/sts/cli/StsCli.java +++ b/subprojects/sts-cli/src/main/java/hu/bme/mit/theta/sts/cli/StsCli.java @@ -23,15 +23,11 @@ import com.beust.jcommander.ParameterException; import com.google.common.base.Stopwatch; -import hu.bme.mit.theta.analysis.State; import hu.bme.mit.theta.analysis.Trace; import hu.bme.mit.theta.analysis.algorithm.SafetyResult; import hu.bme.mit.theta.analysis.algorithm.cegar.CegarStatistics; -import hu.bme.mit.theta.analysis.expl.ExplState; import hu.bme.mit.theta.analysis.expr.ExprState; import hu.bme.mit.theta.analysis.expr.refinement.PruneStrategy; -import hu.bme.mit.theta.analysis.utils.ArgVisualizer; -import hu.bme.mit.theta.analysis.utils.TraceVisualizer; import hu.bme.mit.theta.common.Utils; import hu.bme.mit.theta.common.logging.ConsoleLogger; import hu.bme.mit.theta.common.logging.Logger; @@ -39,8 +35,6 @@ import hu.bme.mit.theta.common.logging.NullLogger; import hu.bme.mit.theta.common.table.BasicTableWriter; import hu.bme.mit.theta.common.table.TableWriter; -import hu.bme.mit.theta.common.visualization.Graph; -import hu.bme.mit.theta.common.visualization.writer.GraphvizWriter; import hu.bme.mit.theta.core.model.Valuation; import hu.bme.mit.theta.core.type.booltype.BoolExprs; import hu.bme.mit.theta.core.utils.ExprUtils; diff --git a/subprojects/sts/src/main/java/hu/bme/mit/theta/sts/dsl/StsDslManager.java b/subprojects/sts/src/main/java/hu/bme/mit/theta/sts/dsl/StsDslManager.java index c6a05b9149..5cfbe19360 100644 --- a/subprojects/sts/src/main/java/hu/bme/mit/theta/sts/dsl/StsDslManager.java +++ b/subprojects/sts/src/main/java/hu/bme/mit/theta/sts/dsl/StsDslManager.java @@ -22,7 +22,6 @@ import java.util.Arrays; import java.util.List; -import org.antlr.v4.runtime.ANTLRInputStream; import org.antlr.v4.runtime.CharStream; import org.antlr.v4.runtime.CharStreams; import org.antlr.v4.runtime.CommonTokenStream; diff --git a/subprojects/xta/src/main/java/hu/bme/mit/theta/xta/dsl/XtaDslManager.java b/subprojects/xta/src/main/java/hu/bme/mit/theta/xta/dsl/XtaDslManager.java index 7b4762ace8..e499d63731 100644 --- a/subprojects/xta/src/main/java/hu/bme/mit/theta/xta/dsl/XtaDslManager.java +++ b/subprojects/xta/src/main/java/hu/bme/mit/theta/xta/dsl/XtaDslManager.java @@ -20,7 +20,6 @@ import java.io.InputStream; import java.nio.charset.StandardCharsets; -import org.antlr.v4.runtime.ANTLRInputStream; import org.antlr.v4.runtime.CharStream; import org.antlr.v4.runtime.CharStreams; import org.antlr.v4.runtime.CommonTokenStream;