Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TTCN-3 Libraries
LibIts
Commits
940b00d4
Commit
940b00d4
authored
Sep 08, 2016
by
garciay
Browse files
Rebuild with Titan
parent
54f64aa7
Changes
3
Hide whitespace changes
Inline
Side-by-side
ttcn/GeoNetworking/LibItsGeoNetworking_Functions.ttcn
View file @
940b00d4
...
...
@@ -2612,7 +2612,7 @@ module LibItsGeoNetworking_Functions {
[]
a_securedMessageWithCertificate
(
v_recv
)
{
if
(
f_getMsgSignerInfo
(
v_recv
,
v_si
))
{
if
(
f_getCertificateSignerInfo
(
v_si
.
signerInfo
.
certificate
,
v_si
))
{
if
(
match
(
v_si
.
type_
,
e_certificate_digest_with_sha256
)
)
{
if
(
v_si
.
type_
==
e_certificate_digest_with_sha256
)
{
f_sendCertificateRequest
(
v_si
.
signerInfo
.
digest
,
p_CamPayload
);
if
(
tc_ac
.
running
)
{
tc_ac
.
stop
;
tc_ac
.
start
;
...
...
@@ -2643,7 +2643,7 @@ module LibItsGeoNetworking_Functions {
tc_ac
.
stop
;
if
(
f_getMsgSignerInfo
(
v_recv
,
v_si
))
{
if
(
f_getCertificateSignerInfo
(
v_si
.
signerInfo
.
certificate
,
v_si
))
{
if
(
match
(
v_si
.
type_
,
e_certificate_digest_with_sha256
)
)
{
if
(
v_si
.
type_
==
e_certificate_digest_with_sha256
)
{
f_sendCertificateRequest
(
v_si
.
signerInfo
.
digest
,
p_CamPayload
);
tc_ac
.
start
;
repeat
;
...
...
ttcn/IVIM/LibItsIvim_Templates.ttcn
View file @
940b00d4
...
...
@@ -140,9 +140,9 @@ module LibItsIvim_Templates {
template (omit) IVIManagementContainer.connectedIviStructures p_connectedIviStructures := omit,
template (omit) IviStructure.optional_ p_optional_ := omit*/
)
:=
{
repetitionInterval
:=
p_repetitionInterval
,
validFrom
:=
p_validFrom
,
validTo
:=
p_validTo
/*,
repetitionInterval := p_repetitionInterval,
connectedIviStructures := p_connectedIviStructures,
optional_ := p_optional_*/
}
// End of template m_utTriggerEvent
...
...
ttcn/Security/LibItsSecurity_Functions.ttcn3
View file @
940b00d4
...
...
@@ -1629,39 +1629,39 @@ module LibItsSecurity_Functions {
v_cert_issuer_region_result
:=
f_getCertificateValidityRestriction
(
p_cert_issuer
,
e_region
,
v_cert_issuer_region
);
if
(
f_getCertificateValidityRestriction
(
p_cert
,
e_region
,
v_cert_region
)
==
false
)
{
if
(
v_cert_issuer_region_result
==
true
)
{
if
(
not
match
(
v_cert_issuer_region
.
validity
.
region
.
region_type
,
e_none
)
)
{
if
(
v_cert_issuer_region
.
validity
.
region
.
region_type
!=
e_none
)
{
return
false
;
}
}
}
else
if
(
(
v_cert_issuer_region_result
==
true
)
and
(
not
match
(
v_cert_issuer_region
.
validity
.
region
.
region_type
,
e_none
)
)
(
v_cert_issuer_region
.
validity
.
region
.
region_type
!=
e_none
)
)
{
if
(
match
(
v_cert_region
.
validity
.
region
.
region_type
,
e_circle
)
)
{
if
(
match
(
v_cert_issuer_region
.
validity
.
region
.
region_type
,
e_circle
)
)
{
if
(
v_cert_region
.
validity
.
region
.
region_type
==
e_circle
)
{
if
(
v_cert_issuer_region
.
validity
.
region
.
region_type
==
e_circle
)
{
// Check v_cert_region 'circle' is inside v_cert_issuer_region 'circle'
if
(
f_areCirclesInside
(
v_cert_region
.
validity
.
region
.
region
.
circular_region
,
v_cert_issuer_region
.
validity
.
region
.
region
.
circular_region
)
==
false
)
{
log
(
"*** "
&
testcasename
()
&
": FAIL: Issuer and issuing certificates circle area does not match ***"
);
return
false
;
}
}
}
else
if
(
match
(
v_cert_region
.
validity
.
region
.
region_type
,
e_rectangle
)
)
{
if
(
match
(
v_cert_issuer_region
.
validity
.
region
.
region_type
,
e_rectangle
)
)
{
}
else
if
(
v_cert_region
.
validity
.
region
.
region_type
==
e_rectangle
)
{
if
(
v_cert_issuer_region
.
validity
.
region
.
region_type
==
e_rectangle
)
{
// Check v_cert_region 'rectangle' is inside v_cert_issuer_region 'rectangle'
if
(
f_areRectanglesInside
(
v_cert_region
.
validity
.
region
.
region
.
rectangular_region
,
v_cert_issuer_region
.
validity
.
region
.
region
.
rectangular_region
)
==
false
)
{
log
(
"*** "
&
testcasename
()
&
": FAIL: Issuer and issuing certificates rectangle area does not match ***"
);
return
false
;
}
}
}
else
if
(
match
(
v_cert_region
.
validity
.
region
.
region_type
,
e_polygon
)
)
{
if
(
match
(
v_cert_issuer_region
.
validity
.
region
.
region_type
,
e_polygon
)
)
{
}
else
if
(
v_cert_region
.
validity
.
region
.
region_type
==
e_polygon
)
{
if
(
v_cert_issuer_region
.
validity
.
region
.
region_type
==
e_polygon
)
{
// Check v_cert_region 'polygon' is inside v_cert_issuer_region 'polygon'
if
(
f_arePolygonsInside
(
v_cert_region
.
validity
.
region
.
region
.
polygonal_region
,
v_cert_issuer_region
.
validity
.
region
.
region
.
polygonal_region
)
==
false
)
{
log
(
"*** "
&
testcasename
()
&
": FAIL: Issuer and issuing certificates polygon area does not match ***"
);
return
false
;
}
}
}
else
if
(
match
(
v_cert_region
.
validity
.
region
.
region_type
,
e_id
)
)
{
}
else
if
(
v_cert_region
.
validity
.
region
.
region_type
==
e_id
)
{
// Check id_region
if
(
not
match
(
v_cert_region
.
validity
.
region
,
mw_geographicRegion_identified
(
mw_identifiedRegion_iso3166_any
)))
{
log
(
"*** "
&
testcasename
()
&
": FAIL: Identified region is not conformed to ISO 3166-1 ***"
);
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment