diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-13 01:31:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-13 01:31:30 -0700 |
| commit | 3a00b0c4586ef61c93b7b7320cce4d720014f2bf (patch) | |
| tree | a6fe5d508905508df657111f5eb5bb5237c163f7 /src/bindings | |
| parent | e87c898707f609f636318a2489dd1dd3afda4d8e (diff) | |
Remove unused RecordSelect and TupleSelect (#1087)
Commit 62b673a6b8444c14c169a984dd6e3fc8f685851e remove most of the
record/tuple infrastructure but did not remove the classes RecordSelect and
TupleSelect which lead to issues with Java bindings (the references to the
corresponding mkConst implementations could not be resolved). This commit
removes the remaining traces of those classes.
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/compat/java/src/cvc3/ValidityChecker.java | 8 | ||||
| -rw-r--r-- | src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp | 4 |
2 files changed, 0 insertions, 12 deletions
diff --git a/src/bindings/compat/java/src/cvc3/ValidityChecker.java b/src/bindings/compat/java/src/cvc3/ValidityChecker.java index 7407d0251..1b38a4c95 100644 --- a/src/bindings/compat/java/src/cvc3/ValidityChecker.java +++ b/src/bindings/compat/java/src/cvc3/ValidityChecker.java @@ -312,8 +312,6 @@ public class ValidityChecker extends Embedded { private static native Object jniTupleExpr(Object ValidityChecker, Object[] Exprs) throws Cvc3Exception; private static native Object - jniTupleSelectExpr(Object ValidityChecker, Object ExprTuple, int index) throws Cvc3Exception; - private static native Object jniTupleUpdateExpr(Object ValidityChecker, Object ExprTuple, int index, Object ExprNewValue) throws Cvc3Exception; private static native Object @@ -1380,12 +1378,6 @@ public class ValidityChecker extends Embedded { embeddedManager()); } - public ExprMut tupleSelectExpr(Expr tuple, int index) throws Cvc3Exception { - return new ExprMut( - jniTupleSelectExpr(embedded(), tuple.embedded(), index), - embeddedManager()); - } - public ExprMut tupleUpdateExpr(Expr tuple, int index, Expr newValue) throws Cvc3Exception { return new ExprMut( jniTupleUpdateExpr(embedded(), tuple.embedded(), index, newValue.embedded()), diff --git a/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp b/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp index 6bab7d2e0..cfda940d8 100644 --- a/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp +++ b/src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp @@ -596,10 +596,6 @@ DEFINITION: Java_cvc3_ValidityChecker_jniTupleExpr jobject m ValidityChecker vc cv Expr exprs return embed_copy(env, vc->tupleExpr(exprs)); -DEFINITION: Java_cvc3_ValidityChecker_jniTupleSelectExpr -jobject m ValidityChecker vc c Expr tuple n int index -return embed_copy(env, vc->tupleSelectExpr(*tuple, index)); - DEFINITION: Java_cvc3_ValidityChecker_jniTupleUpdateExpr jobject m ValidityChecker vc c Expr tuple n int index c Expr value return embed_copy(env, vc->tupleUpdateExpr(*tuple, index, *value)); |