Skip to content

Commit e7cdcd7

Browse files
committed
Verify that elements in Enums are unique
1 parent 306764e commit e7cdcd7

File tree

2 files changed

+5
-2
lines changed

2 files changed

+5
-2
lines changed

augmented_data/platform.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
import re
44
import random
5-
from enum import Enum
5+
from enum import Enum, verify, UNIQUE
66
from collections import Counter
77
from .utils import replace_multiple, parse_num
88

@@ -42,6 +42,7 @@ def replace_platform_entities(dataset_text, dataset_mms):
4242
new_text_data.append((start_time, end_time, sentence, number))
4343
result_text[folder_name] = new_text_data
4444

45+
@verify(UNIQUE)
4546
class State(Enum):
4647
NOT_FOUND = 0
4748
GLEIS = 1

augmented_data/time.py

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
import re
44
import random
5-
from enum import Enum
5+
from enum import Enum, verify, UNIQUE
66
from collections import defaultdict
77
from .utils import has_numbers, replace_multiple
88

@@ -116,6 +116,7 @@ def get_time_int(self):
116116
def get_hour_is_separate(self):
117117
return self.hour_is_separate
118118

119+
@verify(UNIQUE)
119120
class TimeFormat(Enum):
120121
UNKNOWN = 0
121122
WITH_COLON = 1 # 18:20 Uhr
@@ -135,6 +136,7 @@ def assemble_time(time_format, hour_int, minute_int):
135136

136137

137138
def replace_time_entities(dataset_text, dataset_mms):
139+
@verify(UNIQUE)
138140
class State(Enum):
139141
NOT_FOUND = 0
140142
FIRST_NUM = 1

0 commit comments

Comments
 (0)