Commit e12eb688 authored by zeiss's avatar zeiss
Browse files

No commit message 

No commit message
parent b2ed777f

05_basic_language_elements/0505_cyclic_definitions/Sem_0505_cyclic_definitions_002.ttcn

+2 −2
Original line number Diff line number Diff line
@@ -5,14 +5,14 @@ 
 ** @verdict  pass accept, ttcn3verdict:pass

 ***************************************************/



module MyImportModule { 

module Sem_0505_cyclic_definitions_002_import { 

   import from Sem_0505_cyclic_definitions_002 { type MyInteger } 

   type record of MyInteger MyIntegerList; 

} 

 

module Sem_0505_cyclic_definitions_002 { 

   type integer MyInteger; 

   import from MyImportModule { type MyIntegerList } 

   import from Sem_0505_cyclic_definitions_002_import { type MyIntegerList } 





type component GeneralComp {

05_basic_language_elements/05_toplevel/NegSyn_05_TopLevel_001.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -7,6 +7,6 @@ const integer wrongTopLevel := 1; 
 ** @purpose  1:5.1, Ensure that when the IUT loads a module containing some definitions before the module declaration then the module is rejected.

 ** @verdict  pass reject

 *****************************************************************/

module NegSyn_0500_TopLevel_001 {

module NegSyn_05_TopLevel_001 {



}

06_types_and_values/0602_structured_types_and_values/0602_toplevel/Syn_0602_TopLevel_005.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -4,7 +4,7 @@ 
 ** @purpose  1:6.2, Fields not mentioned are implicitly left unspecified.

 ** @verdict  pass accept, noexecution

 ***************************************************/

module Syn_0602_TopLevel_003 {

module Syn_0602_TopLevel_005 {

    type record MyRecord {

    	integer field1,

        charstring field2 optional,