// File: /workspace/github_cpp_makefile_star2_O1/tomfunkhouser[P]gaps/pkgs/RNBasics/json.cpp
// Function: Json::StyledWriter::writeArrayValue(Json::Value const&)
void StyledWriter::writeArrayValue(const Value& value) {
  unsigned size = value.size();
  if (size == 0)
    pushValue("[]");
  else {
    bool isArrayMultiLine = isMultineArray(value);
    if (isArrayMultiLine) {
      writeWithIndent("[");
      indent();
      bool hasChildValue = !childValues_.empty();
      unsigned index = 0;
      for (;;) {
        const Value& childValue = value[index];
        writeCommentBeforeValue(childValue);
        if (hasChildValue)
          writeWithIndent(childValues_[index]);
        else {
          writeIndent();
          writeValue(childValue);
        }
        if (++index == size) {
          writeCommentAfterValueOnSameLine(childValue);
          break;
        }
        document_ += ',';
        writeCommentAfterValueOnSameLine(childValue);
      }
      unindent();
      writeWithIndent("]");
    } else // output on a single line
    {
      assert(childValues_.size() == size);
      document_ += "[ ";
      for (unsigned index = 0; index < size; ++index) {
        if (index > 0)
          document_ += ", ";
        document_ += childValues_[index];
      }
      document_ += " ]";
    }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r12
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x80e7c
movq %rax, 0x8(%rsp)
testl %eax, %eax
je 0x86a89
movq %rbx, %rdi
movq %r12, %rsi
callq 0x86c48
testb %al, %al
je 0x86add
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x373f0(%rip), %rsi     # 0xbdd14
leaq 0x373ea(%rip), %rdx     # 0xbdd15
leaq 0x10(%rsp), %rdi
callq 0x1ab58
movq %rbx, %rdi
callq 0x86d90
leaq 0x20(%rbx), %rdi
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %rdi, 0x30(%rsp)
callq 0x111e0
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0x8696c
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rbx, %rdi
callq 0x86bb4
movq 0x8(%rbx), %rax
movq %rax, 0x40(%rsp)
movq 0x10(%rbx), %rax
movq %rax, 0x38(%rsp)
movq 0x8(%rsp), %rax
negl %eax
movq %rax, 0x8(%rsp)
movl $0x8, %r15d
xorl %r13d, %r13d
movq %r12, %r14
movq %r12, %rdi
movl %r13d, %esi
callq 0x83aaa
movq %rax, %rbp
movq %rbx, %rdi
movq %rax, %rsi
callq 0x86176
movq 0x38(%rsp), %rax
cmpq %rax, 0x40(%rsp)
je 0x869e4
movq 0x8(%rbx), %r12
movq %rbx, %rdi
callq 0x86d90
movq -0x8(%r12,%r15), %rsi
movq (%r12,%r15), %rdx
movq 0x30(%rsp), %rdi
callq 0x111e0
jmp 0x869f7
movq %rbx, %rdi
callq 0x86d90
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86278
movq 0x8(%rsp), %rax
addl %r13d, %eax
cmpl $-0x1, %eax
je 0x86a13
movq 0x30(%rsp), %rdi
movl $0x2c, %esi
callq 0x114e0
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86706
addq $0x20, %r15
incl %r13d
movq 0x8(%rsp), %rax
addl %r13d, %eax
movq %r14, %r12
jne 0x8699b
leaq 0x40(%rbx), %rdi
movq 0x48(%rbx), %rsi
movl 0x64(%rbx), %eax
subq %rax, %rsi
xorl %edx, %edx
callq 0x111d0
leaq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %r14
movq %r14, (%rdi)
leaq 0x372e0(%rip), %rsi     # 0xbdd3f
leaq 0x372da(%rip), %rdx     # 0xbdd40
callq 0x1ab58
movq %rbx, %rdi
callq 0x86d90
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq 0x30(%rsp), %rdi
callq 0x111e0
jmp 0x86ab7
leaq 0x20(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3afb7(%rip), %rsi     # 0xc1a50
leaq 0x3afb2(%rip), %rdx     # 0xc1a52
leaq 0x10(%rsp), %rdi
callq 0x1ab58
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x868b6
movq 0x10(%rsp), %rdi
cmpq %r14, %rdi
je 0x86ace
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x115c0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x20(%rbx), %r15
leaq 0x3af6b(%rip), %rsi     # 0xc1a53
movq %r15, %rdi
callq 0x11b60
movl 0x8(%rsp), %r12d
shlq $0x5, %r12
xorl %r13d, %r13d
leaq 0x3af53(%rip), %r14     # 0xc1a56
testq %r13, %r13
je 0x86b13
movq %r15, %rdi
movq %r14, %rsi
callq 0x11b60
movq 0x8(%rbx), %rax
movq (%rax,%r13), %rsi
movq 0x8(%rax,%r13), %rdx
movq %r15, %rdi
callq 0x111e0
addq $0x20, %r13
cmpq %r13, %r12
jne 0x86b03
leaq 0x37206(%rip), %rsi     # 0xbdd3e
movq %r15, %rdi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x11b60
jmp 0x86b54
jmp 0x86b54
jmp 0x86b59
movq %rax, %rbx
jmp 0x86b73
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r14, %rdi
je 0x86b73
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rbx, %rdi
callq 0x11a70
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
jne 0x86b66
jmp 0x86b73