summaryrefslogtreecommitdiff
path: root/src/net/portnet/reservedportnet.cil
blob: e6ebc79e1cf2c85d8f35c92dea20fd8ca3eb1a1b (plain)
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
;; SPDX-FileCopyrightText: © 2024 Dominick Grift <dominick.grift@defensec.nl>
;; SPDX-License-Identifier: Unlicense

(block reserved

  (portcon "dccp" (1 1023) port_context)
  (portcon "sctp" (1 1023) port_context)
  (portcon "tcp" (1 1023) port_context)
  (portcon "udp" (1 1023) port_context)

  (blockinherit .net.port.reserved.template))

(in net.port

    (block reserved

      (macro type ((type ARG1))
	     (typeattributeset typeattr ARG1))

      (blockinherit .net.port.all_macro_template)

      (typeattribute typeattr)

      (call .net.port.type (typeattr))

      (block base_template

	(blockabstract base_template)

	(blockinherit .net.port.base_template)

	(call .net.port.reserved.type (port)))

      (block template

	(blockabstract template)

	(blockinherit .net.port.macro_template)
	(blockinherit .net.port.reserved.base_template))))