// File: /workspace/github_cpp_makefile_star2_O3/DoubleString[P]RtConverter/src/Json/json_writer.cpp
// Function: Json::BuiltStyledStreamWriter::writeValue(Json::Value const&)
void BuiltStyledStreamWriter::writeValue(Value const& value) {
  switch (value.type()) {
  case nullValue:
    pushValue(nullSymbol_);
    break;
  case intValue:
    pushValue(valueToString(value.asLargestInt()));
    break;
  case uintValue:
    pushValue(valueToString(value.asLargestUInt()));
    break;
  case realValue:
    pushValue(valueToString(value.asDouble(), useSpecialFloats_, precision_,
                            precisionType_));
    break;
  case stringValue: {
    // Is NULL is possible for value.string_? No.
    char const* str;
    char const* end;
    bool ok = value.getString(&str, &end);
    if (ok)
      pushValue(valueToQuotedStringN(str, static_cast<unsigned>(end - str)));
    else
      pushValue("");
    break;
  }
  case booleanValue:
    pushValue(valueToString(value.asBool()));
    break;
  case arrayValue:
    writeArrayValue(value);
    break;
  case objectValue: {
    Value::Members members(value.getMemberNames());
    if (members.empty())
      pushValue("{}");
    else {
      writeWithIndent("{");
      indent();
      Value::Members::iterator it = members.begin();
      for (;;) {
        JSONCPP_STRING const& name = *it;
        Value const& childValue = value[name];
        writeCommentBeforeValue(childValue);
        writeWithIndent(valueToQuotedStringN(
            name.data(), static_cast<unsigned>(name.length())));
        *sout_ << colonSymbol_;
        writeValue(childValue);
        if (++it == members.end()) {
          writeCommentAfterValueOnSameLine(childValue);
          break;
        }
        *sout_ << ",";
        writeCommentAfterValueOnSameLine(childValue);
      }
      unindent();
      writeWithIndent("}");
    }
  } break;
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x13364
cmpl $0x7, %eax
ja 0x1ab87
movl %eax, %eax
leaq 0x4f985(%rip), %rcx     # 0x6a204
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x98(%rbx), %rsi
movq %rbx, %rdi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1adc8
leaq -0x60(%rbp), %rsi
leaq -0x68(%rbp), %rdx
movq %r14, %rdi
callq 0x1370a
testb %al, %al
je 0x1ab52
movq -0x60(%rbp), %rsi
movl -0x68(%rbp), %edx
subl %esi, %edx
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x1837d
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1adc8
jmp 0x1aa72
movq %r14, %rdi
callq 0x140fa
leaq -0x48(%rbp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x18048
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1adc8
jmp 0x1aa72
movq %r14, %rdi
callq 0x14104
movb 0xd8(%rbx), %al
andb $0x4, %al
shrb $0x2, %al
movl 0xdc(%rbx), %edx
movl 0xe0(%rbx), %ecx
movzbl %al, %esi
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x18123
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1adc8
jmp 0x1aa72
leaq -0x60(%rbp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x15d40
movq (%r15), %rax
cmpq 0x8(%r15), %rax
je 0x1ab96
leaq -0x38(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x4f9ea(%rip), %rsi     # 0x6a35c
leaq 0x4f9e4(%rip), %rdx     # 0x6a35d
leaq -0x48(%rbp), %rdi
callq 0x1100a
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x1b0dc
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x1a9a0
callq 0x85d0
leaq 0x28(%rbx), %rdi
movq 0x50(%rbx), %rsi
movq 0x58(%rbx), %rdx
callq 0x81f0
movq -0x60(%rbp), %r15
leaq -0x48(%rbp), %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x154d4
movq %rax, %r13
movq %rbx, %rdi
movq %rax, %rsi
callq 0x1a70e
movq (%r15), %rsi
movl 0x8(%r15), %edx
movq %r12, %rdi
callq 0x1837d
movq %rbx, %rdi
movq %r12, %rsi
callq 0x1b0dc
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x1a9fe
callq 0x85d0
movq 0x8(%rbx), %rdi
movq 0x78(%rbx), %rsi
movq 0x80(%rbx), %rdx
callq 0x8720
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1a84e
addq $0x20, %r15
cmpq -0x58(%rbp), %r15
je 0x1aaf8
movq 0x8(%rbx), %rdi
movl $0x1, %edx
leaq 0x5e908(%rip), %rsi     # 0x79343
callq 0x8720
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1ac5c
jmp 0x1a9b9
movq %r14, %rdi
callq 0x140f0
leaq -0x48(%rbp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x17f18
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1adc8
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
jne 0x1ab82
jmp 0x1ab87
movq %r14, %rdi
callq 0x142e8
leaq 0x4f055(%rip), %rcx     # 0x69aec
leaq 0x4ef55(%rip), %rsi     # 0x699f3
testb %al, %al
cmovneq %rcx, %rsi
leaq -0x38(%rbp), %r15
movq %r15, -0x10(%r15)
movzbl %al, %edx
xorq $0x5, %rdx
addq %rsi, %rdx
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x1100a
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1adc8
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
jne 0x1ab82
jmp 0x1ab87
movq %rbx, %rdi
movq %r14, %rsi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1adf4
movq %rbx, %rdi
movq %r13, %rsi
callq 0x1ac5c
movq %rbx, %rdi
callq 0x1b130
leaq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
movq %rax, (%rdi)
leaq 0x4f83d(%rip), %rsi     # 0x6a35a
leaq 0x4f837(%rip), %rdx     # 0x6a35b
callq 0x1100a
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x1b0dc
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x1ab47
callq 0x85d0
leaq -0x60(%rbp), %rdi
callq 0x101e2
jmp 0x1ab87
leaq -0x38(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x4fa94(%rip), %rdx     # 0x6a5f5
leaq -0x48(%rbp), %rdi
movq %rdx, %rsi
callq 0x1100a
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x1adc8
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
je 0x1ab87
callq 0x85d0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq -0x38(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x4f7b4(%rip), %rsi     # 0x6a359
leaq 0x4f7af(%rip), %rdx     # 0x6a35b
leaq -0x48(%rbp), %rdi
callq 0x1100a
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x1adc8
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x1ab42
jmp 0x1ab47
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x1ac41
jmp 0x1ac4b
jmp 0x1ac48
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r14, %rdi
jne 0x1ac28
jmp 0x1ac54
movq %rax, %rbx
jmp 0x1ac54
jmp 0x1ac18
jmp 0x1ac31
jmp 0x1ac48
jmp 0x1ac48
jmp 0x1ac48
jmp 0x1ac48
jmp 0x1ac31
jmp 0x1ac48
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
jne 0x1ac28
jmp 0x1ac54
jmp 0x1ac18
jmp 0x1ac18
movq %rax, %rbx
leaq -0x38(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1ac54
callq 0x85d0
jmp 0x1ac54
jmp 0x1ac48
movq %rax, %rbx
movq -0x48(%rbp), %rdi
leaq -0x38(%rbp), %rax
cmpq %rax, %rdi
je 0x1ac4b
callq 0x85d0
jmp 0x1ac4b
movq %rax, %rbx
leaq -0x60(%rbp), %rdi
callq 0x101e2
movq %rbx, %rdi
callq 0x8b30