Skip to content
Snippets Groups Projects
Commit 2a190e31 authored by Elemer Lelik's avatar Elemer Lelik
Browse files

added Semantic_analizer_Tests/bin

parent 422dba3e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitignore
+ 1
− 1
View file @ 2a190e31
bin
#bin
Semantic_Analizer_Tests/bin/config.cfg 0 → 100644
+ 599
− 0
View file @ 2a190e31
###############################################################################
# Copyright (c) 2000-2015 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
###############################################################################
[DEFINE]
# In this section you can create macro definitions,
# that can be used in other configuration file sections except [INCLUDE].
d_bool_true1 := "true"
d_bool_true2 := true
d_bool_false1 := "false"
d_bool_false2 := false
d_integer1 := 5
d_integer2 := -5
d_float1 := 1.0
d_float2 := -1.0
d_float3 := 1.0e2
d_objid := "objid {0 0 0 0 }"
d_verdict_none := none
d_verdict_pass := pass
d_verdict_inconc := inconc
d_verdict_fail := fail
d_verdict_error := error
d_bitstring_empty := ""
d_bitstring_zeroes := "0000"
d_bitstring_ones := "1111"
d_hexstring_empty := ""
d_hexstring_all := "1234567890ABCDEFabcdef"
d_octetstring_empty := ""
d_octetstring_all := "01234567"
d_charstring_empty := ""
d_charstring_charstring := "charstring"
d_omit := omit
d_enum := "enum"
d_null1:= null
d_null2 := NULL
d_mtc := mtc
d_system := system
#strange names testing the usability of words that are keywords in other sections
true := true
false := false
boolean := boolean
integer := integer
objid := objid
char := char
return := return
identifier := identifier
null := null
pass := pass
system := system
LogFile := LogFile
LOG_ALL := LOG_ALL
FileMask := FileMask
ConsoleMask := ConsoleMask
DiskFullAction := DiskFullAction
Stop := Stop
Error := Error
Retry := Retry
Delete := Delete
LogFileNumber := LogFileNumber
LogFileSize := LogFileSize
TimeStampFormat := TimeStampFormat
Yes := Yes
No := No
Time := Time
DateTime := DateTime
Seconds := Seconds
LogSourceInfo := LogSourceInfo
SourceInfoFormat := SourceInfoFormat
Stack := Stack
Single := Single
AppendFile := AppendFile
LogEventTypes := LogEventTypes
Detailed := Detailed
SubCategories := SubCategories
LogEntityName := LogEntityName
MatchingHints := MatchingHints
Compact := Compact
Detailed := Detailed
BeginTestCase := BeginTestCase
EndTestCase := EndTestCase
BeginControlPart := BeginControlPart
EndControlPart := EndControlPart
TCPPort := TCPPort
KillTimer := KillTimer
NumHCs := NumHCs
UnixSocketsEnabled := UnixSocketsEnabled
LocalAddress := LocalAddress
[MODULE_PARAMETERS]
# This section shall contain the values of all parameters that are defined in your TTCN-3 modules.
m_bool_true := true
m_bool_false := false
m_bool_macro_true := ${d_bool_true1, boolean}
m_bool_macro_false := ${d_bool_false1, boolean}
*.m_bool_true := true
*.m_bool_false := false
*.m_bool_macro_true := ${d_bool_true2, boolean}
*.m_bool_macro_false := ${d_bool_false2, boolean}
module_name.m_bool_true := true
module_name.m_bool_false := false
module_name.m_bool_macro_true := ${d_bool_true1, boolean}
module_name.m_bool_macro_false := ${d_bool_false1, boolean}
m_integer := 5;
m_integer := +5;
m_integer := -5;
m_integer := 1+1;
m_integer := 1-1;
m_integer := 1*1;
m_integer := 1/1;
m_integer := (1+(1-(1*(1/(+(-(1)))))))*(1+(1-(1*(1/(-(+(1)))))));
m_integer := ${d_integer1, integer} + ${d_integer2, integer};
m_float := 5.0
m_float := +5.0
m_float := -5.0
m_float := 1.0e2
m_float := 1.0e+2
m_float := 1.0e-2
m_float := 1.0+1.0
m_float := 0.1-0.1
m_float := .1*.1
m_float := 0.1/0.1
m_float := (1.0+(1.0-(1.0*(1.0/(+(-(1.0)))))))*(1.0+(1.0-(1.0*(1.0/(-(+(1.0)))))))
m_float := ${d_float3, float}
m_float := ${d_float1, float} + ${d_float2, float}
m_objid := objid { 0 zero(0) 1 one(1)}
m_verdict := none
m_verdict := pass
m_verdict := inconc
m_verdict := fail
m_verdict := error
m_bitstring := ''B
m_bitstring := '0000'B
m_bitstring := '1111'B
m_bitstring := $d_bitstring_zeroes
m_bitstring := '0000'B & '1111'B & ${d_bitstring_zeroes, bitstring} & ${d_bitstring_ones, bitstring}
m_hexstring := ''H
m_hexstring := '01234567890ABCDEFabcdef'H
m_hexstring := ${d_hexstring_all, hexstring}
m_octetstring := ''O
m_octetstring := '01234567'O
m_octetstring := ${d_octetstring_all, octetstring}
m_octetstring := ${d_bitstring_ones, binaryoctet}
m_charstring := ""
m_charstring := "charstring"
m_charstring := char (0, 0, 0, 10)
m_charstring := $d_charstring_empty
m_charstring := $d_charstring_charstring
m_charstring := ${d_charstring_charstring, charstring}
m_charstring := "charstring" & char (1-1, 0*1, -1+1, 10/1) & $d_charstring_empty & ${d_charstring_empty, charstring}
m_omitted := omit
m_enum := enum_identifier
m_enum := {d_enum, identifier}
m_null := null
m_null := NULL
m_mtc := mtc
m_system := system
m_complex1 := {-, true, ${d_bool_true1, boolean}, 5, ${d_integer1, integer}, 1.0, ${d_float1, float},
objid { 0 zero(0) 1 one(1)}, none, pass, fail, inconc, error,
'0011'B, $d_bitstring_zeroes, ${d_bitstring_zeroes, bitstring},
'0011'H, ${d_hexstring_all, hexstring},
''O, ${d_octetstring_all, octetstring}, ${d_bitstring_ones, binaryoctet},
"charstring", char (0, 0, 0, 10), $d_charstring_empty, ${d_charstring_empty, charstring},
omit, enum_identifier, null, NULL, mtc, system,
{1, - , 5} , {field1 := 1, field2 := 2}, {[0] := 0, [1] := 1}
}
m_complex2 := {[0] := true, [0] := ${d_bool_true1, boolean}, [0] := 5, [0] := ${d_integer1, integer}, [0] := 1.0, [0] := ${d_float1, float},
[0] := objid { 0 zero(0) 1 one(1)}, [0] := none, [0] := pass, [0] := fail, [0] := inconc, [0] := error,
[0] := '0011'B, [0] := $d_bitstring_zeroes, [0] := ${d_bitstring_zeroes, bitstring},
[0] := '0011'H, [0] := ${d_hexstring_all, hexstring},
[0] := ''O, [0] := ${d_octetstring_all, octetstring}, [0] := ${d_bitstring_ones, binaryoctet},
[0] := "charstring", [0] := char (0, 0, 0, 10), [0] := $d_charstring_empty, [0] := ${d_charstring_empty, charstring},
[0] := omit, [0] := enum_identifier, [0] := null, [0] := NULL, [0] := mtc, [0] := system,
[0] := {1, - , 5} , [0] := {field1 := 1, field2 := 2}, [0] := {[0] := 0, [1] := 1}
}
m_complex3 := {field := true, field := ${d_bool_true1, boolean}, field := 5, field := ${d_integer1, integer},
field := 1.0, field := ${d_float1, float},
field := objid { 0 zero(0) 1 one(1)}, field := none, field := pass, field := fail, field := inconc, field := error,
field := '0011'B, field := $d_bitstring_zeroes, field := ${d_bitstring_zeroes, bitstring},
field := '0011'H, field := ${d_hexstring_all, hexstring},
field := ''O, field := ${d_octetstring_all, octetstring}, field := ${d_bitstring_ones, binaryoctet},
field := "charstring", field := char (0, 0, 0, 10), field := $d_charstring_empty, field := ${d_charstring_empty, charstring},
field := omit, field := enum_identifier, field := null, field := NULL, field := mtc, field := system,
field := {1, - , 5} , field := {field1 := 1, field2 := 2}, field := {[0] := 0, [1] := 1}
}
m_complex1 &= {1,2,3}
#strange names testing the usability of words that are keywords in other sections
m_strangepar := true
m_strangepar := false
boolean := boolean
integer := integer
return := return
identifier := identifier
m_strangepar := null
m_strangepar := pass
m_strangepar := system
LogFile := LogFile
LOG_ALL := LOG_ALL
FileMask := FileMask
ConsoleMask := ConsoleMask
DiskFullAction := DiskFullAction
Stop := Stop
Error := Error
Retry := Retry
Delete := Delete
LogFileNumber := LogFileNumber
LogFileSize := LogFileSize
TimeStampFormat := TimeStampFormat
Yes := Yes
No := No
Time := Time
DateTime := DateTime
Seconds := Seconds
LogSourceInfo := LogSourceInfo
SourceInfoFormat := SourceInfoFormat
Stack := Stack
Single := Single
AppendFile := AppendFile
LogEventTypes := LogEventTypes
Detailed := Detailed
SubCategories := SubCategories
LogEntityName := LogEntityName
MatchingHints := MatchingHints
Compact := Compact
Detailed := Detailed
BeginTestCase := BeginTestCase
EndTestCase := EndTestCase
BeginControlPart := BeginControlPart
EndControlPart := EndControlPart
TCPPort := TCPPort
KillTimer := KillTimer
NumHCs := NumHCs
UnixSocketsEnabled := UnixSocketsEnabled
LocalAddress := LocalAddress
[LOGGING]
#testing the loggerplugins with different component and loggerplugin writing forms
LoggerPlugins := {first, second := "location"}
*.LoggerPlugins := {first, second := "location"}
5.LoggerPlugins := {first, second := "location"}
mtc.LoggerPlugins := {first, second := "location"}
component.LoggerPlugins := {first, second := "location"}
Loggerplugins := {first, second := "location"}
loggerPlugins := {first, second := "location"}
loggerplugins := {first, second := "location"}
#testing the logfile with different component and loggerplugin writing forms
LogFile := "logs/%e.%h-%r.%s"
*.LogFile := "logs/%e.%h-%r.%s"
5.LogFile := "logs/%e.%h-%r.%s"
mtc.LogFile := "logs/%e.%h-%r.%s"
component.LogFile := "logs/%e.%h-%r.%s"
*.*.LogFile := "logs/%e.%h-%r.%s"
5.*.LogFile := "logs/%e.%h-%r.%s"
mtc.*.LogFile := "logs/%e.%h-%r.%s"
component.*.LogFile := "logs/%e.%h-%r.%s"
*.plugin.LogFile := "logs/%e.%h-%r.%s"
5.plugin.LogFile := "logs/%e.%h-%r.%s"
mtc.plugin.LogFile := "logs/%e.%h-%r.%s"
component.plugin.LogFile := "logs/%e.%h-%r.%s"
*.${d_enum, identifier}.LogFile := "logs/%e.%h-%r.%s"
5.${d_enum, identifier}.LogFile := "logs/%e.%h-%r.%s"
mtc.${d_enum, identifier}.LogFile := "logs/%e.%h-%r.%s"
component.${d_enum, identifier}.LogFile := "logs/%e.%h-%r.%s"
#testing all of the possible values
filemask := LOG_ALL | ACTION | WARNING|VERDICTOP|USER|TIMEROP|TESTCASE|STATISTICS|PORTEVENT|PARALLEL|FUNCTION|EXECUTOR|ERROR|DEFAULTOP| DEBUG | MATCHING |
LOG_NOTHING | TTCN_ACTION | TTCN_WARNING|TTCN_VERDICTOP|TTCN_USER|TTCN_TIMEROP|TTCN_TESTCASE|TTCN_STATISTICS|TTCN_PORTEVENT|TTCN_PARALLEL|TTCN_FUNCTION|TTCN_EXECUTOR|TTCN_ERROR|TTCN_DEFAULTOP| TTCN_DEBUG | TTCN_MATCHING|
ACTION_UNQUALIFIED | DEBUG_ENCDEC | DEBUG_TESTPORT | DEBUG_UNQUALIFIED | DEFAULTOP_ACTIVATE | DEFAULTOP_DEACTIVATE | DEFAULTOP_EXIT | DEFAULTOP_UNQUALIFIED |
ERROR_UNQUALIFIED | EXECUTOR_COMPONENT | EXECUTOR_CONFIGDATA | EXECUTOR_EXTCOMMAND | EXECUTOR_LOGOPTIONS | EXECUTOR_RUNTIME | EXECUTOR_UNQUALIFIED |
FUNCTION_RND | FUNCTION_UNQUALIFIED |
MATCHING_DONE | MATCHING_MCSUCCESS | MATCHING_MCUNSUCC | MATCHING_MMSUCCESS | MATCHING_MMUNSUCC | MATCHING_PCSUCCESS | MATCHING_PCUNSUCC | MATCHING_PMSUCCESS | MATCHING_PMUNSUCC | MATCHING_PROBLEM | MATCHING_TIMEOUT | MATCHING_UNQUALIFIED |
PARALLEL_PORTCONN | PARALLEL_PORTMAP | PARALLEL_PTC | PARALLEL_UNQUALIFIED | PORTEVENT_DUALRECV | PORTEVENT_DUALSEND | PORTEVENT_MCRECV | PORTEVENT_MCSEND | PORTEVENT_MMRECV | PORTEVENT_MMSEND | PORTEVENT_MQUEUE | PORTEVENT_PCIN | PORTEVENT_PCOUT | PORTEVENT_PMIN | PORTEVENT_PMOUT | PORTEVENT_PQUEUE | PORTEVENT_STATE | PORTEVENT_UNQUALIFIED | STATISTICS_UNQUALIFIED |
STATISTICS_VERDICT | TESTCASE_FINISH | TESTCASE_START | TESTCASE_UNQUALIFIED |
TIMEROP_GUARD | TIMEROP_READ | TIMEROP_START | TIMEROP_STOP | TIMEROP_TIMEOUT | TIMEROP_UNQUALIFIED |
USER_UNQUALIFIED | VERDICTOP_FINAL | VERDICTOP_GETVERDICT | VERDICTOP_SETVERDICT | VERDICTOP_UNQUALIFIED | WARNING_UNQUALIFIED
Filemask := LOG_ALL
fileMask := LOG_ALL
FileMask := LOG_ALL
consolemask := LOG_ALL | ACTION | WARNING|VERDICTOP|USER|TIMEROP|TESTCASE|STATISTICS|PORTEVENT|PARALLEL|FUNCTION|EXECUTOR|ERROR|DEFAULTOP| DEBUG | MATCHING |
LOG_NOTHING | TTCN_ACTION | TTCN_WARNING|TTCN_VERDICTOP|TTCN_USER|TTCN_TIMEROP|TTCN_TESTCASE|TTCN_STATISTICS|TTCN_PORTEVENT|TTCN_PARALLEL|TTCN_FUNCTION|TTCN_EXECUTOR|TTCN_ERROR|TTCN_DEFAULTOP| TTCN_DEBUG | TTCN_MATCHING|
ACTION_UNQUALIFIED | DEBUG_ENCDEC | DEBUG_TESTPORT | DEBUG_UNQUALIFIED | DEFAULTOP_ACTIVATE | DEFAULTOP_DEACTIVATE | DEFAULTOP_EXIT | DEFAULTOP_UNQUALIFIED |
ERROR_UNQUALIFIED | EXECUTOR_COMPONENT | EXECUTOR_CONFIGDATA | EXECUTOR_EXTCOMMAND | EXECUTOR_LOGOPTIONS | EXECUTOR_RUNTIME | EXECUTOR_UNQUALIFIED |
FUNCTION_RND | FUNCTION_UNQUALIFIED |
MATCHING_DONE | MATCHING_MCSUCCESS | MATCHING_MCUNSUCC | MATCHING_MMSUCCESS | MATCHING_MMUNSUCC | MATCHING_PCSUCCESS | MATCHING_PCUNSUCC | MATCHING_PMSUCCESS | MATCHING_PMUNSUCC | MATCHING_PROBLEM | MATCHING_TIMEOUT | MATCHING_UNQUALIFIED |
PARALLEL_PORTCONN | PARALLEL_PORTMAP | PARALLEL_PTC | PARALLEL_UNQUALIFIED | PORTEVENT_DUALRECV | PORTEVENT_DUALSEND | PORTEVENT_MCRECV | PORTEVENT_MCSEND | PORTEVENT_MMRECV | PORTEVENT_MMSEND | PORTEVENT_MQUEUE | PORTEVENT_PCIN | PORTEVENT_PCOUT | PORTEVENT_PMIN | PORTEVENT_PMOUT | PORTEVENT_PQUEUE | PORTEVENT_STATE | PORTEVENT_UNQUALIFIED | STATISTICS_UNQUALIFIED |
STATISTICS_VERDICT | TESTCASE_FINISH | TESTCASE_START | TESTCASE_UNQUALIFIED |
TIMEROP_GUARD | TIMEROP_READ | TIMEROP_START | TIMEROP_STOP | TIMEROP_TIMEOUT | TIMEROP_UNQUALIFIED |
USER_UNQUALIFIED | VERDICTOP_FINAL | VERDICTOP_GETVERDICT | VERDICTOP_SETVERDICT | VERDICTOP_UNQUALIFIED | WARNING_UNQUALIFIED
Consolemask := LOG_ALL
consoleMask := LOG_ALL
ConsoleMask := LOG_ALL
*.*.diskfullaction := stop
*.*.diskfullAction := stop
*.*.diskFullaction := stop
*.*.diskFullAction := stop
*.*.Diskfullaction := stop
*.*.DiskfullAction := stop
*.*.DiskFullaction := stop
*.*.DiskFullAction := stop
*.*.DiskFullAction := Stop
*.*.DiskFullAction := Error
*.*.DiskFullAction := error
*.*.DiskFullAction := Retry
*.*.DiskFullAction := retry
*.*.DiskFullAction := Delete
*.*.DiskFullAction := delete
logfilenumber := 5
logfileNumber := 5
logFilenumber := 5
logFileNumber := 5
Logfilenumber := 5
LogfileNumber := 5
LogFilenumber := 5
LogFileNumber := 5
LogFileNumber := ${d_integer, integer}
logfilesize := 5
logfileSize := 5
logFilesize := 5
logFileSize := 5
Logfilesize := 5
LogfileSize := 5
LogFilesize := 5
LogFileSize := 5
LogFileSize := ${d_integer, integer}
logfile := "logs/%e.%h-%r.%s"
logFile := "logs/%e.%h-%r.%s"
Logfile := "logs/%e.%h-%r.%s"
filename := "logs/%e.%h-%r.%s"
fileName := "logs/%e.%h-%r.%s"
Filename := "logs/%e.%h-%r.%s"
FileName := "logs/%e.%h-%r.%s"
timestampformat := time
timestampFormat := Time
timeStampformat := TIME
timeStampFormat := datetime
Timestampformat := Datetime
TimestampFormat := DateTime
TimeStampformat := DATETIME
TimeStampFormat := seconds
TimeStampFormat := Seconds
TimeStampFormat := SECONDS
logsourceinfo := yes
logsourceInfo := Yes
logSourceinfo := YES
logSourceInfo := no
Logsourceinfo := No
LogsourceInfo := NO
LogSourceinfo := ${d_boolean, boolean}
LogSourceInfo := none
sourceinfoformat := none
sourceinfoFormat := None
sourceInfoformat := NONE
sourceInfoFormat := single
Sourceinfoformat := Single
SourceinfoFormat := SINGLE
SourceInfoformat := stack
SourceInfoFormat := Stack
SourceInfoFormat := STACK
appendfile := yes
appendFile := Yes
Appendfile := YES
AppendFile := no
AppendFile := No
AppendFile := NO
AppendFile := ${d_boolean, boolean}
logeventtypes := yes
logeventTypes := Yes
logEventtypes := YES
logEventTypes := no
Logeventtypes := No
LogeventTypes := NO
LogEventtypes := detailed
LogEventTypes := Detailed
LogEventTypes := subcategories
LogEventTypes := subCategories
LogEventTypes := Subcategories
LogEventTypes := SubCategories
logentityname := yes
logentityName := Yes
logEntityname := YES
logEntityName := no
Logentityname := No
LogentityName := NO
LogEntityname := Yes
LogEntityName := Yes
matchinghints := compact
matchingHints := Compact
MatchingHints := detailed
MatchingHints := Detailed
pluginSpecific := "something" & "something"
[TESTPORT_PARAMETERS]
# In this section you can specify parameters that are passed to Test Ports.
component.testport.id := "value";
${enum_identifier, identifier}.testport.id := "value";
5.testport.id := "value"
${d_integer, integer}.testport.id := "value"
mtc.testport.id := "value"
system.testport.id := "value"
*.testport.id := "value"
component.testport[5+5].id := "value"
component.*.id := "value"
component.testport.${enum_identifier, identifier} := "value" & "value"
[INCLUDE]
# To use configuration settings given in other configuration files,
# the configuration files just need to be listed in this section, with their full or relative pathnames.
"included.cfg"
[EXTERNAL_COMMANDS]
# This section can define external commands (shell scripts) to be executed by the ETS
# whenever a control part or test case is started or terminated.
BeginTestCase := "BeginTestCase"
EndTestCase := "EndTestCase"
BeginControlPart := "BeginControlPart"
EndControlPart := "EndControlPart"
[EXECUTE]
# In this section you can specify what parts of your test suite you want to execute.
executeable.control
executeable.testcase1;
executeable.*
[GROUPS]
# In this section you can specify groups of hosts. These groups can be used inside the
# [COMPONENTS] section to restrict the creation of certain PTCs to a given set of hosts.
first := *
second := 1, 1.0, 1.0.0.0.0.0.0, a.b.c.d.e.f, identifier, ${enum_identifier, identifier}
#strange names testing the usability of words that are keywords in other sections
true := true
false := false
boolean := boolean
integer := integer
objid := objid
char := char
return := return
identifier := identifier
null := null
pass := pass
system := system
LogFile := LogFile
LOG_ALL := LOG_ALL
FileMask := FileMask
ConsoleMask := ConsoleMask
DiskFullAction := DiskFullAction
Stop := Stop
Error := Error
Retry := Retry
Delete := Delete
LogFileNumber := LogFileNumber
LogFileSize := LogFileSize
TimeStampFormat := TimeStampFormat
Yes := Yes
No := No
Time := Time
DateTime := DateTime
Seconds := Seconds
LogSourceInfo := LogSourceInfo
SourceInfoFormat := SourceInfoFormat
Stack := Stack
Single := Single
AppendFile := AppendFile
LogEventTypes := LogEventTypes
Detailed := Detailed
SubCategories := SubCategories
LogEntityName := LogEntityName
MatchingHints := MatchingHints
Compact := Compact
Detailed := Detailed
BeginTestCase := BeginTestCase
EndTestCase := EndTestCase
BeginControlPart := BeginControlPart
EndControlPart := EndControlPart
TCPPort := TCPPort
KillTimer := KillTimer
NumHCs := NumHCs
UnixSocketsEnabled := UnixSocketsEnabled
LocalAddress := LocalAddress
[COMPONENTS]
# This section consists of rules restricting the location of created PTCs.
component := host1;
${enum_identifier, identifier} := host1;
* := host1;
component := 1
component := 1.0
component := 1.0.0.0
component := 1.0.0.0.0.0.0.0
component := a.b.c.d.e.f
component := ${enum_identifier, hostname}
#strange names testing the usability of words that are keywords in other sections
true := true
false := false
boolean := boolean
integer := integer
objid := objid
char := char
return := return
identifier := identifier
null := null
pass := pass
system := system
LogFile := LogFile
LOG_ALL := LOG_ALL
FileMask := FileMask
ConsoleMask := ConsoleMask
DiskFullAction := DiskFullAction
Stop := Stop
Error := Error
Retry := Retry
Delete := Delete
LogFileNumber := LogFileNumber
LogFileSize := LogFileSize
TimeStampFormat := TimeStampFormat
Yes := Yes
No := No
Time := Time
DateTime := DateTime
Seconds := Seconds
LogSourceInfo := LogSourceInfo
SourceInfoFormat := SourceInfoFormat
Stack := Stack
Single := Single
AppendFile := AppendFile
LogEventTypes := LogEventTypes
Detailed := Detailed
SubCategories := SubCategories
LogEntityName := LogEntityName
MatchingHints := MatchingHints
Compact := Compact
Detailed := Detailed
BeginTestCase := BeginTestCase
EndTestCase := EndTestCase
BeginControlPart := BeginControlPart
EndControlPart := EndControlPart
TCPPort := TCPPort
KillTimer := KillTimer
NumHCs := NumHCs
UnixSocketsEnabled := UnixSocketsEnabled
LocalAddress := LocalAddress
[MAIN_CONTROLLER]
# The options herein control the behavior of MC.
tcpport := 0
tcpPort := 0
TCPport := 0
TCPPort := 0
killtimer := 10.0
killTimer := 10.0
Killtimer := 10.0
KillTimer := 10.0
numhcs := 0
numHCs := 0
Numhcs := 0
NumHCs := 0
unixsocketsenabled := yes
unixsocketsEnabled := Yes
unixSocketsenabled := YES
unixSocketsEnabled := no
Unixsocketsenabled := No
UnixsocketsEnabled := NO
UnixSocketsenabled := yes
UnixSocketsEnabled := yes
localaddress := name
localAddress := 5
Localaddress := 5.0
LocalAddress := 127.0.0.1
LocalAddress := id-0_i-0.1
LocalAddress := ${d_hostname, hostname}
\ No newline at end of file
Semantic_Analizer_Tests/bin/included.cfg 0 → 100644
+ 11
− 0
View file @ 2a190e31
###############################################################################
# Copyright (c) 2000-2015 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
###############################################################################
# This file is intentionally empty
[INCLUDE]
"config.cfg"
"ipv6addresses.cfg"
\ No newline at end of file
Semantic_Analizer_Tests/bin/ipv6addresses.cfg 0 → 100644
+ 229
− 0
View file @ 2a190e31
###############################################################################
# Copyright (c) 2000-2015 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
###############################################################################
[GROUPS]
first := *
second := 1, 1.0, 1.0.0.0.0.0.0, a.b.c.d.e.f, identifier, ${enum_identifier, identifier}
myGroup := ::1 #fe80::c002:37ff:fe6c:0%fastethernet0/0
#based on http://tools.ietf.org/html/rfc3513
myGroup := FEDC:BA98:7654:3210:FEDC:BA98:7654:3210
myGroup := 1080:0:0:0:8:800:200C:417A
myGroup := 1080:0:0:0:8:800:200C:417
myGroup := FF01:0:0:0:0:0:0:101
myGroup := 1080:0:0:0:8:800:200C:417A #a unicast address
myGroup := 1080::8:800:200C:417A #a unicast address
myGroup := FF01:0:0:0:0:0:0:101 #a multicast address
myGroup :=FF01::101 #a multicast address
myGroup := 0:0:0:0:0:0:0:1 #the loopback address
myGroup := ::1 #the loopback address
myGroup := 0:0:0:0:0:0:0:0 #the unspecified addresses
myGroup := :: #the unspecified addresses
myGroup := 0:0:0:0:0:0:13.1.68.3
myGroup := ::13.1.68.3
myGroup := 0:0:0:0:0:FFFF:129.144.52.38
myGroup := ::FFFF:129.144.52.38
myGroup := 12AB:0000:0000:CD30:0000:0000:0000:0000/60 #should run legal!
myGroup :=12AB:0:0:CD30::/60
myGroup := 12AB:0:0:CD30::/60
#The following are NOT legal representations of the above prefix: BUT they are eaten >(
myGroup := 12AB:0:0:CD3/60 #may drop leading zeros, but not trailing zeros,within any 16-bit chunk of the address
myGroup := 12AB::CD30/60 #address to left of "/" expands to 2AB:0000:0000:0000:0000:000:0000:CD30
myGroup := 12AB::CD3/60 #address to left of "/" expands to 12AB:0000:0000:0000:0000:000:0000:0CD3
myGroup := 12AB:0:0:CD30:123:4567:89AB:CDEF/60
myGroup := FF01:0:0:0:0:0:0:101
myGroup := FF02:0:0:0:0:0:0:101 #means all NTP servers on the same link as the sender.
myGroup := FF05:0:0:0:0:0:0:101 #means all NTP servers in the same site as the sender.
myGroup := FF0E:0:0:0:0:0:0:101 #means all NTP servers in the internet.
myGroup := FF00:0:0:0:0:0:0:0 #FF0Reserved Multicast Addresses:
myGroup := FF01:0:0:0:0:0:0:1 #All Nodes Addresses:
myGroup := FF02:0:0:0:0:0:0:1 #All Nodes Addresses:
myGroup := FF01:0:0:0:0:0:0:2 #All Routers Addresses:
myGroup := FF02:0:0:0:0:0:0:2 #All Routers Addresses:
myGroup := FF05:0:0:0:0:0:0:2 #All Routers Addresses:
myGroup := FF02:0:0:0:0:1:FF00:0000
myGroup := FF02:0:0:0:0:1:FFFF:FFFF
myGroup := 2001::/16
myGroup := FF00::/8
myGroup := b.a.9.8.7.6.5.0.4.0.0.0.3.0.0.0.2.0.0.0.1.0.0.0.0.0.0.0.1.2.3.4.IP6.ARPA.
[COMPONENTS]
# This section consists of rules restricting the location of created PTCs.
component := host1;
${enum_identifier, identifier} := host1;
* := host1;
component := 1
component := 1.0
component := 1.0.0.0
component := 1.0.0.0.0.0.0.0
component := a.b.c.d.e.f
component := ${enum_identifier, hostname}
myComponent := FEDC:BA98:7654:3210:FEDC:BA98:7654:3210
myComponent := 1080:0:0:0:8:800:200C:417A
myComponent := 1080:0:0:0:8:800:200C:417
myComponent := FF01:0:0:0:0:0:0:101
myComponent := 1080:0:0:0:8:800:200C:417A #a unicast address
myComponent := 1080::8:800:200C:417A #a unicast address
myComponent := FF01:0:0:0:0:0:0:101 #a multicast address
myComponent :=FF01::101 #a multicast address
myComponent := 0:0:0:0:0:0:0:1 #the loopback address
myComponent := ::1 #the loopback address
myComponent := 0:0:0:0:0:0:0:0 #the unspecified addresses
myComponent := :: #the unspecified addresses
myComponent := 0:0:0:0:0:0:13.1.68.3
myComponent := ::13.1.68.3
myComponent := 0:0:0:0:0:FFFF:129.144.52.38
myComponent := ::FFFF:129.144.52.38
myComponent := 12AB:0000:0000:CD30:0000:0000:0000:0000/60 #should run legal!
myComponent :=12AB:0:0:CD30::/60
myComponent := 12AB:0:0:CD30::/60
#The following are NOT legal representations of the above prefix: BUT they are eaten >(
myComponent := 12AB:0:0:CD3/60 #may drop leading zeros, but not trailing zeros,within any 16-bit chunk of the address
myComponent := 12AB::CD30/60 #address to left of "/" expands to 2AB:0000:0000:0000:0000:000:0000:CD30
myComponent := 12AB::CD3/60 #address to left of "/" expands to 12AB:0000:0000:0000:0000:000:0000:0CD3
myComponent := 12AB:0:0:CD30:123:4567:89AB:CDEF/60
myComponent := FF01:0:0:0:0:0:0:101
myComponent := FF02:0:0:0:0:0:0:101 #means all NTP servers on the same link as the sender.
myComponent := FF05:0:0:0:0:0:0:101 #means all NTP servers in the same site as the sender.
myComponent := FF0E:0:0:0:0:0:0:101 #means all NTP servers in the internet.
myComponent := FF00:0:0:0:0:0:0:0 #FF0Reserved Multicast Addresses:
myComponent := FF01:0:0:0:0:0:0:1 #All Nodes Addresses:
myComponent := FF02:0:0:0:0:0:0:1 #All Nodes Addresses:
myComponent := FF01:0:0:0:0:0:0:2 #All Routers Addresses:
myComponent := FF02:0:0:0:0:0:0:2 #All Routers Addresses:
myComponent := FF05:0:0:0:0:0:0:2 #All Routers Addresses:
myComponent := FF02:0:0:0:0:1:FF00:0000
myComponent := FF02:0:0:0:0:1:FFFF:FFFF
myComponent := 2001::/16
myComponent := FF00::/8
myComponent := b.a.9.8.7.6.5.0.4.0.0.0.3.0.0.0.2.0.0.0.1.0.0.0.0.0.0.0.1.2.3.4.IP6.ARPA.
[MAIN_CONTROLLER]
TCPPort := 5555
# It's not necessary to give a full pattern for IPv6 addresses, the pattern
# was not full for even IPv4. E.g. `LocalAddress := 1.1.localhost.1' is
# possible, but invalid. It's not checked by the parser.
LocalAddress := ::1 #fe80::c002:37ff:fe6c:0%fastethernet0/0
#based on http://tools.ietf.org/html/rfc3513
LocalAddress := FEDC:BA98:7654:3210:FEDC:BA98:7654:3210
LocalAddress := 1080:0:0:0:8:800:200C:417A
LocalAddress := 1080:0:0:0:8:800:200C:417
LocalAddress := FF01:0:0:0:0:0:0:101
LocalAddress := 1080:0:0:0:8:800:200C:417A #a unicast address
LocalAddress := 1080::8:800:200C:417A #a unicast address
LocalAddress := FF01:0:0:0:0:0:0:101 #a multicast address
LocalAddress :=FF01::101 #a multicast address
LocalAddress := 0:0:0:0:0:0:0:1 #the loopback address
LocalAddress := ::1 #the loopback address
LocalAddress := 0:0:0:0:0:0:0:0 #the unspecified addresses
LocalAddress := :: #the unspecified addresses
LocalAddress := 0:0:0:0:0:0:13.1.68.3
LocalAddress := ::13.1.68.3
LocalAddress := 0:0:0:0:0:FFFF:129.144.52.38
LocalAddress := ::FFFF:129.144.52.38
LocalAddress := 12AB:0000:0000:CD30:0000:0000:0000:0000/60 #should run legal!
LocalAddress :=12AB:0:0:CD30::/60
LocalAddress := 12AB:0:0:CD30::/60
#The following are NOT legal representations of the above prefix: BUT they are eaten >(
LocalAddress := 12AB:0:0:CD3/60 #may drop leading zeros, but not trailing zeros,within any 16-bit chunk of the address
LocalAddress := 12AB::CD30/60 #address to left of "/" expands to 2AB:0000:0000:0000:0000:000:0000:CD30
LocalAddress := 12AB::CD3/60 #address to left of "/" expands to 12AB:0000:0000:0000:0000:000:0000:0CD3
LocalAddress := 12AB:0:0:CD30:123:4567:89AB:CDEF/60
LocalAddress := FF01:0:0:0:0:0:0:101
LocalAddress := FF02:0:0:0:0:0:0:101 #means all NTP servers on the same link as the sender.
LocalAddress := FF05:0:0:0:0:0:0:101 #means all NTP servers in the same site as the sender.
LocalAddress := FF0E:0:0:0:0:0:0:101 #means all NTP servers in the internet.
LocalAddress := FF00:0:0:0:0:0:0:0 #FF0Reserved Multicast Addresses:
LocalAddress := FF01:0:0:0:0:0:0:1 #All Nodes Addresses:
LocalAddress := FF02:0:0:0:0:0:0:1 #All Nodes Addresses:
LocalAddress := FF01:0:0:0:0:0:0:2 #All Routers Addresses:
LocalAddress := FF02:0:0:0:0:0:0:2 #All Routers Addresses:
LocalAddress := FF05:0:0:0:0:0:0:2 #All Routers Addresses:
LocalAddress := FF02:0:0:0:0:1:FF00:0000
LocalAddress := FF02:0:0:0:0:1:FFFF:FFFF
LocalAddress := 2001::/16
LocalAddress := FF00::/8
LocalAddress := b.a.9.8.7.6.5.0.4.0.0.0.3.0.0.0.2.0.0.0.1.0.0.0.0.0.0.0.1.2.3.4.IP6.ARPA.
[TESTPORT_PARAMETERS]
mycomp1.myport.a := "1"
[EXECUTE]
ipv6.control
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent