No commit message

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

 ** @author   STF 433

 ** @version  0.0.1

 ** @author   STF 433 (updated by STF 521)

 ** @version  0.0.2

 ** @purpose  1:27.7, Ensure that the IUT correctly handles attribute definitions and their scoping rules 

 ** @verdict  pass reject

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

module Sem_2707_OptionalAttributes_008 { 

module NegSem_2707_OptionalAttributes_001 { 

	type enumerated EnumeratedType {e_black, e_white};

    type port loopbackPort message {

	  inout MessageType

	} with { optional "implicit omit"}

	// the optional keyword is not forbidden here, has just no effect

	// the optional keyword is forbidden here, because according to the restriction 27.7.a

	// a port type shall not have an optional attribute associated to them directly.  

type component GeneralComp {	    	    

	  port loopbackPort messagePort

}

testcase TC_Sem_2707_OptionalAttributes_008() runs on GeneralComp {

testcase TC_NegSem_2707_OptionalAttributes_001() runs on GeneralComp {

    var MessageType v_testMessage;

}

control{

    execute(TC_Sem_2707_OptionalAttributes_008());

    execute(TC_NegSem_2707_OptionalAttributes_001());

}

}