| Titan 11.0.0: Imported definition not found for enumerated type [message #1872872] |
Mon, 25 November 2024 12:26  |
Eclipse User |
|
|
|
Dear all,
Working with Titan 11.0.0 we have noticed an issue related to instantiation of enumerated types, although it seems to be isolated to cases where it is called as input parameter to match function.
It can be seen in the following example, whithin function f_CDMA2000CreateCell the match operation receives the output of function f_CDMA2000_Type_Get, which is a CDMA2K_Type (see below*) and one of its possible values, as shown below **,
*
function f_CDMA2000_Type_Get (CDMA2000_CellId_Type p_CellId) runs on CDMA2000_PTC return CDMA2K_Type
{
var CDMA2000_CellInfo_Type v_CellInfo := f_CDMA2000_CellInfo_Get(p_CellId);
return v_CellInfo.CommonCellInfo.CommonCellParams.Type;
}
**
type enumerated CDMA2K_Type {
type1XRTT,
typeHRPD
};
- Original function raising an error:
function f_CDMA2000CreateCell (CDMA2000_CellId_Type p_CellId) runs on CDMA2000_PTC
{
if (match (f_CDMA2000_Type_Get(p_CellId),typeHRPD))
{ // HRPD Cell
f_CreateCell_HRPD (p_CellId);
}
else
{ // RTT1X Cell;
f_CreateCell_RTT1X (p_CellId);
}
} // end of f_CDMA2000CreateCell
- With the following patch the tool would not raise an error:
function f_CDMA2000CreateCell (CDMA2000_CellId_Type p_CellId) runs on CDMA2000_PTC
{
var CDMA2K_Type v_CDMA2000Type := typeHRPD; // PATCH
if (match (f_CDMA2000_Type_Get(p_CellId), v_CDMA2000Type))
{ // HRPD Cell
f_CreateCell_HRPD (p_CellId);
}
else
{ // RTT1X Cell;
f_CreateCell_RTT1X (p_CellId);
}
} // end of f_CDMA2000CreateCell
So far we haven't seen this error working with previous versions of the tool.
With Titan 11.0.0 it is raised in the following places of attached ATS LTE_IRAT_IWD_24wk48 while the patched ATS LTE_IRAT_IWD_24wk48_Patch can be analyzed without errors.
.\IWD_24wk48\LTE_IRAT_IWD_24wk48\Common\C2K\CDMA2000_CommonFunctions.ttcn (2 hits)
Line 78: if (match (f_CDMA2000_Type_Get(p_CellId), typeHRPD))
Line 284: if (match (f_CDMA2000_Type_Get(p_CellId), typeHRPD)) { // HRPD Cell
.\IWD_24wk48\LTE_IRAT_IWD_24wk48\Common\C2K\CDMA2000_Component.ttcn (3 hits)
Line 255: if (match (f_CDMA2000_Type_Get(p_CellId), typeHRPD)) // HRPD default offset to be applied
Line 333: if (not (match (f_CDMA2000_Type_Get(p_CellId), typeHRPD)))
Line 349: if (not (match (f_CDMA2000_Type_Get(p_CellId), type1XRTT)))
Please let me know whether you would need further information on this report.
Best regards,
Carlos
--------------------------------------------
Carlos Arroyo
MCC TF160 Expert
|
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.16301 seconds