Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 1 | from helpers import Base, SourceElement |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 2 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 3 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 4 | class PackageStatement(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 5 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 6 | def __init__(self, name, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 7 | super( |
| 8 | PackageStatement, |
| 9 | self).__init__( |
| 10 | linespan=linespan, |
| 11 | lexspan=lexspan, |
| 12 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 13 | self._fields += ['name'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 14 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 15 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 16 | |
| 17 | def accept(self, visitor): |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 18 | visitor.visit_PackageStatement(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 19 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 20 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 21 | class ImportStatement(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 22 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 23 | def __init__(self, name, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 24 | super( |
| 25 | ImportStatement, |
| 26 | self).__init__( |
| 27 | linespan=linespan, |
| 28 | lexspan=lexspan, |
| 29 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 30 | self._fields += ['name'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 31 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 32 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 33 | |
| 34 | def accept(self, visitor): |
| 35 | visitor.visit_ImportStatement(self) |
| 36 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 37 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 38 | class OptionStatement(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 39 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 40 | def __init__(self, name, value, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 41 | super( |
| 42 | OptionStatement, |
| 43 | self).__init__( |
| 44 | linespan=linespan, |
| 45 | lexspan=lexspan, |
| 46 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 47 | self._fields += ['name', 'value'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 48 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 49 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 50 | self.value = value |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 51 | Base.p(self.value, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 52 | |
| 53 | def accept(self, visitor): |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 54 | visitor.visit_OptionStatement(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 55 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 56 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 57 | class FieldDirective(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 58 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 59 | def __init__(self, name, value, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 60 | super( |
| 61 | FieldDirective, |
| 62 | self).__init__( |
| 63 | linespan=linespan, |
| 64 | lexspan=lexspan, |
| 65 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 66 | self._fields += ['name', 'value'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 67 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 68 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 69 | self.value = value |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 70 | Base.p(self.value, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 71 | |
| 72 | def accept(self, visitor): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 73 | if visitor.visit_FieldDirective(self): |
| 74 | self.v(self.name, visitor) |
| 75 | self.v(self.value, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 76 | visitor.visit_FieldDirective_post(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 77 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 78 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 79 | class FieldType(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 80 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 81 | def __init__(self, name, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 82 | super( |
| 83 | FieldType, |
| 84 | self).__init__( |
| 85 | linespan=linespan, |
| 86 | lexspan=lexspan, |
| 87 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 88 | self._fields += ['name'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 89 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 90 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 91 | |
| 92 | def accept(self, visitor): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 93 | if visitor.visit_FieldType(self): |
| 94 | self.v(self.name, visitor) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 95 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 96 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 97 | class LinkDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 98 | |
| 99 | def __init__( |
| 100 | self, |
| 101 | link_type, |
| 102 | src_port, |
| 103 | name, |
| 104 | through, |
| 105 | dst_port, |
| 106 | linespan=None, |
| 107 | lexspan=None, |
| 108 | p=None): |
| 109 | super( |
| 110 | LinkDefinition, |
| 111 | self).__init__( |
| 112 | linespan=linespan, |
| 113 | lexspan=lexspan, |
| 114 | p=p) |
| 115 | self._fields += ['link_type', 'src_port', |
| 116 | 'name', 'dst_port', 'through'] |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 117 | self.link_type = link_type |
| 118 | Base.p(self.link_type, self) |
Sapan Bhatia | 78fee77 | 2017-04-21 19:00:48 +0200 | [diff] [blame] | 119 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 120 | self.src_port = src_port |
| 121 | Base.p(self.src_port, self) |
Sapan Bhatia | 78fee77 | 2017-04-21 19:00:48 +0200 | [diff] [blame] | 122 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 123 | self.name = name |
| 124 | Base.p(self.name, self) |
Sapan Bhatia | 78fee77 | 2017-04-21 19:00:48 +0200 | [diff] [blame] | 125 | |
| 126 | self.through = through |
| 127 | Base.p(self.through, self) |
| 128 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 129 | self.dst_port = dst_port |
| 130 | Base.p(self.dst_port, self) |
| 131 | |
| 132 | def accept(self, visitor): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 133 | visitor.visit_LinkDefinition(self) |
| 134 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 135 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 136 | class FieldDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 137 | |
| 138 | def __init__( |
| 139 | self, |
| 140 | field_modifier, |
| 141 | ftype, |
| 142 | name, |
| 143 | policy, |
| 144 | fieldId, |
| 145 | fieldDirective, |
| 146 | linespan=None, |
| 147 | lexspan=None, |
| 148 | p=None): |
| 149 | super( |
| 150 | FieldDefinition, |
| 151 | self).__init__( |
| 152 | linespan=linespan, |
| 153 | lexspan=lexspan, |
| 154 | p=p) |
| 155 | self._fields += ['field_modifier', 'ftype', |
| 156 | 'name', 'fieldId', 'policy', 'fieldDirective'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 157 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 158 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 159 | self.field_modifier = field_modifier |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 160 | Base.p(self.field_modifier, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 161 | self.ftype = ftype |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 162 | Base.p(self.ftype, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 163 | self.fieldId = fieldId |
Sapan Bhatia | a368602 | 2017-06-24 07:24:19 -0700 | [diff] [blame] | 164 | self.policy = policy |
Sapan Bhatia | 84a2924 | 2017-06-24 07:40:33 -0700 | [diff] [blame] | 165 | Base.p(self.policy, self) |
Sapan Bhatia | a368602 | 2017-06-24 07:24:19 -0700 | [diff] [blame] | 166 | |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 167 | Base.p(self.fieldId, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 168 | self.fieldDirective = fieldDirective |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 169 | Base.p(self.fieldDirective, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 170 | |
| 171 | def accept(self, visitor): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 172 | if visitor.visit_FieldDefinition(self): |
| 173 | self.v(self.name, visitor) |
| 174 | self.v(self.field_modifier, visitor) |
| 175 | self.v(self.ftype, visitor) |
| 176 | self.v(self.fieldId, visitor) |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 177 | self.v(self.fieldDirective, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 178 | visitor.visit_FieldDefinition_post(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 179 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 180 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 181 | class EnumFieldDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 182 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 183 | def __init__(self, name, fieldId, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 184 | super( |
| 185 | EnumFieldDefinition, |
| 186 | self).__init__( |
| 187 | linespan=linespan, |
| 188 | lexspan=lexspan, |
| 189 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 190 | self._fields += ['name', 'fieldId'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 191 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 192 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 193 | self.fieldId = fieldId |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 194 | Base.p(self.fieldId, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 195 | |
| 196 | def accept(self, visitor): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 197 | if visitor.visit_EnumFieldDefinition(self): |
| 198 | self.v(self.name, visitor) |
| 199 | self.v(self.fieldId, visitor) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 200 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 201 | |
Sapan Bhatia | ad79fee | 2017-06-26 23:35:57 -0700 | [diff] [blame] | 202 | class ReduceDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 203 | |
Sapan Bhatia | ad79fee | 2017-06-26 23:35:57 -0700 | [diff] [blame] | 204 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 205 | super( |
| 206 | ReduceDefinition, |
| 207 | self).__init__( |
| 208 | linespan=linespan, |
| 209 | lexspan=lexspan, |
| 210 | p=p) |
Sapan Bhatia | ad79fee | 2017-06-26 23:35:57 -0700 | [diff] [blame] | 211 | self._fields += ['name', 'body'] |
| 212 | self.name = name |
| 213 | Base.p(self.name, self) |
| 214 | self.body = body |
| 215 | Base.p(self.body, self) |
| 216 | |
| 217 | def accept(self, visitor): |
| 218 | if visitor.visit_EnumDefinition(self): |
| 219 | self.v(self.name, visitor) |
| 220 | self.v(self.body, visitor) |
| 221 | |
| 222 | |
| 223 | class MapDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 224 | |
Sapan Bhatia | ad79fee | 2017-06-26 23:35:57 -0700 | [diff] [blame] | 225 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 226 | super( |
| 227 | MapDefinition, |
| 228 | self).__init__( |
| 229 | linespan=linespan, |
| 230 | lexspan=lexspan, |
| 231 | p=p) |
Sapan Bhatia | ad79fee | 2017-06-26 23:35:57 -0700 | [diff] [blame] | 232 | self._fields += ['name', 'body'] |
| 233 | self.name = name |
| 234 | Base.p(self.name, self) |
| 235 | self.body = body |
| 236 | Base.p(self.body, self) |
| 237 | |
| 238 | def accept(self, visitor): |
| 239 | if visitor.visit_EnumDefinition(self): |
| 240 | self.v(self.name, visitor) |
| 241 | self.v(self.body, visitor) |
| 242 | |
| 243 | |
Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 244 | class PolicyDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 245 | |
Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 246 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 247 | super( |
| 248 | PolicyDefinition, |
| 249 | self).__init__( |
| 250 | linespan=linespan, |
| 251 | lexspan=lexspan, |
| 252 | p=p) |
Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 253 | self._fields += ['name', 'body'] |
| 254 | self.name = name |
| 255 | Base.p(self.name, self) |
| 256 | self.body = body |
| 257 | Base.p(self.body, self) |
| 258 | |
| 259 | def accept(self, visitor): |
Sapan Bhatia | 2fc2a94 | 2017-07-13 21:18:00 -0400 | [diff] [blame] | 260 | if visitor.visit_PolicyDefinition(self): |
Sapan Bhatia | 64c7251 | 2017-06-23 02:32:45 -0700 | [diff] [blame] | 261 | self.v(self.name, visitor) |
| 262 | self.v(self.body, visitor) |
| 263 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 264 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 265 | class EnumDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 266 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 267 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 268 | super( |
| 269 | EnumDefinition, |
| 270 | self).__init__( |
| 271 | linespan=linespan, |
| 272 | lexspan=lexspan, |
| 273 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 274 | self._fields += ['name', 'body'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 275 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 276 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 277 | self.body = body |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 278 | Base.p(self.body, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 279 | |
| 280 | def accept(self, visitor): |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 281 | if visitor.visit_EnumDefinition(self): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 282 | self.v(self.name, visitor) |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 283 | self.v(self.body, visitor) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 284 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 285 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 286 | class LinkSpec(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 287 | |
| 288 | def __init__( |
| 289 | self, |
| 290 | field_spec, |
| 291 | link_spec, |
| 292 | linespan=None, |
| 293 | lexspan=None, |
| 294 | p=None): |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 295 | super(LinkSpec, self).__init__(linespan=linespan, lexspan=lexspan, p=p) |
| 296 | self._fields += ['link_def', 'field_def'] |
| 297 | self.link_def = link_spec |
| 298 | Base.p(self.link_def, self) |
| 299 | self.field_def = field_spec |
| 300 | Base.p(self.field_def, self) |
| 301 | |
| 302 | def accept(self, visitor): |
| 303 | if visitor.visit_LinkSpec(self): |
| 304 | self.v(self.link_def, visitor) |
| 305 | self.v(self.field_def, visitor) |
| 306 | visitor.visit_LinkSpec_post(self) |
| 307 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 308 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 309 | class MessageDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 310 | |
| 311 | def __init__( |
| 312 | self, |
| 313 | name, |
| 314 | policy, |
| 315 | bases, |
| 316 | body, |
| 317 | linespan=None, |
| 318 | lexspan=None, |
| 319 | p=None): |
| 320 | super( |
| 321 | MessageDefinition, |
| 322 | self).__init__( |
| 323 | linespan=linespan, |
| 324 | lexspan=lexspan, |
| 325 | p=p) |
Sapan Bhatia | a368602 | 2017-06-24 07:24:19 -0700 | [diff] [blame] | 326 | self._fields += ['name', 'policy', 'bases', 'body'] |
| 327 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 328 | self.name = name |
| 329 | Base.p(self.name, self) |
Sapan Bhatia | a368602 | 2017-06-24 07:24:19 -0700 | [diff] [blame] | 330 | |
| 331 | self.policy = policy |
| 332 | Base.p(self.policy, self) |
| 333 | |
Sapan Bhatia | 87792a1 | 2017-04-10 19:35:05 -0700 | [diff] [blame] | 334 | self.bases = bases |
| 335 | Base.p(self.bases, self) |
Sapan Bhatia | a368602 | 2017-06-24 07:24:19 -0700 | [diff] [blame] | 336 | |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 337 | self.body = body |
| 338 | Base.p(self.body, self) |
| 339 | |
| 340 | def accept(self, visitor): |
| 341 | if visitor.visit_MessageDefinition(self): |
| 342 | self.v(self.name, visitor) |
Sapan Bhatia | 87792a1 | 2017-04-10 19:35:05 -0700 | [diff] [blame] | 343 | self.v(self.bases, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 344 | self.v(self.body, visitor) |
| 345 | visitor.visit_MessageDefinition_post(self) |
| 346 | |
| 347 | |
| 348 | """ |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 349 | class MessageDefinition(SourceElement): |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 350 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
| 351 | super(MessageDefinition, self).__init__(linespan=linespan, lexspan=lexspan, p=p) |
| 352 | self._fields += ['name', 'body'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 353 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 354 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 355 | self.body = body |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 356 | Base.p(self.body, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 357 | |
| 358 | def accept(self, visitor): |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 359 | if visitor.visit_MessageDefinition(self): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 360 | self.v(self.name, visitor) |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 361 | self.v(self.body, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 362 | visitor.visit_MessageDefinition_post(self) |
| 363 | """ |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 364 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 365 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 366 | class MessageExtension(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 367 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 368 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 369 | super( |
| 370 | MessageExtension, |
| 371 | self).__init__( |
| 372 | linespan=linespan, |
| 373 | lexspan=lexspan, |
| 374 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 375 | self._fields += ['name', 'body'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 376 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 377 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 378 | self.body = body |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 379 | Base.p(self.body, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 380 | |
| 381 | def accept(self, visitor): |
| 382 | if visitor.visit_MessageExtension(self): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 383 | self.v(self.name, visitor) |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 384 | self.v(self.body, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 385 | visitor.visit_MessageExtension_post(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 386 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 387 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 388 | class MethodDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 389 | |
| 390 | def __init__( |
| 391 | self, |
| 392 | name, |
| 393 | name2, |
| 394 | name3, |
| 395 | linespan=None, |
| 396 | lexspan=None, |
| 397 | p=None): |
| 398 | super( |
| 399 | MethodDefinition, |
| 400 | self).__init__( |
| 401 | linespan=linespan, |
| 402 | lexspan=lexspan, |
| 403 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 404 | self._fields += ['name', 'name2', 'name3'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 405 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 406 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 407 | self.name2 = name2 |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 408 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 409 | self.name3 = name3 |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 410 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 411 | |
| 412 | def accept(self, visitor): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 413 | if visitor.visit_MethodDefinition(self): |
| 414 | self.v(self.name, visitor) |
| 415 | self.v(self.name2, visitor) |
| 416 | self.v(self.name3, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 417 | visitor.visit_MethodDefinition_post(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 418 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 419 | |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 420 | class ServiceDefinition(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 421 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 422 | def __init__(self, name, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 423 | super( |
| 424 | ServiceDefinition, |
| 425 | self).__init__( |
| 426 | linespan=linespan, |
| 427 | lexspan=lexspan, |
| 428 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 429 | self._fields += ['name', 'body'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 430 | self.name = name |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 431 | Base.p(self.name, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 432 | self.body = body |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 433 | Base.p(self.body, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 434 | |
| 435 | def accept(self, visitor): |
Dusan Klinec | e26bb02 | 2014-11-09 12:21:37 +0100 | [diff] [blame] | 436 | if visitor.visit_ServiceDefinition(self): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 437 | self.v(self.name, visitor) |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 438 | self.v(self.body, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 439 | visitor.visit_ServiceDefinition_post(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 440 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 441 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 442 | class ExtensionsMax(SourceElement): |
| 443 | pass |
| 444 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 445 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 446 | class ExtensionsDirective(SourceElement): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 447 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 448 | def __init__(self, fromVal, toVal, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 449 | super( |
| 450 | ExtensionsDirective, |
| 451 | self).__init__( |
| 452 | linespan=linespan, |
| 453 | lexspan=lexspan, |
| 454 | p=p) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 455 | self._fields += ['fromVal', 'toVal'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 456 | self.fromVal = fromVal |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 457 | Base.p(self.fromVal, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 458 | self.toVal = toVal |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 459 | Base.p(self.toVal, self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 460 | |
| 461 | def accept(self, visitor): |
Dusan Klinec | a9f6d36 | 2014-11-10 21:07:08 +0100 | [diff] [blame] | 462 | if visitor.visit_ExtensionsDirective(self): |
| 463 | self.v(self.fromVal, visitor) |
| 464 | self.v(self.toVal, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 465 | visitor.visit_ExtensionsDirective_post(self) |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 466 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 467 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 468 | class Literal(SourceElement): |
| 469 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 470 | def __init__(self, value, linespan=None, lexspan=None, p=None): |
| 471 | super(Literal, self).__init__(linespan=linespan, lexspan=lexspan, p=p) |
| 472 | self._fields += ['value'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 473 | self.value = value |
| 474 | |
| 475 | def accept(self, visitor): |
| 476 | visitor.visit_Literal(self) |
| 477 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 478 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 479 | class Name(SourceElement): |
| 480 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 481 | def __init__(self, value, linespan=None, lexspan=None, p=None): |
| 482 | super(Name, self).__init__(linespan=linespan, lexspan=lexspan, p=p) |
| 483 | self._fields += ['value'] |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 484 | self.value = value |
Dusan Klinec | aa9ff47 | 2014-11-10 18:02:03 +0100 | [diff] [blame] | 485 | self.deriveLex() |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 486 | |
| 487 | def append_name(self, name): |
| 488 | try: |
| 489 | self.value = self.value + '.' + name.value |
| 490 | except: |
| 491 | self.value = self.value + '.' + name |
| 492 | |
Dusan Klinec | aa9ff47 | 2014-11-10 18:02:03 +0100 | [diff] [blame] | 493 | def deriveLex(self): |
| 494 | if hasattr(self.value, "lexspan"): |
| 495 | self.lexspan = self.value.lexspan |
| 496 | self.linespan = self.value.linespan |
| 497 | else: |
| 498 | return |
| 499 | |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 500 | def accept(self, visitor): |
| 501 | visitor.visit_Name(self) |
| 502 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 503 | |
Dusan Klinec | aa9ff47 | 2014-11-10 18:02:03 +0100 | [diff] [blame] | 504 | class DotName(Name): |
| 505 | elements = [] |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 506 | |
Dusan Klinec | aa9ff47 | 2014-11-10 18:02:03 +0100 | [diff] [blame] | 507 | def __init__(self, elements, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 508 | super(DotName, self).__init__( |
| 509 | '.'.join([str(x) for x in elements]), linespan=linespan, lexspan=lexspan, p=p) |
Dusan Klinec | aa9ff47 | 2014-11-10 18:02:03 +0100 | [diff] [blame] | 510 | self._fields += ['elements'] |
| 511 | self.elements = elements |
| 512 | self.deriveLex() |
| 513 | |
| 514 | def deriveLex(self): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 515 | if isinstance(self.elements, list) and len(self.elements) > 0: |
| 516 | self.lexspan = (min([x.lexspan[0] for x in self.elements if x.lexspan[0] != 0]), max( |
| 517 | [x.lexspan[1] for x in self.elements if x.lexspan[1] != 0])) |
| 518 | self.linespan = (min([x.linespan[0] for x in self.elements if x.linespan[0] != 0]), max( |
| 519 | [x.linespan[1] for x in self.elements if x.linespan[1] != 0])) |
Dusan Klinec | aa9ff47 | 2014-11-10 18:02:03 +0100 | [diff] [blame] | 520 | elif hasattr(self.elements, "lexspan"): |
| 521 | self.lexspan = self.elements.lexspan |
| 522 | self.linespan = self.elements.linespan |
| 523 | else: |
| 524 | return |
| 525 | |
| 526 | def accept(self, visitor): |
| 527 | visitor.visit_DotName(self) |
| 528 | |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 529 | |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 530 | class ProtoFile(SourceElement): |
Dusan Klinec | ccaa0d9 | 2014-11-09 03:21:31 +0100 | [diff] [blame] | 531 | |
Sapan Bhatia | ff86b01 | 2017-06-11 14:44:15 -0700 | [diff] [blame] | 532 | def __init__(self, body, linespan=None, lexspan=None, p=None): |
Zack Williams | be7f36d | 2018-02-02 11:37:11 -0700 | [diff] [blame^] | 533 | super( |
| 534 | ProtoFile, |
| 535 | self).__init__( |
| 536 | linespan=linespan, |
| 537 | lexspan=lexspan, |
| 538 | p=p) |
Sapan Bhatia | ff86b01 | 2017-06-11 14:44:15 -0700 | [diff] [blame] | 539 | self._fields += ['body'] |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 540 | self.body = body |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 541 | Base.p(self.body, self) |
Dusan Klinec | c9b031a | 2014-11-10 13:21:08 +0100 | [diff] [blame] | 542 | |
| 543 | def accept(self, visitor): |
| 544 | if visitor.visit_Proto(self): |
Dusan Klinec | 1064fb3 | 2014-11-10 21:48:50 +0100 | [diff] [blame] | 545 | self.v(self.body, visitor) |
Sapan Bhatia | b122587 | 2017-03-29 20:47:47 +0200 | [diff] [blame] | 546 | visitor.visit_Proto_post(self) |