Merge pull request #56 from tautschnig/java-cleanup

Java bytecode: use expr2java instead of expr2c, formatting fix

Author: Daniel Kroening

src/java_bytecode/java_bytecode_typecheck.cpp

@@ -10,8 +10,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/prefix.h>
 #include <util/config.h>
 
-#include <ansi-c/expr2c.h>
-
+#include "expr2java.h"
 #include "java_bytecode_typecheck.h"
 
 /*******************************************************************\
@@ -28,7 +27,7 @@ Function: java_bytecode_typecheckt::to_string
 
 std::string java_bytecode_typecheckt::to_string(const exprt &expr)
 { 
-  return expr2c(expr, ns);
+  return expr2java(expr, ns);
 }
 
 /*******************************************************************\
@@ -45,7 +44,7 @@ Function: java_bytecode_typecheckt::to_string
 
 std::string java_bytecode_typecheckt::to_string(const typet &type)
 { 
-  return type2c(type, ns);
+  return type2java(type, ns);
 }
 
 /*******************************************************************\

src/java_bytecode/java_entry_point.h

@@ -1,9 +1,10 @@
-/*******************************************************************
- Module:
+/*******************************************************************\
 
- Author: Daniel Kroening, [email protected]
+Module:
 
- \*******************************************************************/
+Author: Daniel Kroening, [email protected]
+
+\*******************************************************************/
 
 #ifndef CPROVER_JAVA_ENTRY_POINT_H
 #define CPROVER_JAVA_ENTRY_POINT_H