From eac9f7d1f19984be68d60fab57d5fda0dd68eb57 Mon Sep 17 00:00:00 2001 From: Philip Makedonski Date: Tue, 30 Jun 2020 12:22:39 +0200 Subject: [PATCH] + added comments to TR examples --- tr-examples/configuration.tplan2 | 16 ++++++++++++++++ tr-examples/configuration.tplan2.tdl.tdlan2 | 16 ++++++++++++++++ tr-examples/data.tplan2 | 16 ++++++++++++++++ tr-examples/data_tables.tdlan2 | 16 ++++++++++++++++ tr-examples/descriptions.tdlan2 | 16 ++++++++++++++++ tr-examples/domain.tplan2 | 16 ++++++++++++++++ tr-examples/inferred_configuration.tdlan2 | 16 ++++++++++++++++ tr-examples/inferred_data.tdlan2 | 16 ++++++++++++++++ tr-examples/objectives.tplan2 | 1 + 9 files changed, 129 insertions(+) diff --git a/tr-examples/configuration.tplan2 b/tr-examples/configuration.tplan2 index 4181b83..ba84ced 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 a98be4c..430763a 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 94d427d..6580f76 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 4f94246..122bb9c 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 ff3f10b..ec2417a 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 d09c81f..d14156e 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 57b63d5..e2eede6 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 e52b887..7397f5e 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 3a62fc7..f90d4c2 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; -- GitLab