Page range

Inclusive page range within a source file.

$defs.page_range · object

Definition JSON

This fragment is shown exactly as published. Use the chevrons to fold objects and arrays; linked $ref values return to their targets in the complete schema.

{ … }    "type": "object",
    "additionalProperties": false,
    "properties": { … },        "start": { … },            "type": "integer",
            "minimum": 1        },
        "end": { … },            "type": "integer",
            "minimum": 1        },
        "label": { … }            "type": "string"        }    },
    "required": [ … ],        "start",
        "end"    ],
    "description": "Inclusive page range within a source file."}

Fields

Field	Type	Status	Meaning
`start`	integer — minimum 1	Required	Start used by this schema object.
`end`	integer — minimum 1	Required	End used by this schema object.
`label`	string	Optional	Label used by this schema object.