wit-parser 0.247.0

Tooling for parsing `*.wit` files and working with their contents.
Documentation 
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118

package a:b;

@unstable(feature = not-active)
interface gated {
}

@unstable(feature = active)
interface ungated {
  @unstable(feature = not-active)
  gated: func();

  @unstable(feature = active)
  ungated: func();
}

@unstable(feature = active)
interface ungated2 {
  @unstable(feature = not-active)
  type gated = u32;
  @unstable(feature = not-active)
  type gated2 = gated;

  @unstable(feature = not-active)
  type gated-with-anonymous-type = option<option<gated>>;

  @unstable(feature = active)
  type ungated = u32;
  @unstable(feature = active)
  type ungated2 = ungated;
}

@unstable(feature = inactive)
interface gated-use-target {
  @unstable(feature = inactive)
  type t = u32;
}

@unstable(feature = inactive)
interface gated-use {
  @unstable(feature = inactive)
  use gated-use-target.{t};
}

@unstable(feature = active)
interface ungated-use-target {
  @unstable(feature = active)
  type t = u32;
}

@unstable(feature = active)
interface ungated-use {
  @unstable(feature = active)
  use ungated-use-target.{t};
}

@unstable(feature = inactive)
interface gated-for-world {}

@unstable(feature = inactive)
world gated-world {
  @unstable(feature = inactive)
  import gated-for-world;
  @unstable(feature = inactive)
  export gated-for-world;
}

@unstable(feature = active)
interface ungated-for-world {}

@unstable(feature = active)
world ungated-world {
  @unstable(feature = active)
  import ungated-for-world;
  @unstable(feature = active)
  export ungated-for-world;
}

world mixed-world {
  @unstable(feature = inactive)
  import gated-for-world;
  @unstable(feature = inactive)
  export gated-for-world;
  @unstable(feature = inactive)
  include gated-world;

  @unstable(feature = active)
  import ungated-for-world;
  @unstable(feature = active)
  export ungated-for-world;
  @unstable(feature = inactive)
  include ungated-world;
}

interface with-resources {
  @unstable(feature = inactive)
  resource gated {
    @unstable(feature = inactive)
    constructor();

    @unstable(feature = inactive)
    x: static func();

    @unstable(feature = inactive)
    y: func();
  }

  @unstable(feature = active)
  resource ungated {
    @unstable(feature = active)
    constructor();

    @unstable(feature = active)
    x: static func();

    @unstable(feature = active)
    y: func();
  }
}