ridl-syntax 0.5.0

The RIDL family lexer and grammar: a lossless concrete syntax tree over rowan.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package veh.commands

/// Command shapes (ridl reference §6).
interface CommandShapes {

  /// One parameter plus a require predicate attribute.
  command setGear(position: GearPosition) [
    require position != GearPosition.PARK || currentSpeed == 0.0
  ]

  /// No parameters.
  command resetFaults()

  /// Two parameters; a qualified type reference.
  command setTarget(goal: Speed, mode: veh.common.DriveMode)

  /// A tuple parameter type (typl §11).
  command moveTo(pose: (x: Distance, y: Distance))
}