# 목록에서 빠진 검사
# Question: javadoc 이 든 조건과 본문이 보는 조건은 같은가?
direction: right
n0: "검증 호출자" {
  shape: rectangle
}
n1: "javadoc 이 든 조건" {
  shape: rectangle
}
n2: "검증 본문" {
  shape: rectangle
}
n3: "본문이 보는 조건" {
  shape: rectangle
}
n4: "구현 검사" {
  shape: rectangle
}
n0 -> n1: "선언 읽기"
n1 -> n2: "목록 전달"
n2 -> n3: "실제 조건"
n4 -> n3: "검사 수행"