// File: /workspace/github_cpp_makefile_star2_O1/tomfunkhouser[P]gaps/pkgs/RNBasics/json.cpp
// Function: Json::StyledWriter::writeValue(Json::Value const&)
void StyledWriter::writeValue(const Value& value) {
  switch (value.type()) {
  case nullValue:
    pushValue("null");
    break;
  case intValue:
    pushValue(valueToString(value.asLargestInt()));
    break;
  case uintValue:
    pushValue(valueToString(value.asLargestUInt()));
    break;
  case realValue:
    pushValue(valueToString(value.asDouble()));
    break;
  case stringValue:
  {
    // Is NULL possible for value.string_?
    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 (;;) {
        const std::string& name = *it;
        const Value& childValue = value[name];
        writeCommentBeforeValue(childValue);
        writeWithIndent(valueToQuotedString(name.c_str()));
        document_ += " : ";
        writeValue(childValue);
        if (++it == members.end()) {
          writeCommentAfterValueOnSameLine(childValue);
          break;
        }
        document_ += ',';
        writeCommentAfterValueOnSameLine(childValue);
      }
      unindent();
      writeWithIndent("}");
    }
  } break;
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movzwl 0x8(%rsi), %eax
cmpb $0x7, %al
ja 0x86627
movq %rsi, %r14
movq %rdi, %rbx
movzbl %al, %ecx
leaq 0x3ac1e(%rip), %rdx     # 0xc0ec0
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3b752(%rip), %rsi     # 0xc1a0d
leaq 0x3b74f(%rip), %rdx     # 0xc1a11
movq %rsp, %rdi
callq 0x1ab58
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x868b6
jmp 0x8665c
cmpb $0x4, %al
sete %cl
movq (%r14), %r14
testq %r14, %r14
setne %bpl
andb %cl, %bpl
cmpb $0x1, %bpl
jne 0x865a1
btl $0x8, %eax
jb 0x865df
movq %r14, %rdi
callq 0x11260
jmp 0x865e6
movq %r14, %rdi
callq 0x82ef4
movq %rsp, %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x82a33
movq %rbx, %rdi
movq %r14, %rsi
callq 0x868b6
jmp 0x8660c
movq %r14, %rdi
callq 0x830e6
movq %rsp, %r14
movq %r14, %rdi
xorl %esi, %esi
movl $0x11, %edx
callq 0x85332
movq %rbx, %rdi
movq %r14, %rsi
callq 0x868b6
jmp 0x8660c
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x80cd4
movq (%r15), %rax
cmpq 0x8(%r15), %rax
je 0x865a3
leaq 0x10(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3b6c0(%rip), %rsi     # 0xc1a4a
leaq 0x3b6ba(%rip), %rdx     # 0xc1a4b
movq %rsp, %rdi
callq 0x1ab58
movq %rbx, %rdi
callq 0x86d90
leaq 0x20(%rbx), %r15
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x111e0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x863d1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rbx, %rdi
callq 0x86bb4
movq 0x20(%rsp), %r12
movq (%r12), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x841d8
leaq 0x3ab47(%rip), %rbp     # 0xc0f40
testq %rax, %rax
je 0x86401
movq %rax, %rbp
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86176
movq (%r12), %rsi
movq %rsp, %rdi
callq 0x8547a
movq %rbx, %rdi
callq 0x86d90
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x111e0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x8644c
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %r15, %rdi
leaq 0x3b5f6(%rip), %rsi     # 0xc1a4c
callq 0x11b60
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86278
addq $0x20, %r12
movq 0x28(%rsp), %r13
cmpq %r13, %r12
je 0x86481
movq %r15, %rdi
movl $0x2c, %esi
callq 0x114e0
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86706
cmpq %r13, %r12
jne 0x863de
leaq 0x40(%rbx), %rdi
movq 0x48(%rbx), %rsi
movl 0x64(%rbx), %eax
subq %rax, %rsi
xorl %edx, %edx
callq 0x111d0
movq %rsp, %rdi
leaq 0x10(%rsp), %rax
movq %rax, (%rdi)
leaq 0x3b58c(%rip), %rsi     # 0xc1a48
leaq 0x3b586(%rip), %rdx     # 0xc1a49
callq 0x1ab58
movq %rbx, %rdi
callq 0x86d90
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x111e0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x864fc
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
leaq 0x20(%rsp), %rdi
callq 0x89d42
jmp 0x86627
movq %r14, %rdi
callq 0x82d26
movq %rsp, %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x82936
movq %rbx, %rdi
movq %r14, %rsi
callq 0x868b6
jmp 0x8660c
movq %r14, %rdi
callq 0x8049c
leaq 0x3aff2(%rip), %rcx     # 0xc1532
leaq 0x3aff0(%rip), %rsi     # 0xc1537
testb %al, %al
cmovneq %rcx, %rsi
leaq 0x10(%rsp), %r15
movq %r15, -0x10(%r15)
movzbl %al, %edx
xorq $0x5, %rdx
addq %rsi, %rdx
movq %rsp, %r14
movq %r14, %rdi
callq 0x1ab58
movq %rbx, %rdi
movq %r14, %rsi
callq 0x868b6
movq (%rsp), %rdi
cmpq %r15, %rdi
jne 0x8661a
jmp 0x86627
movq %rbx, %rdi
movq %r14, %rsi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x868d8
jmp 0x865eb
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3b494(%rip), %rsi     # 0xc1a47
leaq 0x3b48f(%rip), %rdx     # 0xc1a49
movq %rsp, %rdi
callq 0x1ab58
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x868b6
movq (%rsp), %rdi
cmpq %r14, %rdi
jne 0x864ef
jmp 0x864fc
movl (%r14), %eax
addq $0x4, %r14
movl %eax, %edx
addq %r14, %rdx
testb %bpl, %bpl
je 0x86636
subl %r14d, %edx
movq %rsp, %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x85ccd
movq %rbx, %rdi
movq %r15, %rsi
callq 0x868b6
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86627
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x37ff1(%rip), %rdx     # 0xbe637
movq %rsp, %rdi
movq %rdx, %rsi
callq 0x1ab58
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x868b6
movq (%rsp), %rdi
cmpq %r14, %rdi
jne 0x8661a
jmp 0x86627
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
jne 0x866e1
jmp 0x866f3
jmp 0x866f0
jmp 0x86685
jmp 0x866a5
jmp 0x866aa
jmp 0x866f0
jmp 0x866f0
jmp 0x866f0
jmp 0x866f0
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r14, %rdi
jne 0x866bb
jmp 0x866fd
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r15, %rdi
jne 0x866bb
jmp 0x866fd
jmp 0x866aa
jmp 0x866aa
movq %rax, %rbx
jmp 0x866fd
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x866fd
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
jmp 0x866fd
jmp 0x866d0
jmp 0x866d0
jmp 0x866f0
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x866f3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
jmp 0x866f3
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x89d42
movq %rbx, %rdi
callq 0x11a70
nop