// File: 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
subq $0x240, %rsp            # imm = 0x240
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movq -0x10(%rbp), %rdi
callq 0x1f3a0
movl %eax, %ecx
movq %rcx, -0x1d8(%rbp)
subl $0x7, %eax
ja 0x2f2ab
movq -0x1d8(%rbp), %rax
leaq 0x8db09(%rip), %rcx     # 0xbc710
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x1e0(%rbp), %rdi
movq %rdi, %rsi
addq $0x98, %rsi
callq 0x2f430
jmp 0x2f2ab
movq -0x10(%rbp), %rdi
callq 0x210d0
movq %rax, %rsi
leaq -0x30(%rbp), %rdi
movq %rdi, -0x1e8(%rbp)
callq 0x2ac40
movq -0x1e0(%rbp), %rdi
movq -0x1e8(%rbp), %rsi
callq 0x2f430
jmp 0x2ec5c
leaq -0x30(%rbp), %rdi
callq 0x9480
jmp 0x2f2ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x9480
jmp 0x2f2b4
movq -0x10(%rbp), %rdi
callq 0x210f0
movq %rax, %rsi
leaq -0x60(%rbp), %rdi
movq %rdi, -0x1f0(%rbp)
callq 0x2ade0
movq -0x1e0(%rbp), %rdi
movq -0x1f0(%rbp), %rsi
callq 0x2f430
jmp 0x2ecb5
leaq -0x60(%rbp), %rdi
callq 0x9480
jmp 0x2f2ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x9480
jmp 0x2f2b4
movq -0x10(%rbp), %rdi
callq 0x21110
movq -0x1e0(%rbp), %rax
movzbl 0xd8(%rax), %esi
shrl $0x2, %esi
andl $0x1, %esi
movl 0xdc(%rax), %edx
movl 0xe0(%rax), %ecx
leaq -0x80(%rbp), %rdi
movq %rdi, -0x1f8(%rbp)
callq 0x2af40
movq -0x1e0(%rbp), %rdi
movq -0x1f8(%rbp), %rsi
callq 0x2f430
jmp 0x2ed2b
leaq -0x80(%rbp), %rdi
callq 0x9480
jmp 0x2f2ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x9480
jmp 0x2f2b4
movq -0x10(%rbp), %rdi
leaq -0x88(%rbp), %rsi
leaq -0x90(%rbp), %rdx
callq 0x1fc70
andb $0x1, %al
movb %al, -0x91(%rbp)
testb $0x1, -0x91(%rbp)
je 0x2ede2
movq -0x88(%rbp), %rsi
movl -0x90(%rbp), %edx
movl %esi, %eax
subl %eax, %edx
leaq -0xb8(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0x2b480
movq -0x1e0(%rbp), %rdi
movq -0x200(%rbp), %rsi
callq 0x2f430
jmp 0x2edb4
leaq -0xb8(%rbp), %rdi
callq 0x9480
jmp 0x2ee77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x9480
jmp 0x2f2b4
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x208(%rbp)
callq 0x9d30
movq -0x208(%rbp), %rdx
leaq 0x8df04(%rip), %rsi     # 0xbcd07
leaq -0xd8(%rbp), %rdi
callq 0x9a30
jmp 0x2ee11
movq -0x1e0(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x2f430
jmp 0x2ee26
leaq -0xd8(%rbp), %rdi
callq 0x9480
leaq -0xd9(%rbp), %rdi
callq 0x97e0
jmp 0x2ee77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x2ee66
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0x9480
leaq -0xd9(%rbp), %rdi
callq 0x97e0
jmp 0x2f2b4
jmp 0x2f2ab
movq -0x10(%rbp), %rdi
callq 0x214a0
movzbl %al, %esi
leaq -0x100(%rbp), %rdi
movq %rdi, -0x210(%rbp)
callq 0x2b3a0
movq -0x1e0(%rbp), %rdi
movq -0x210(%rbp), %rsi
callq 0x2f430
jmp 0x2eeb0
leaq -0x100(%rbp), %rdi
callq 0x9480
jmp 0x2f2ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x100(%rbp), %rdi
callq 0x9480
jmp 0x2f2b4
movq -0x1e0(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x2f480
jmp 0x2f2ab
movq -0x10(%rbp), %rsi
leaq -0x118(%rbp), %rdi
callq 0x23e00
leaq -0x118(%rbp), %rdi
callq 0x31510
testb $0x1, %al
jne 0x2ef18
jmp 0x2efb0
leaq -0x139(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0x9d30
movq -0x218(%rbp), %rdx
leaq 0x8db32(%rip), %rsi     # 0xbca6b
leaq -0x138(%rbp), %rdi
callq 0x9a30
jmp 0x2ef47
movq -0x1e0(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x2f430
jmp 0x2ef5c
leaq -0x138(%rbp), %rdi
callq 0x9480
leaq -0x139(%rbp), %rdi
callq 0x97e0
jmp 0x2f28f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x2ef9f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x138(%rbp), %rdi
callq 0x9480
leaq -0x139(%rbp), %rdi
callq 0x97e0
jmp 0x2f29d
leaq -0x161(%rbp), %rdi
movq %rdi, -0x220(%rbp)
callq 0x9d30
movq -0x220(%rbp), %rdx
leaq 0x8da9d(%rip), %rsi     # 0xbca6e
leaq -0x160(%rbp), %rdi
callq 0x9a30
jmp 0x2efdf
movq -0x1e0(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x2f940
jmp 0x2eff4
leaq -0x160(%rbp), %rdi
callq 0x9480
leaq -0x161(%rbp), %rdi
callq 0x97e0
movq -0x1e0(%rbp), %rdi
callq 0x2f9a0
jmp 0x2f01a
leaq -0x118(%rbp), %rdi
callq 0x29570
movq %rax, -0x170(%rbp)
leaq -0x170(%rbp), %rdi
callq 0x314d0
movq %rax, -0x178(%rbp)
movq -0x10(%rbp), %rdi
movq -0x178(%rbp), %rsi
callq 0x231f0
movq %rax, -0x228(%rbp)
jmp 0x2f059
movq -0x1e0(%rbp), %rdi
movq -0x228(%rbp), %rax
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rsi
callq 0x2e9a0
jmp 0x2f07c
movq -0x178(%rbp), %rdi
callq 0x99b0
movq %rax, -0x230(%rbp)
movq -0x178(%rbp), %rdi
callq 0x9b00
movq -0x230(%rbp), %rsi
movl %eax, %edx
leaq -0x1a0(%rbp), %rdi
callq 0x2b480
jmp 0x2f0b2
movq -0x1e0(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x2f940
jmp 0x2f0c7
leaq -0x1a0(%rbp), %rdi
callq 0x9480
movq -0x1e0(%rbp), %rsi
movq 0x8(%rsi), %rdi
addq $0x78, %rsi
callq 0x9690
jmp 0x2f0e9
movq -0x1e0(%rbp), %rdi
movq -0x180(%rbp), %rsi
callq 0x2ebc0
jmp 0x2f0fe
leaq -0x170(%rbp), %rdi
callq 0x314f0
movq %rax, -0x238(%rbp)
leaq -0x118(%rbp), %rdi
callq 0x29420
movq -0x238(%rbp), %rdi
movq %rax, -0x1a8(%rbp)
leaq -0x1a8(%rbp), %rsi
callq 0x31550
testb $0x1, %al
jne 0x2f13d
jmp 0x2f1bc
movq -0x1e0(%rbp), %rdi
movq -0x180(%rbp), %rsi
callq 0x2f2c0
jmp 0x2f152
jmp 0x2f1ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x2f17d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x9480
leaq -0x161(%rbp), %rdi
callq 0x97e0
jmp 0x2f29d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x2f29d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x1a0(%rbp), %rdi
callq 0x9480
jmp 0x2f29d
movq -0x1e0(%rbp), %rax
movq 0x8(%rax), %rdi
leaq 0x9cec7(%rip), %rsi     # 0xcc095
callq 0x9760
jmp 0x2f1d5
movq -0x1e0(%rbp), %rdi
movq -0x180(%rbp), %rsi
callq 0x2f2c0
jmp 0x2f1ea
jmp 0x2f02d
movq -0x1e0(%rbp), %rdi
callq 0x2f9d0
jmp 0x2f1fd
leaq -0x1c9(%rbp), %rdi
movq %rdi, -0x240(%rbp)
callq 0x9d30
movq -0x240(%rbp), %rdx
leaq 0x8d84e(%rip), %rsi     # 0xbca6c
leaq -0x1c8(%rbp), %rdi
callq 0x9a30
jmp 0x2f22c
movq -0x1e0(%rbp), %rdi
leaq -0x1c8(%rbp), %rsi
callq 0x2f940
jmp 0x2f241
leaq -0x1c8(%rbp), %rdi
callq 0x9480
leaq -0x1c9(%rbp), %rdi
callq 0x97e0
jmp 0x2f28f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x2f281
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x9480
leaq -0x1c9(%rbp), %rdi
callq 0x97e0
jmp 0x2f29d
leaq -0x118(%rbp), %rdi
callq 0x15130
jmp 0x2f2ab
leaq -0x118(%rbp), %rdi
callq 0x15130
jmp 0x2f2b4
addq $0x240, %rsp            # imm = 0x240
popq %rbp
retq
movq -0x38(%rbp), %rdi
callq 0x9d20
nopl (%rax)