This file is indexed.

/usr/share/titan/help/info/testcasename.html is in eclipse-titan 6.3.1-1build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
<!--
 Copyright (c) 2000-2017 Ericsson Telecom AB
 All rights reserved. This program and the accompanying materials
 are made available under the terms of the Eclipse Public License v1.0
 which accompanies this distribution, and is available at
 http://www.eclipse.org/legal/epl-v10.html

 Contributors:
  Baji, Laszlo
  Balasko, Jeno
  Kovacs, Ferenc
  Szabados, Kristof
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta http-equiv="Content-Language" content="en-us">
<title>testcasename</title>
</head>
<body bgcolor="#DAD3C5" vlink="#0094D2" link="#003258">
<table align="left" border="0" cellspacing="0" cellpadding="0" valign=top>
  <tr>
    <td width=105 height=40><a href="https://projects.eclipse.org/projects/tools.titan"><img src="../images/titan_transparent.gif" border=0 width=105 height=40 align="left" alt="Titan"></a></td>
  </tr>
</table>
<table border="0" align="right" cellpadding="0" cellspacing="0">
  <tr>
    <td><a href="../titan_main.html" alt="contents"><img border="0" src="../images/ao.jpg" width="53" height="40"></a></td>
    <td><a href="../titan_index.html" alt="index"><img border="0" src="../images/up.jpg" width="53" height="40"></a></td>
    <td><a href="testcase.html" alt="previous"><img border="0" src="../images/left.jpg" width="53" height="40"></a></td>
    <td><a href="timeout.html" alt="next"><img border="0" src="../images/right.jpg" width="53" height="40"></a></td>
  </tr>
</table>
<p><br clear="all">
</p>
<hr>
<h1>testcasename</h1>
<p>The <b><font face="Courier New">testcasename</font></b> function returns the unqualified name of the actually executing test case. 
When it's called from the control part and no testcase is being executed, it returns the empty string.
(For more information check ETSI ES 201 873-1 (TTCN-3 Core Language).)
<hr align="left" width="50%">
<p>Related keywords:</p>
<ul>
  <li><a href="charstring.html"><b><font face="Courier New" color="#003258" size="4">charstring</font></b></a></li>
  <li><a href="testcase.html"><b><font face="Courier New" color="#003258" size="4">testcase</font></b></a></li>
</ul>
<hr align="left" width="50%">
<div align="center">
<center>
<table border="0" width="90%" bgcolor="#FFB599" cellpadding="4">
  <tr>
    <td width="100%">
      <h3 align="center"><font face="Courier New" color="#003258" size="5"><b>testcasename</b></font><font face="Courier New" color="#003258" size="5"><b>() return charstring</b></font></h3>
    </td>
  </tr>
</table>
</center>
</div>
<hr align="left" width="50%">
<p>Example 1:</p>
<!-- Always use <pre></pre>! //-->
<font size="+1">
<pre>
module MyModule {
  type component Empty { }
  
  testcase MyTestCase() runs on Empty {
    // It'll return "MyTestCase".
    var charstring TCName := testcasename()
  }
  
  control {
    // It'll return "".
    var charstring TCName := testcasename()
  }
}
module YourModule {
  function MyFunction() {
    // It'll return "MyTestCase" if the function is called e.g. by another function
    // during the execution of MyTestCase.
    var charstring TCName := testcasename()
  }
}
</pre>
<hr align="left" width="25%">
</body>
</html>