///////////////////////////////////////////////////////////////////////////////
// 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
///////////////////////////////////////////////////////////////////////////////
// TTCN-3 version of "Hello, world!"
module MyExample
{
    type port PCOType message
    {
	inout charstring;
    }

    type component MTCType
    {
	port PCOType MyPCO;
    }

    testcase HelloW() runs on MTCType system MTCType
    {
	map(mtc:MyPCO, system:MyPCO);
	MyPCO.send("Hello, world!");
	setverdict(pass);
    }

    testcase HelloW2() runs on MTCType system MTCType
    {
	timer T := 1.0;
	map(mtc:MyPCO, system:MyPCO);
	MyPCO.send("Hello, world!");
	T.start;
	alt {
	[] MyPCO.receive("Hello, TTCN-3!") { T.stop; setverdict(pass); }
	[] T.timeout { setverdict(inconc); }
	[] MyPCO.receive { T.stop; setverdict(fail); }
	}
    }

    control
    {
	execute(HelloW());
	execute(HelloW2());
  //1 pass, 1 inconc expected
    }
}