Clean up formatting of java code

Author: Owen Jones

src/java_bytecode/java_entry_point.cpp

@@ -38,7 +38,7 @@ Author: Daniel Kroening, [email protected]
 
 Function: create_initialize
 
-  Inputs:
+ Inputs:
 
  Outputs:
 
@@ -90,7 +90,7 @@ static bool should_init_symbol(const symbolt &sym)
 
 Function: java_static_lifetime_init
 
-  Inputs:
+ Inputs:
 
  Outputs:
 
@@ -182,7 +182,7 @@ bool java_static_lifetime_init(
 
 Function: java_build_arguments
 
-  Inputs:
+ Inputs:
 
  Outputs:
 
@@ -261,7 +261,7 @@ exprt::operandst java_build_arguments(
 
 Function: java_record_outputs
 
-  Inputs:
+ Inputs:
 
  Outputs:
 
@@ -520,10 +520,13 @@ main_function_resultt get_main_symbol(
 
 Function: java_entry_point
 
-  Inputs: symbol_table
-          main class
-          message_handler
-          allow pointers in initialization code to be null
+ Inputs:
+  symbol_table
+  main class
+  message_handler
+  assume_init_pointers_not_null - allow pointers in initialization code to be
+                                  null
+  max_nondet_array_length
 
  Outputs: true if error occurred on entry point search
 

src/java_bytecode/java_object_factory.cpp

@@ -42,13 +42,13 @@ class java_object_factoryt:public messaget
     size_t _max_nondet_array_length,
     symbol_tablet &_symbol_table,
     message_handlert &_message_handler):
-    init_code(_init_code),
-    assume_non_null(_assume_non_null),
-    max_nondet_array_length(_max_nondet_array_length),
-    symbol_table(_symbol_table),
-    message_handler(_message_handler),
-    ns(_symbol_table)
-    {}
+      init_code(_init_code),
+      assume_non_null(_assume_non_null),
+      max_nondet_array_length(_max_nondet_array_length),
+      symbol_table(_symbol_table),
+      message_handler(_message_handler),
+      ns(_symbol_table)
+  {}
 
   exprt allocate_object(
     const exprt &,
@@ -72,7 +72,7 @@ class java_object_factoryt:public messaget
 
 Function: java_object_factoryt::allocate_object
 
-  Inputs:
+ Inputs:
 
  Outputs:
 
@@ -152,17 +152,17 @@ exprt java_object_factoryt::allocate_object(
 
 Function: java_object_factoryt::gen_nondet_init
 
-  Inputs:
-   expr -
-   is_sub -
-   class_identifier -
-   loc -
-   create_dynamic_objects -
-   override - Ignore the LHS' real type. Used at the moment for
-              reference arrays, which are implemented as void*
-              arrays but should be init'd as their true type with
-              appropriate casts.
-   override_type - Type to use if ignoring the LHS' real type
+ Inputs:
+  expr -
+  is_sub -
+  class_identifier -
+  loc -
+  create_dynamic_objects -
+  override - Ignore the LHS' real type. Used at the moment for
+             reference arrays, which are implemented as void*
+             arrays but should be init'd as their true type with
+             appropriate casts.
+  override_type - Type to use if ignoring the LHS' real type
 
  Outputs:
 
@@ -340,7 +340,7 @@ void java_object_factoryt::gen_nondet_init(
 
 Function: java_object_factoryt::gen_nondet_array_init
 
-  Inputs:
+ Inputs:
 
  Outputs:
 
@@ -519,7 +519,7 @@ exprt get_nondet_bool(const typet &type)
 
 Function: object_factory
 
-  Inputs:
+ Inputs:
 
  Outputs: