Skip to content

WebDSL-TimeInterval.sdf3

pdmosses/webdsl-statix/webdslstatix/syntax/WebDSL-TimeInterval.sdf3

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

module WebDSL-TimeInterval

imports
  WebDSL-Action
  WebDSL-Core

context-free sorts

  TimeIntervalPart TimeInterval

context-free syntax

  TimeIntervalPart.Weeks = <<Exp> weeks>
  TimeIntervalPart.Days = <<Exp> days>
  TimeIntervalPart.Hours = <<Exp> hours>
  TimeIntervalPart.Minutes = <<Exp> minutes>
  TimeIntervalPart.Seconds = <<Exp> seconds>
  TimeIntervalPart.Milliseconds = <<Exp> milliseconds>
  TimeInterval.TimeInterval = <<TimeIntervalPart*>>

context-free syntax

  Definition.InvokeEvery = <
    invoke <Exp> every <TimeInterval>
  >