Skip to content

Commit f7aeb92

Browse files
authored
Update test data to aas-core-meta 02ee7bb (#449)
We update the development requirements to and re-record the test data for [aas-core-meta 02ee7bb]. Notably, we propagate the fix to the pattern for `xs:date`'s. [aas-core-meta 02ee7bb]: aas-core-works/aas-core-meta@02ee7bb
1 parent 09c7972 commit f7aeb92

File tree

8 files changed

+11
-11
lines changed

8 files changed

+11
-11
lines changed

setup.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@
5050
"twine",
5151
"jsonschema==3.2.0",
5252
"xmlschema==1.10.0",
53-
"aas-core-meta@git+https://github.com/aas-core-works/aas-core-meta@c9692bc#egg=aas-core-meta",
53+
"aas-core-meta@git+https://github.com/aas-core-works/aas-core-meta@02ee7bb#egg=aas-core-meta",
5454
"ssort==0.12.3",
5555
]
5656
},

test_data/cpp/test_main/aas_core_meta.v3/expected_output/verification.cpp

+2-2
Original file line numberDiff line numberDiff line change
@@ -1467,11 +1467,11 @@ std::wregex ConstructMatchesXsDate() {
14671467
digit
14681468
);
14691469
std::wstring timezone_frag = common::Concat(
1470-
L"(Z|(\\+|-)(0",
1470+
L"(Z|(\\+|-)((0",
14711471
digit,
14721472
L"|1[0-3]):",
14731473
minute_frag,
1474-
L"|14:00)"
1474+
L"|14:00))"
14751475
);
14761476
std::wstring date_lexical_rep = common::Concat(
14771477
year_frag,

test_data/csharp/test_main/aas_core_meta.v3/expected_output/verification.cs

+1-1
Original file line numberDiff line numberDiff line change
@@ -499,7 +499,7 @@ private static Regex _constructMatchesXsDate()
499499
var monthFrag = "((0[1-9])|(1[0-2]))";
500500
var dayFrag = $"((0[1-9])|([12]{digit})|(3[01]))";
501501
var minuteFrag = $"[0-5]{digit}";
502-
var timezoneFrag = $"(Z|(\\+|-)(0{digit}|1[0-3]):{minuteFrag}|14:00)";
502+
var timezoneFrag = $"(Z|(\\+|-)((0{digit}|1[0-3]):{minuteFrag}|14:00))";
503503
var dateLexicalRep = $"{yearFrag}-{monthFrag}-{dayFrag}{timezoneFrag}?";
504504
var pattern = $"^{dateLexicalRep}$";
505505

test_data/golang/test_main/aas_core_meta.v3/expected_output/verification/verification.go

+2-2
Original file line numberDiff line numberDiff line change
@@ -1020,11 +1020,11 @@ func constructMatchesXsDate() *regexp.Regexp {
10201020
digit,
10211021
)
10221022
timezoneFrag := aascommon.Concat(
1023-
"(Z|(\\+|-)(0",
1023+
"(Z|(\\+|-)((0",
10241024
digit,
10251025
"|1[0-3]):",
10261026
minuteFrag,
1027-
"|14:00)",
1027+
"|14:00))",
10281028
)
10291029
dateLexicalRep := aascommon.Concat(
10301030
yearFrag,

test_data/intermediate/real_meta_models/aas_core_meta.v3/expected_symbol_table.txt

+1-1
Original file line numberDiff line numberDiff line change
@@ -28371,7 +28371,7 @@ SymbolTable(
2837128371
postconditions=[]),
2837228372
parsed=...,
2837328373
arguments_by_name=...,
28374-
pattern='^-?(([1-9][0-9][0-9][0-9]+)|(0[0-9][0-9][0-9]))-((0[1-9])|(1[0-2]))-((0[1-9])|([12][0-9])|(3[01]))(Z|(\\+|-)(0[0-9]|1[0-3]):[0-5][0-9]|14:00)?$',
28374+
pattern='^-?(([1-9][0-9][0-9][0-9]+)|(0[0-9][0-9][0-9]))-((0[1-9])|(1[0-2]))-((0[1-9])|([12][0-9])|(3[01]))(Z|(\\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))?$',
2837528375
pattern_expr=textwrap.dedent("""\
2837628376
Name(
2837728377
identifier='pattern',

test_data/parse/real_meta_models/aas_core_meta.v3/expected_symbol_table.txt

+2-2
Original file line numberDiff line numberDiff line change
@@ -15498,7 +15498,7 @@ UnverifiedSymbolTable(
1549815498
original_node=...),
1549915499
value=JoinedStr(
1550015500
values=[
15501-
'(Z|(\\\\+|-)(0',
15501+
'(Z|(\\\\+|-)((0',
1550215502
FormattedValue(
1550315503
value=Name(
1550415504
identifier='digit',
@@ -15510,7 +15510,7 @@ UnverifiedSymbolTable(
1551015510
identifier='minute_frag',
1551115511
original_node=...),
1551215512
original_node=...),
15513-
'|14:00)'],
15513+
'|14:00))'],
1551415514
original_node=...),
1551515515
original_node=...)"""),
1551615516
textwrap.dedent("""\

test_data/python/test_main/aas_core_meta.v3/expected_output/verification.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -524,7 +524,7 @@ def _construct_matches_xs_date() -> Pattern[str]:
524524
month_frag = '((0[1-9])|(1[0-2]))'
525525
day_frag = f'((0[1-9])|([12]{digit})|(3[01]))'
526526
minute_frag = f'[0-5]{digit}'
527-
timezone_frag = f'(Z|(\\+|-)(0{digit}|1[0-3]):{minute_frag}|14:00)'
527+
timezone_frag = f'(Z|(\\+|-)((0{digit}|1[0-3]):{minute_frag}|14:00))'
528528
date_lexical_rep = f'{year_frag}-{month_frag}-{day_frag}{timezone_frag}?'
529529
pattern = f'^{date_lexical_rep}$'
530530

test_data/typescript/test_main/aas_core_meta.v3/expected_output/verification.ts

+1-1
Original file line numberDiff line numberDiff line change
@@ -535,7 +535,7 @@ function constructMatchesXsDate(): RegExp {
535535
const monthFrag = "((0[1-9])|(1[0-2]))";
536536
const dayFrag = `((0[1-9])|([12]${digit})|(3[01]))`;
537537
const minuteFrag = `[0-5]${digit}`;
538-
const timezoneFrag = `(Z|(\\+|-)(0${digit}|1[0-3]):${minuteFrag}|14:00)`;
538+
const timezoneFrag = `(Z|(\\+|-)((0${digit}|1[0-3]):${minuteFrag}|14:00))`;
539539
const dateLexicalRep = `${yearFrag}-${monthFrag}-${dayFrag}${timezoneFrag}?`;
540540
const pattern = `^${dateLexicalRep}$`;
541541

0 commit comments

Comments
 (0)