diff --git a/tr-examples/configuration.tplan2 b/tr-examples/configuration.tplan2 index 4181b835ba3adc226467bd83179bd1336e27e5a1..ba84cedfcae105d1435f680948db2ed9462b1e6b 100644 --- a/tr-examples/configuration.tplan2 +++ b/tr-examples/configuration.tplan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Basic configuration Package base_configuration { import all from data; Configuration { diff --git a/tr-examples/configuration.tplan2.tdl.tdlan2 b/tr-examples/configuration.tplan2.tdl.tdlan2 index a98be4c001120b8227c21b607fc0d7f22b7c098b..430763a363dd65ee29e1a0e99dab51ee69f2b5a9 100644 --- a/tr-examples/configuration.tplan2.tdl.tdlan2 +++ b/tr-examples/configuration.tplan2.tdl.tdlan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Converted from configuration.tplan2 - same model, different representation Package base_configuration { Import all from data ; Gate Type wireless accepts position ; diff --git a/tr-examples/data.tplan2 b/tr-examples/data.tplan2 index 94d427dfe55781ad8e0cfafda9bfa2fd5f68cd51..6580f760f3cd55c7e9399871b4f6c2d8f3ad30eb 100644 --- a/tr-examples/data.tplan2 +++ b/tr-examples/data.tplan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Basic data structures Package data { Data { type float; diff --git a/tr-examples/data_tables.tdlan2 b/tr-examples/data_tables.tdlan2 index 4f942469c2d0c1026c1b7f187a4e13a84a3f02aa..122bb9c6861d907b521a3a954707a2c791cbf339 100644 --- a/tr-examples/data_tables.tdlan2 +++ b/tr-examples/data_tables.tdlan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Specification of data-table-like reusable test description Package data_tables { Import all from inferred_data; Import all from inferred_configuration; diff --git a/tr-examples/descriptions.tdlan2 b/tr-examples/descriptions.tdlan2 index ff3f10b34dd2354424eea006802d2e78cdb2ebe2..ec2417aeb8cd744c2dcc10d117f8430375663e30 100644 --- a/tr-examples/descriptions.tdlan2 +++ b/tr-examples/descriptions.tdlan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Inferred (manually) from objectives.tplan2 Package descriptions { Import all from inferred_configuration; Import all from inferred_data; diff --git a/tr-examples/domain.tplan2 b/tr-examples/domain.tplan2 index d09c81fc640733de518f4fb094c920cf10499e1b..d14156e56145aceda7149e8cb49c38eddd0afd84 100644 --- a/tr-examples/domain.tplan2 +++ b/tr-examples/domain.tplan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Domain specification Package domain { Domain { pics : diff --git a/tr-examples/inferred_configuration.tdlan2 b/tr-examples/inferred_configuration.tdlan2 index 57b63d5c4d23ce7ddcfb7f2238e9d9f882e7e833..e2eede6fd5eedbbb768e57609f20b26129d68fdf 100644 --- a/tr-examples/inferred_configuration.tdlan2 +++ b/tr-examples/inferred_configuration.tdlan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Inferred (manually) from objectives.tplan2 Package inferred_configuration { Import all from data ; Gate Type inferred_gate_type accepts position ; diff --git a/tr-examples/inferred_data.tdlan2 b/tr-examples/inferred_data.tdlan2 index e52b887faef0d172f3608c36e520eac326fcf84e..7397f5ed42f4b30fe9c61721f7214545759e8cab 100644 --- a/tr-examples/inferred_data.tdlan2 +++ b/tr-examples/inferred_data.tdlan2 @@ -1,3 +1,19 @@ +/* +Copyright (c) ETSI 2020. + +This software is subject to copyrights owned by ETSI. Non-exclusive permission +is hereby granted, free of charge, to copy, reproduce and amend this file +under the following conditions: It is provided "as is", without warranty of any +kind, expressed or implied. + +ETSI shall never be liable for any claim, damages, or other liability arising +from its use or inability of use.This permission does not apply to any documentation +associated with this file for which ETSI keeps all rights reserved. The present +copyright notice shall be included in all copies of whole or part of this +file and shall not imply any sub-license right. +*/ + +//Inferred (manually) from objectives.tplan2 Package inferred_data { Type inferred_simple ; Type inferred_position ( x of type inferred_simple, y of type inferred_simple) ; diff --git a/tr-examples/objectives.tplan2 b/tr-examples/objectives.tplan2 index 3a62fc777a03023180156c1f4dd3a4b1a2fab947..f90d4c271561b847b3f9d831f401271fddbe63e3 100644 --- a/tr-examples/objectives.tplan2 +++ b/tr-examples/objectives.tplan2 @@ -13,6 +13,7 @@ copyright notice shall be included in all copies of whole or part of this file and shall not imply any sub-license right. */ +//Structured test objective specifications Package objectives { import all from domain; import all from data;