APISonar


utilMDE.SimpleLog.log

> utilMDE > SimpleLog > log
utilMDE APIs SimpleLog APIs log APIs

Example 1
public static final SimpleLog debug_arr_index = new SimpleLog(false);

  public static void push_array_tag (Object arr_ref) {
    tag_stack.push (arr_ref);
    debug_arr_index.log ("push_array_tag %s%n", arr_ref);
  }
Example 2
public static final SimpleLog debug_primitive = new SimpleLog (false);

  public static void push_static_tag (int static_num) {

    Object static_tag = static_tags.get (static_num);
    if (static_tag == null) {
      static_tag = new Object();
      static_tags.set (static_num, static_tag);
    }
    tag_stack.push (static_tag);
    debug_primitive.log ("push_static_tag[%d] %s%n", static_num, static_tag);
  }
Example 3
public static final SimpleLog debug_primitive = new SimpleLog (false);

  public static void binary_tag_op () {
    debug_primitive.log ("binary tag op%n");
    check_method_marker();
    Object tag1 = tag_stack.pop();
    check_method_marker();
    TagEntry.union (tag1, tag_stack.peek());
  }
Example 4
public static final SimpleLog debug_primitive = new SimpleLog (false);

  public static void push_local_tag (Object[] tag_frame, int index) {

    if (debug_primitive.enabled())
      debug_primitive.log ("push_local_tag[%d] %s%n", index, tag_frame[index]);
    assert tag_frame[index] != null : "index " + index;
    tag_stack.push (tag_frame[index]);
  }
Example 5
public static final SimpleLog debug_primitive = new SimpleLog (false);

  public static void push_const() {
    Object tag = new Constant();
    debug_primitive.log ("pushing literal constant %s%n", tag);
    tag_stack.push (tag);
  }
Example 6
public static final SimpleLog debug_decl_print = new SimpleLog (false);

  public static void print_decl_file (PrintWriter ps) {

    // Write the file header
    ps.printf ("// Declaration file written by daikon.dcomp%n%n");
    ps.printf ("VarComparability%nimplicit%n");

    // Write the information for each class
    for (ClassInfo ci : all_classes) {
      print_class_decl (ps, ci);
    }
    debug_decl_print.log ("finished %d classes%n", all_classes.size());
  }
Example 7
public static final SimpleLog debug_arr_index = new SimpleLog(false);

  public static void ref_array_load (Object arr_ref, int index) {

    // Get the tag for the index and mark it as comparable with the array
    Object index_tag = pop_check();
    debug_arr_index.log ("Merging array '%s' and index '%s'", arr_ref,
                         index_tag);
    if (merge_arrays_and_indices)
      TagEntry.union (arr_ref, index_tag);
  }
Example 8
public static final SimpleLog debug_primitive = new SimpleLog (false);

  public static void pop_static_tag (int static_num) {

    check_method_marker();
    static_tags.set (static_num, tag_stack.pop());
    assert static_tags.get(static_num) != null;
    debug_primitive.log ("pop_static_tag[%d] %s%n", static_num,
                         static_tags.get(static_num));
  }