File: template.skeleton

package info (click to toggle)
eclipse-titan 6.1.0-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 79,084 kB
  • ctags: 29,092
  • sloc: cpp: 210,764; ansic: 44,862; yacc: 21,034; sh: 12,594; makefile: 12,225; lex: 8,972; xml: 5,348; java: 4,849; perl: 3,780; python: 2,834; php: 175
file content (71 lines) | stat: -rw-r--r-- 1,588 bytes parent folder | download | duplicates (3)
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
//Message templates
template <TypeId1> t_<templateName1> := "baba";

template <TypeId2> tr_<templateName2> := ("baba", "abba");

template <TypeId3> tr_<templateName3>(
  charstring pl_<charValue>) := ("baba", "abba", pl_<charValue>);

template <TypeId4> tr_<templateName4> :=
{
  <fieldId1> := (1,2,3),
  <fieldId2> := ?,
  <fieldId3> := {1,2,?},
  <fieldId4> := t_<templateName> ifpresent
};

template <TypeId5> t_<templateName5> (
  integer pl_<parameterName1>,
  template charstring pl_<parameterName2>) :=
{
  <fieldId1> := pl_<parameterName1>,
  <fieldId2> := '10001000'B,
  <fieldId3> := {1,2,3},
  <fieldId4> := pl_<parameterName2>
};

template <TypeId5> tr_<templateName6> (
  integer pl_<parameterName>,
  template charstring pl_<parameterName>)
modifies t_<templateName5> :=
{
  <fieldId3> := *
};

template <TypeId7> t_<templateName7> :=
{
  <fieldId1> := <valid_value>,
  <fieldId2> := t_<templateName4>(1,"abba"),
  <fieldId3> := omit
};

template <TypeId8> tr_<templateName8>(
  template <TypeId4> pl_<parameterName1>,
  integer pl_<parameterName2>) :=
{
  <fieldId1> := ?,
  <fieldId2> := pl_<parameterName1>,
  <fieldId3> := pl_<parameterName2>
};

//Procedure templates
template S_<ProcedureSignatureId> t_<ProcedureTemplateName> :=
{
  pl_<inPar> := 1,
  pl_<outPar> := ?,
  pl_<inoutPar> := 'BABA'O
};

template S_<ProcedureSignatureId2> tr_<ProcedureTemplateName2> :=
{
  pl_<inPar> := ?,
  pl_<outPar> := ?,
  pl_<inoutPar> := ?
}

template S_<ProcedureSignatureId3> t_<ProcedureTemplateName3> :=
{
  pl_<inPar> := 1,
  pl_<outPar> := 2,
  pl_<inoutPar> := 'ABBA'O
}