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
20
21
22
23

package veh.queries

/// All four return shapes (ridl reference §7.1, general form §6.1).
interface QueryShapes {

  /// Named return; require and ensure predicate attributes.
  query getAverageSpeed(window: Duration): Speed [
    require window > 0ms
    ensure  result >= 0.0
  ]

  /// Named-field tuple return.
  query getMinMax(window: Duration): (min: Speed, max: Speed)

  /// Stream return.
  query streamFaults(filter: DiagFilter): <FaultEvent>

  /// Inline fallible return (general form §6.1, ADR-0008 decision 1).
  query calibrate(axle: Axle): CalReport | CalError

  /// Qualified fallible arms.
  query fetchProfile(id: ProfileId): veh.common.Profile | veh.common.ProfileError
}