Class: TimeRange¶
A temporal interval with inclusive start and end
classDiagram
class TimeRange
click TimeRange href "../../classes/TimeRange/"
TimeRange : end
TimeRange --> "1" TimeInstant : end
click TimeInstant href "../../classes/TimeInstant/"
TimeRange : start
TimeRange --> "1" TimeInstant : start
click TimeInstant href "../../classes/TimeInstant/"
Slots¶
| Name | Cardinality and Range | Description | Inheritance |
|---|---|---|---|
| start | 1 TimeInstant |
Start of interval | direct |
| end | 1 TimeInstant |
End of interval | direct |
Usages¶
| used by | used in | type | used |
|---|---|---|---|
| TemporalSlice | timeRange | range | TimeRange |
Rules¶
¶
| Rule Applied | Preconditions | Postconditions | Elseconditions |
|--------------|---------------|----------------|----------------|| description | |Start must be less than or equal to end | |
Identifier and Mapping Information¶
Schema Source¶
- from schema: https://debrief.info/schemas/debrief
Mappings¶
| Mapping Type | Mapped Value |
|---|---|
| self | debrief:TimeRange |
| native | debrief:TimeRange |
LinkML Source¶
Direct¶
name: TimeRange
description: A temporal interval with inclusive start and end
from_schema: https://debrief.info/schemas/debrief
attributes:
start:
name: start
description: Start of interval
from_schema: https://debrief.info/schemas/session-state
domain_of:
- PlotTimeExtent
- TimeRange
- TimeFilter
range: TimeInstant
required: true
end:
name: end
description: End of interval
from_schema: https://debrief.info/schemas/session-state
domain_of:
- PlotTimeExtent
- TimeRange
- TimeFilter
range: TimeInstant
required: true
rules:
- postconditions:
description: Start must be less than or equal to end
Induced¶
name: TimeRange
description: A temporal interval with inclusive start and end
from_schema: https://debrief.info/schemas/debrief
attributes:
start:
name: start
description: Start of interval
from_schema: https://debrief.info/schemas/session-state
alias: start
owner: TimeRange
domain_of:
- PlotTimeExtent
- TimeRange
- TimeFilter
range: TimeInstant
required: true
end:
name: end
description: End of interval
from_schema: https://debrief.info/schemas/session-state
alias: end
owner: TimeRange
domain_of:
- PlotTimeExtent
- TimeRange
- TimeFilter
range: TimeInstant
required: true
rules:
- postconditions:
description: Start must be less than or equal to end