diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-10 16:13:34 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-13 12:52:09 +0100 |
| commit | 6b52293f4defa6b45b564d037fd641be5d6d0e0e (patch) | |
| tree | 53c7f28df3fd2666ca165ce7231d470c9d1e2dc5 /pkg/ast/walk.go | |
| parent | 9dc808a65eb3f44d64e078b79bcac0f0510629f6 (diff) | |
pkg/compiler: support type templates
Netlink descriptions contain tons of code duplication,
and need much more for proper descriptions. Introduce
type templates to simplify writing such descriptions
and remove code duplication.
Note: type templates are experimental, have poor error handling
and are subject to change.
Type templates can be declared as follows:
```
type buffer[DIR] ptr[DIR, array[int8]]
type fileoff[BASE] BASE
type nlattr[TYPE, PAYLOAD] {
nla_len len[parent, int16]
nla_type const[TYPE, int16]
payload PAYLOAD
} [align_4]
```
and later used as follows:
```
syscall(a buffer[in], b fileoff[int64], c ptr[in, nlattr[FOO, int32]])
```
Diffstat (limited to 'pkg/ast/walk.go')
| -rw-r--r-- | pkg/ast/walk.go | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/pkg/ast/walk.go b/pkg/ast/walk.go index fd5065013..fe9112578 100644 --- a/pkg/ast/walk.go +++ b/pkg/ast/walk.go @@ -49,7 +49,15 @@ func (n *Resource) Walk(cb func(Node)) { func (n *TypeDef) Walk(cb func(Node)) { cb(n.Name) - cb(n.Type) + for _, a := range n.Args { + cb(a) + } + if n.Type != nil { + cb(n.Type) + } + if n.Struct != nil { + cb(n.Struct) + } } func (n *Call) Walk(cb func(Node)) { |
