Examples of cvc3.QueryResult

cvc3.Expr
QueryResult is an enum in Cvc3, but as we have to use java 1.4 we have to use one of the usual tricks instead of java's Enum. To be independent of changes of the actual values of the c++ enum elements they are passed by name from the JNI interface, so that changing them will violently break the code (though unfortunately only at runtime).

    public ExprManagerMut getExprManager() throws Cvc3Exception {
  return new ExprManagerMut(jniGetExprManager(embedded()), embeddedManager());
    }


    public Expr nullExpr() throws Cvc3Exception {
  return new Expr(jniNullExpr(embedded()), embeddedManager());
    }

View Full Code Here

TOP

Related Classes of cvc3.QueryResult

cvc3.Expr

cvc3.ValidityChecker

java.sql.SQLException

java.lang.reflect.Constructor

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.