module UD_PortType
{
import from UD_Types all;

  type port UD_PT message
  {
    out   UD_close;
    out   UD_listen;
    in    UD_listen_result;
    out   UD_shutdown;
    out   UD_connect;
    in    UD_connect_result;
    inout UD_send_data;
    in   UD_connected;
    
  } with { extension "provider" }

}

compiler -t UD_PortType.ttcn UD_Types.ttcn

// This Test Port skeleton header file was generated by the
// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4C
// for Elemer Lelik (ethlel@esekilxxen1842) on Tue Feb  9 09:02:15 2016

// Copyright (c) 2000-2015 Ericsson Telecom AB

// You may modify this file. Add your attributes and prototypes of your
// member functions here.

#ifndef UD__PT_HH
#define UD__PT_HH

#include <TTCN3.hh>

// Note: Header file UD_PortType.hh must not be included into this file!
// (because it includes this file)
// Please add the declarations of message types manually.

namespace UD__PortType {

class UD__PT_PROVIDER : public PORT {
public:
	UD__PT_PROVIDER(const char *par_port_name);
	~UD__PT_PROVIDER();

	void set_parameter(const char *parameter_name,
		const char *parameter_value);

private:
	/* void Handle_Fd_Event(int fd, boolean is_readable,
		boolean is_writable, boolean is_error); */
	void Handle_Fd_Event_Error(int fd);
	void Handle_Fd_Event_Writable(int fd);
	void Handle_Fd_Event_Readable(int fd);
	/* void Handle_Timeout(double time_since_last_call); */
protected:
	void user_map(const char *system_port);
	void user_unmap(const char *system_port);

	void user_start();
	void user_stop();

	void outgoing_send(const UD__Types::UD__close& send_par);
	void outgoing_send(const UD__Types::UD__listen& send_par);
	void outgoing_send(const UD__Types::UD__shutdown& send_par);
	void outgoing_send(const UD__Types::UD__connect& send_par);
	void outgoing_send(const UD__Types::UD__send__data& send_par);
	virtual void incoming_message(const UD__Types::UD__listen__result& incoming_par) = 0;
	virtual void incoming_message(const UD__Types::UD__connect__result& incoming_par) = 0;
	virtual void incoming_message(const UD__Types::UD__connected& incoming_par) = 0;
	virtual void incoming_message(const UD__Types::UD__send__data& incoming_par) = 0;
};

} /* end of namespace */

#endif

// This Test Port skeleton source file was generated by the
// TTCN-3 Compiler of the TTCN-3 Test Executor version CRL 113 200/5 R4C
// for Elemer Lelik (ethlel@esekilxxen1842) on Tue Feb  9 09:02:15 2016

// Copyright (c) 2000-2015 Ericsson Telecom AB

// You may modify this file. Complete the body of empty functions and
// add your member functions here.

#include "UD_PT.hh"
#include "UD_PortType.hh"

namespace UD__PortType {

UD__PT_PROVIDER::UD__PT_PROVIDER(const char *par_port_name)
	: PORT(par_port_name)
{

}

UD__PT_PROVIDER::~UD__PT_PROVIDER()
{

}

void UD__PT_PROVIDER::set_parameter(const char * /*parameter_name*/,
	const char * /*parameter_value*/)
{

}

/*void UD__PT_PROVIDER::Handle_Fd_Event(int fd, boolean is_readable,
	boolean is_writable, boolean is_error) {}*/

void UD__PT_PROVIDER::Handle_Fd_Event_Error(int /*fd*/)
{

}

void UD__PT_PROVIDER::Handle_Fd_Event_Writable(int /*fd*/)
{

}

void UD__PT_PROVIDER::Handle_Fd_Event_Readable(int /*fd*/)
{

}

/*void UD__PT_PROVIDER::Handle_Timeout(double time_since_last_call) {}*/

void UD__PT_PROVIDER::user_map(const char * /*system_port*/)
{

}

void UD__PT_PROVIDER::user_unmap(const char * /*system_port*/)
{

}

void UD__PT_PROVIDER::user_start()
{

}

void UD__PT_PROVIDER::user_stop()
{

}

void UD__PT_PROVIDER::outgoing_send(const UD__Types::UD__close& /*send_par*/)
{

}

void UD__PT_PROVIDER::outgoing_send(const UD__Types::UD__listen& /*send_par*/)
{

}

void UD__PT_PROVIDER::outgoing_send(const UD__Types::UD__shutdown& /*send_par*/)
{

}

void UD__PT_PROVIDER::outgoing_send(const UD__Types::UD__connect& /*send_par*/)
{

}

void UD__PT_PROVIDER::outgoing_send(const UD__Types::UD__send__data& /*send_par*/)
{

}

} /* end of namespace */

module SocketCAN_PortType
{
import from SocketCAN_Types all;

  type port SocketCAN_PT message
  {
    out   SocketCAN_close;
    out   SocketCAN_listen;
    in    SocketCAN_listen_result;
    out   SocketCAN_ioctl;
    in    SocketCAN_ioctl_result;
    out   SocketCAN_connect;
    in    SocketCAN_connect_result;
    out   SocketCAN_bind;
    in    SocketCAN_bind_result;    
    out   SocketCAN_send_data;
    out   SocketCAN_sendto_data;
    out   SocketCAN_write_data;
    in    SocketCAN_receive_data;
    in    SocketCAN_connected;
    in    SocketCAN_bound;
    out   SocketCAN_setsockopt; 
    out   SocketCAN_shutdown;
  } with { extension "provider" }
}

type union SocketCAN_ifu {
  SocketCAN_if_name                if_name, 
  SocketCAN_if_index               if_index
} 

type record SocketCAN_send_data{
  SocketCAN_socketid               id,
  SocketCAN_ifu                    ifu optional,
  SocketCAN_CAN_or_CAN_FD_frame    frame
}

 type enumerated SocketCAN_if_any { ANY }

type union SocketCAN_ifu {
 SocketCAN_if_any                   if_any
  SocketCAN_if_name              if_name, 
  SocketCAN_if_index               if_index
} 

type record SocketCAN_send_data{
  SocketCAN_socketid               id,
  SocketCAN_ifu                    ifu,
  SocketCAN_CAN_or_CAN_FD_frame    frame
}

frame.CAN_FD_frame.can_pdu[6] = ....

bcm_tx_msg.opcode
bcm_tx_msg.flags
bcm_tx_msg.frames.canfd_frame[56].can_pdu[7] = ...

void SocketCAN__PT_PROVIDER::outgoing_send(
....
      const SocketCAN__Types::SocketCAN__write__data& send_par) {
....
      bcm_msg.msg_head.opcode = send_par.bcm__tx__msg().opcode();
      bcm_msg.msg_head.flags = send_par.bcm__tx__msg().flags();
      bcm_msg.msg_head.count = send_par.bcm__tx__msg().count();
      bcm_msg.msg_head.ival1.tv_sec = send_par.bcm__tx__msg().ival1().tv__sec();
      bcm_msg.msg_head.ival1.tv_usec = send_par.bcm__tx__msg().ival1().tv__usec();
      bcm_msg.msg_head.ival2.tv_sec = send_par.bcm__tx__msg().ival2().tv__sec();
      bcm_msg.msg_head.ival2.tv_usec = send_par.bcm__tx__msg().ival2().tv__usec();

void SocketCAN__PT_PROVIDER::outgoing_send(
      const SocketCAN__Types::SocketCAN__write__data& send_par) {
....
      Bcm::SocketCAN__bcm__frame& msg = send_par.bcm__tx__msg();
      bcm_msg.msg_head.opcode = msg.opcode();
      bcm_msg.msg_head.flags = msg.flags();
      bcm_msg.msg_head.count = msg.count();
      bcm_msg.msg_head.ival1.tv_sec = msg.ival1().tv__sec();
      bcm_msg.msg_head.ival1.tv_usec = msg.ival1().tv__usec();
      bcm_msg.msg_head.ival2.tv_sec = msg.ival2().tv__sec();
      bcm_msg.msg_head.ival2.tv_usec = msg.ival2().tv__usec();

type union SocketCAN_ifu {
  SocketCAN_if_name                if_name, 
  SocketCAN_if_index               if_index
} 

type record SocketCAN_send_data{
  SocketCAN_socketid               id,
  SocketCAN_ifu                    ifu optional,
  SocketCAN_CAN_or_CAN_FD_frame    frame
}

makefilegen -f Can.ttcn General_Types.ttcn
Generating Makefile skeleton...
Makefile skeleton was generated.
zenmachine1962  [13:01] [/home/ethlel/Josenhans] -> make
/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/bin/compiler -L  \
        Can.ttcn General_Types.ttcn  - Can.ttcn General_Types.ttcn
Notify: Parsing TTCN-3 module `Can.ttcn'...
Notify: Parsing TTCN-3 module `General_Types.ttcn'...
Notify: Checking modules...
Notify: Generating code...
Notify: File `Can.hh' was generated.
Notify: File `Can.cc' was generated.
Notify: File `General_Types.hh' was generated.
Notify: File `General_Types.cc' was generated.
Notify: 4 files were updated.
touch compile
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -Wall   -o Can.o Can.cc
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -Wall   -o General_Types.o General_Types.cc
if g++   -o Can Can.o General_Types.o  \
        -L/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/lib -lttcn3-parallel \
        -L/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/lib -lcrypto \
        -L/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/lib -lxml2 -lpthread -lrt; \
        then : ; else /proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/bin/titanver Can.o General_Types.o ; exit 1; fi

type enumerated SocketCAN_if_any { ANY }

type union SocketCAN_send_data_ifu {
  SocketCAN_if_any                    if_any,
  SocketCAN_if_name                if_name, 
  SocketCAN_if_index                if_index
} 
type record SocketCAN_send_data{
  SocketCAN_socketid                    id,
  SocketCAN_send_data_ifu          ifu optional,   // made optional for demonstration purposes
  SocketCAN_CAN_or_CAN_FD_frame    frame
}

SocketCAN_PT.cc: In member function 'void SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__send__data&)':
SocketCAN_PT.cc:553:40: error: 'const class OPTIONAL<SocketCAN__Types::SocketCAN__send__data__ifu>' has no member named 'if__name'
    strcpy(ifr.ifr_name, send_par.ifu().if__name());
                                        ^
SocketCAN_PT.cc:568:3: warning: case value '3' not in enumerated type 'optional_sel' [-Wswitch]
   case SocketCAN__Types::SocketCAN__send__data__ifu::ALT_if__index:
   ^
SocketCAN_PT.cc:608:5: warning: case value '3' not in enumerated type 'optional_sel' [-Wswitch]
     case SocketCAN__Types::SocketCAN__send__data__ifu::ALT_if__index:
     ^
SocketCAN_PT.cc:684:5: warning: case value '3' not in enumerated type 'optional_sel' [-Wswitch]
     case SocketCAN__Types::SocketCAN__send__data__ifu::ALT_if__index:
     ^
Makefile:140: recipe for target 'SocketCAN_PT.o' failed

g++  -c -DLINUX -I/home/ntaf/TTCNv3-5.4.pl1-linux64-gcc4.8-ubuntu14.04-foss/include -Wall   -o SocketCAN_PT.o SocketCAN_PT.cc
SocketCAN_PT.cc: In member function 'void SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__setsockopt&)':
SocketCAN_PT.cc:1108:40: error: 'CAN_RAW_JOIN_FILTERS' was not declared in this scope
    res = setsockopt(sock, SOL_CAN_RAW, CAN_RAW_JOIN_FILTERS,
                                        ^
make: *** [SocketCAN_PT.o] Error 1

ntaf@ntaf:~/Josenhans/titan.TestPorts.SOCKET_CANasp/src$ cat /usr/src/linux-headers-3.13.0-92/include/uapi/linux/can/raw.h
/*
 * linux/can/raw.h
 *
 * Definitions for raw CAN sockets
 *
 * Authors: Oliver Hartkopp <oliver.hartkopp@volkswagen.de>
 *          Urs Thuermann   <urs.thuermann@volkswagen.de>
 * Copyright (c) 2002-2007 Volkswagen Group Electronic Research
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. Neither the name of Volkswagen nor the names of its contributors
 *    may be used to endorse or promote products derived from this software
 *    without specific prior written permission.
 *
 * Alternatively, provided that this notice is retained in full, this
 * software may be distributed under the terms of the GNU General
 * Public License ("GPL") version 2, in which case the provisions of the
 * GPL apply INSTEAD OF those given above.
 *
 * The provided data structures and external interfaces from this code
 * are not restricted to be used by modules with a GPL compatible license.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
 * DAMAGE.
 */

#ifndef CAN_RAW_H
#define CAN_RAW_H

#include <linux/can.h>

#define SOL_CAN_RAW (SOL_CAN_BASE + CAN_RAW)

/* for socket options affecting the socket (not the global system) */

enum {
	CAN_RAW_FILTER = 1,	/* set 0 .. n can_filter(s)          */
	CAN_RAW_ERR_FILTER,	/* set filter for error frames       */
	CAN_RAW_LOOPBACK,	/* local loopback (default:on)       */
	CAN_RAW_RECV_OWN_MSGS,	/* receive my own msgs (default:off) */
	CAN_RAW_FD_FRAMES,	/* allow CAN FD frames (default:off) */
};

#endif
ntaf@ntaf:~/Josenhans/titan.TestPorts.SOCKET_CANasp/src$ 

#ifdef CAN_RAW_JOIN_FILTERS
   ....
   setsockopt(sock, SOL_CAN_RAW, CAN_RAW_JOIN_FILTERS,	&join_filters, sizeof(join_filters));
   ....     
#else
     TTCN_error("SocketCAN: setsockopt option CAN_RAW_JOIN_FILTERS is not supported by the current can-utils version"),
#endif 

// workaround, as not yet defined in "linux/can/Bcm.h":
#define CAN_FD_FRAME 0x0800

// workaround, as some of those below may not yet be defined in "linux/can/raw.h":
#define CAN_RAW_FILTER        = 1 /* set 0 .. n can_filter(s)          */
#define CAN_RAW_ERR_FILTER	  = 2 /* set filter for error frames       */
#define CAN_RAW_LOOPBACK      = 3 /* local loopback (default:on)       */
#define CAN_RAW_RECV_OWN_MSGS = 4 /* receive my own msgs (default:off) */
#define CAN_RAW_FD_FRAMES     = 5 /* allow CAN FD frames (default:off) */
#define CAN_RAW_JOIN_FILTERS  = 6 /* all filters must match to trigger */

#define CAN_RAW_JOIN_FILTERS  = 6 /* all filters must match to trigger */

type record SocketCAN_send_data{
  SocketCAN_socketid                    id,
  SocketCAN_send_data_ifu          ifu optional,   // made optional for to trigger titan error
  SocketCAN_CAN_or_CAN_FD_frame    frame
}

switch (send_par.ifu().get_selection()) {
                               case SocketCAN__Types::SocketCAN__send__data__ifu::ALT_if__name: {
                                             const OPTIONAL<SocketCAN__Types::SocketCAN__send__data__ifu>& ifu = send_par.ifu();
                                               strcpy(ifr.ifr_name, ifu().if__name()); // Here ifu() calls the overloaded () operator of OPTIONAL class, which returns the ifu field.
                                               res = ioctl(sock, SIOCGIFINDEX, &ifr);
                                               if (res != 0) {
                                                               TTCN_warning(
                                                                                              "Send CAN frame: Ioctl failed while retrieving the interface : %d with interface index %s\n",
                                                                                              sock, ifr.ifr_name);
                                                               result.result().result__code() =
                                                                                              SocketCAN__Types::SocketCAN__Result__code::ERROR_;
                                                               result.result().err() = errno;
                                                               result.result().err__text() =
                                                                                              "Send CAN frame: Ioctl failed while retrieving the interface";
                                               }
                                               addr.can_ifindex = ifr.ifr_ifindex;
                                               addr.can_family = AF_CAN;
                                               break; }

strcpy(ifr.ifr_name, send_par.ifu()().if__name());

type component TimedComponent {
    port SocketCAN_PT pt_socketCAN 
    timer Tl_timer := 0.2
}
type component SocketCAN_comptype {
    port SocketCAN_PT pt_socketCAN
    timer Tl_timer := 0.2
}

  var SocketCAN_comptype v_raw_responder_ref := SocketCAN_comptype.create("Raw_responder")
  var SocketCAN_comptype v_raw_initator_ref := SocketCAN_comptype.create("Raw_initator")
  
  map(v_raw_responder_ref:pt_socketCAN, system:pt_socketCAN)
  map(v_raw_initator_ref:pt_socketCAN, system:pt_socketCAN)
 
  var SocketCAN_CAN_or_CAN_FD_frame v_frame_to_send
  v_frame_to_send := {canfd_frame := 
                       {can_id := 21, 
                        can_flags := '00000000'B, 
                        can_pdu := '0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF'O}
                    }
  v_raw_responder_ref.start(f_raw_responder(v_raw_responder_ref, c_if_name, v_frame_to_send))
  v_raw_initator_ref.start(f_raw_initiator(v_raw_initator_ref, c_if_name, v_frame_to_send))

....
  
  Tl_timer.start;
  Tl_timer.timeout;

  unmap(v_raw_responder_ref:pt_socketCAN, system:pt_socketCAN)
  unmap(v_raw_initator_ref:pt_socketCAN, system:pt_socketCAN)

                                                                         +-------------------------+
                                                                         |                         |
            +-------------------------+                                  |         PTC3            |
            |                         |                                  |                         |
            |                         |                         +--------+----------------+        |
            |                         |                         |                         |        |
            |                         |                         |         PTC2            |        |
            |         MTC             |                         |                         |        |
            |                         |               +---------+---------------+         |        |
            |                         |               |                         |         |        |
            |                         |               |                         |         |        |
            |                         |               |                         |         |        |
            |                         |               |                         |         +---+----+
            |                         |               |                         |         |   |
            +-------------------------+               |       PTC1              |         |   |
                                                      |                         |         |   |
                                                      |                         +--+------+   |
                                                      |                         |  |          |
                                                      |                         |  |          |
                                                      |                         |  |          |
                                                      +-------------+-----------+  |          |
                                                                    |              |          |
                                                                    |              |          |
            +                                                       |              |          |        +
            |                                                       |              |          |        |
            +-------------------------------------------------------v--------------v----------v--------+
            |                                           SUT                                            |
            +                                                                                          +

module  ExMod 

{


//component declarations
type component MTC_CT
{ 
  :
}

type component PTC1_CT
{
  //variables
  //timers
  timer Tl:= 0.2
  
  :
}
type component PTC2_CT
{
  //variables
  //timers
  timer Tl:= 0.2
  :
}
type component PTC3_CT
{
  //variables
  //timers
  :
}

//parallel test component behaviour declarations
function  f_behaviour1()  runs on PTC1_CT
{
  
}


function  f_behaviour2()  runs on PTC2_CT
{
  
}

function  f_behaviour3()  runs on PTC3_CT
{
  
}

//test case declarations
testcase tc_Example001  runs on MTC
{
  //create components
  v_PTC1:=PTC1_CT.create; 
  v_PTC2:=PTC2_CT.create; 
  v_PTC3:=PTC3_CT.create; 
  
  //connnect ports
  //map ports
  
  //start components 
  
  v_PTC1.start(f_behaviour1());
  v_PTC2.start(f_behaviour2());
  v_PTC3.start(f_behaviour3());
  
  //wait for termination
  all components.done
  
  
  //unmap ports
  //disconnect ports
  //terminate all parallel test componenets
  all components.kill
  
}
//when the test case terminates, MTC will terminate as well
//PTCs terminate (reach the state done) when the function with which they were started terminates

control 
{
  
  
  execute(tc_Example001())
  
  
}//endcontrol



}//endmodule

//----------------------------------------------------------


function  f_behaviour1()  runs on PTC1_CT
{

//periodic sending

while (condition1)

{
  port1.send(message1);
  
  T1.start 
  T1.timeout;
  
}

}

//----------------------------------------------------------
function  f_behaviour2()  runs on PTC2_CT
{

//periodic reception

while (condition2)
T1.start;

alt 
{
  []port.receive(?) { 
    T1.stop; 
    //log incoming message 
  } 
  
  []T1.timeout; 
  
}//endalt

}//endfunction

                                                                         +-------------------------+
                                                         +--------------->sync                     |
            +-------------------------+                  |               |         PTC3            |
            |                         |         +--------+               |                         |
            |                         |         |               +-------------------------+        |
            |                         <---------+               |                         |        |
            |                         <------------------------^+sync     PTC2            |        |
            |         MTC             |                         |                         |        |
            |                         |               +-------------------------+         |        |
            |                         |               |                         |         |        |
            |                         |               |                         |         |        |
            |                         |               |                         |         |        |
            |                         <--------------->sync                     |         +--------+
            |                         |               |                         |         |   |
            +-------------------------+               |       PTC1              |         |   |
                                                      |                         |         |   |
                                                      |                         +---------+   |
                                                      |                         |  |          |
                                                      |                         |  |          |
                                                      |                         |  |          |
                                                      +-------------------------+  |          |
                                                                    |              |          |
                                                                    |              |          |
            +                                                       |              |          |        +
            |                                                       |              |          |        |
            +-------------------------------------------------------v--------------v----------v--------+
            |                                             SUT                                          |
            +                                                                                          +

//----------------------------------------------------------

function  f_behaviour1_sync()  runs on PTC1_CT
{

//periodic sending

while (condition1)

{
  port1.send(message1);
  
  T1.start 
  alt
  {
    []syncport.receive("halt") {
      condition1:=false  }
  }
  []T1.timeout;
  
}

}//endwhile
}//endfunction


//----------------------------------------------------------

function  f_behaviour2_sync()  runs on PTC2_CT
{

//periodic reception

while (condition2)
T1.start;

alt 
{
  
  []syncport.receive("halt") {
    condition2:=false  }
}

[]port.receive(?) { 
  T1.stop; 
  //log incoming message 
} 

[]T1.timeout; 

}//endalt

}//endfunction

:
type component TimedComponent {
    port SocketCAN_PT pt_socketCAN 
    timer Tl_timer := 0.2
}
type component SocketCAN_comptype {
    port SocketCAN_PT pt_socketCAN
    timer Tl_timer := 0.2
}



control 

{


  var SocketCAN_comptype v_raw_responder_ref := SocketCAN_comptype.create("Raw_responder")
  var SocketCAN_comptype v_raw_initator_ref := SocketCAN_comptype.create("Raw_initator")
  
  map(v_raw_responder_ref:pt_socketCAN, system:pt_socketCAN)
  map(v_raw_initator_ref:pt_socketCAN, system:pt_socketCAN)



  
  var SocketCAN_CAN_or_CAN_FD_frame v_frame_to_send
  v_frame_to_send := {canfd_frame := 
                       {can_id := 21, 
                        can_flags := '00000000'B, 
                        can_pdu := '0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF'O}
                    }

  v_raw_responder_ref.start(f_raw_responder(v_raw_responder_ref, c_if_name, v_frame_to_send))
  v_raw_initator_ref.start(f_raw_initiator(v_raw_initator_ref, c_if_name, v_frame_to_send))

....
  
 // Tl_timer.start;
 // Tl_timer.timeout;
 

//f_raw_responder  , f_raw_initiator  will have a "runs on clause" referring to SocketCAN_comptype
//termination of PTCs depends on termination of the above two functions

//this statement waits for termination of the two components 
 all components.done;
 
  unmap(v_raw_responder_ref:pt_socketCAN, system:pt_socketCAN)
  unmap(v_raw_initator_ref:pt_socketCAN, system:pt_socketCAN)

 //this kills the PTCs 
 all components.kill;
 
}


 :

template SocketCAN_Result tr_result(SocketCAN_Result_code v_result_code) := {          
     result_code   := v_result_code,
     err           := *,
     err_text      := *
}

{ id := 0, result := { result_code := SUCCESS (1), err := omit, err_text := omit } }

:

  var SocketCAN_comptype v_client
:
  // receive response
  alt {
    [] pt_socketCAN.receive(SocketCAN_ioctl_result:{ifr := ?, result := tr_result(SUCCESS)}) /*from v_client*/ -> value v_result

:

testcase tc_can_raw1() runs on TimedComponent system SocketCAN_comptype
{
  var SocketCAN_comptype v_raw_responder_ref := SocketCAN_comptype.create("Raw_responder")
  
  var SocketCAN_comptype v_raw_initator_ref := SocketCAN_comptype.create("Raw_initator")
  
  //connect(v_raw_responder_ref:pt_time, mtc:pt_time)
  //connect(v_raw_initator_ref:pt_time, mtc:pt_time)
  
  map(v_raw_responder_ref:pt_socketCAN, system:pt_socketCAN)
  map(v_raw_initator_ref:pt_socketCAN, system:pt_socketCAN)
 
  var SocketCAN_CAN_or_CAN_FD_frame v_frame_to_send
  v_frame_to_send := {canfd_frame := 
                       {can_id := 21, 
                        can_flags := '00000000'B, 
                        can_pdu := '0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF'O}
                    }
  v_raw_responder_ref.start(f_raw_responder(v_raw_responder_ref, c_if_name, v_frame_to_send))
  v_raw_initator_ref.start(f_raw_initiator(v_raw_initator_ref, c_if_name, v_frame_to_send))
  

  /*
  // activate raw CAN FD frames:
  f_setsockopt(v_raw1_ref, v_socket1_id, {fd_frames := Enable})
  
  var SocketCAN_setsockopt_commandu v_command

  // send mesage of v_socket1_id
  f_send_data(v_raw1_ref, 
              v_socket1_id, 
              v_ifu1,
              v_frame_send2)

  // receive message over v_socket2_id
  v_receive_result := receive_data(v_raw2_ref, v_socket2_id)
  
  b := match(v_receive_result, {id := v_socket2_id, ifr := ?, frame := v_frame_send1, timestamp := ?})

  // deactivate raw CAN FD frames:
  f_setsockopt(v_raw1_ref, v_socket1_id, {fd_frames := Disable})
  */    
  
 // Tl_timer.start;
 // Tl_timer.timeout;

all component.done;


  unmap(v_raw_responder_ref:pt_socketCAN, system:pt_socketCAN)
  unmap(v_raw_initator_ref:pt_socketCAN, system:pt_socketCAN)

all component.kill;
}

[TESTPORT_PARAMETERS]
*.*.interface_name = "vcan0"
*.*.src_can_id="an id here"
*.*.dst_can_id="another id here" 

template SocketCAN_Result a_result(in SocketCAN_Result_code v_result_code) := {          
     result_code   := v_result_code,
     err           := ?
     err_text      := ?
}

template SocketCAN_Result a_result(in SocketCAN_Result_code v_result_code) := {          
     result_code   := v_result_code,
     err           := *,
     err_text      := *
}

{ id := 0, result := { result_code := SUCCESS (1), err := omit, err_text := omit } } 

  v_bcm_read_status_frame := {
    opcode := 3, // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << 0) or4b 
    ('00000000000000000000000000000001'B << 1) or4b 
    ('00000000000000000000000000000001'B << 4),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

  v_bcm_read_status_frame := {
    opcode := 3, // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << enum2int(e_CAN_BCM_SETTIMER_BITINDEX)) or4b 
    ('00000000000000000000000000000001'B << enum2int(e_CAN_BCM_TX_COUNTEVT_BITINDEX)) or4b
    ('00000000000000000000000000000001'B << enum2int(e_CAN_BCM_TX_CP_CAN_ID_BITINDEX),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

  v_bcm_read_status_frame := {
    opcode := 3, // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << 0) or4b 
    ('00000000000000000000000000000001'B << 1) or4b 
    ('00000000000000000000000000000001'B << 4),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

  v_bcm_read_status_frame := {
    opcode := enum2int(e_CAN_BCM_TX_READ), // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << 0) or4b 
    ('00000000000000000000000000000001'B << 1) or4b 
    ('00000000000000000000000000000001'B << 4),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

const e_Phase c_testcase_complete := e_testcase_complete
(0 .. enum2int(c_testcase_complete)) 

(0 .. enum2int(e_testcase_complete))

template integer a:= (1 .. !10)
template integer a:= (1 .. !v_value10)
template integer a:= (1 .. !e_enum10)

  var  e_Phase          v_phase := c_firstPhase

  var  e_Phase          v_phase := e_firstPhase

  var PhaseEndInd v_PhaseEndInd := {phase := v_phase, phase_int := enum2int(v_phase)}
  pt_sync.send(v_PhaseEndInd)

[] pt_sync.receive (PhaseEndInd: {phase :=?, phase_int :=  (enum2int(p_phase) .. (enum2int(c_testcase_complete)))}){}

[] pt_sync.receive (PhaseEndInd: {phase :=  (p_phase .. c_testcase_complete), phase_int :=?}){}

[] pt_sync.receive (PhaseEndInd: {phase :=  (p_phase .. e_testcase_complete), phase_int :=?}){}

type enumerated BcmFlags_enum {
  e_CAN_BCM_SETTIMER            (1),
  e_CAN_BCM_RX_RTR_FRAME        (1024)
}

type enumerated BcmFlags_enum {
  e_CAN_BCM_SETTIMER            (1),
  e_CAN_BCM_RX_RTR_FRAME        (1024),
  e_CAN_BCM_RX_RTR_FRAME_test1 ('0101'B),
  e_CAN_BCM_RX_RTR_FRAME_test2 (bit2int('0111'B)),
  e_CAN_BCM_RX_RTR_FRAME_test3 ('FFE'H),
  e_CAN_BCM_RX_RTR_FRAME_test4 (oct2int('FFF'H)),
  e_CAN_BCM_RX_RTR_FRAME_test5 ('FFFE'O),
  e_CAN_BCM_RX_RTR_FRAME_test6 (oct2int('FFFF'O))
}

cat /etc/SuSE-release
SUSE Linux Enterprise Desktop 11 (x86_64)
VERSION = 11
PATCHLEVEL = 1

esekilxxen1846 [10:26] [titan.TestPorts.SocketCANasp_0920/titan.TestPorts.SocketCANasp/src] -> make                                               
/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/bin/compiler -L  \                                                                                       
        Bcm.ttcn Can.ttcn CanError.ttcn General_Types.ttcn Raw.ttcn SocketCAN_PortType.ttcn SocketCANtest.ttcn SocketCAN_Types.ttcn SocketCAN_RAW_test.ttcn SocketCAN_BCM_test.ttcn  - Bcm.ttcn Can.ttcn CanError.ttcn General_Types.ttcn Raw.ttcn SocketCAN_PortType.ttcn SocketCANtest.ttcn SocketCAN_Types.ttcn SocketCAN_RAW_test.ttcn SocketCAN_BCM_test.ttcn                                                                                    
Notify: Parsing TTCN-3 module `Bcm.ttcn'...                                                                                                       
Notify: Parsing TTCN-3 module `Can.ttcn'...                                                                                                       
Notify: Parsing TTCN-3 module `CanError.ttcn'...                                                                                                  
Notify: Parsing TTCN-3 module `General_Types.ttcn'...                                                                                             
Notify: Parsing TTCN-3 module `Raw.ttcn'...                                                                                                       
Notify: Parsing TTCN-3 module `SocketCAN_PortType.ttcn'...                                                                                        
Notify: Parsing TTCN-3 module `SocketCANtest.ttcn'...                                                                                             
Notify: Parsing TTCN-3 module `SocketCAN_Types.ttcn'...                                                                                           
Notify: Parsing TTCN-3 module `SocketCAN_RAW_test.ttcn'...                                                                                        
Notify: Parsing TTCN-3 module `SocketCAN_BCM_test.ttcn'...                                                                                        
Notify: Checking modules...                                                                                                                       
Notify: Generating code...                                                                                                                        
Notify: File `Bcm.hh' was generated.                                                                                                              
Notify: File `Bcm.cc' was generated.                                                                                                              
Notify: File `Can.hh' was generated.                                                                                                              
Notify: File `Can.cc' was generated.                                                                                                              
Notify: File `CanError.hh' was generated.                                                                                                         
Notify: File `CanError.cc' was generated.                                                                                                         
Notify: File `General_Types.hh' was generated.                                                                                                    
Notify: File `General_Types.cc' was generated.                                                                                                    
Notify: File `Raw.hh' was generated.                                                                                                              
Notify: File `Raw.cc' was generated.                                                                                                              
Notify: File `SocketCAN_BCM_test.hh' was generated.                                                                                               
Notify: File `SocketCAN_BCM_test.cc' was generated.                                                                                               
Notify: File `SocketCAN_PortType.hh' was generated.                                                                                               
Notify: File `SocketCAN_PortType.cc' was generated.                                                                                               
Notify: File `SocketCAN_RAW_test.hh' was generated.                                                                                               
Notify: File `SocketCAN_RAW_test.cc' was generated.                                                                                               
Notify: File `SocketCAN_Types.hh' was generated.                                                                                                  
Notify: File `SocketCAN_Types.cc' was generated.                                                                                                  
Notify: File `SocketCANtest.hh' was generated.                                                                                                    
Notify: File `SocketCANtest.cc' was generated.                                                                                                    
Notify: 20 files were updated.                                                                                                                    
touch compile                                                                                                                                     
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o Bcm.o Bcm.cc                                                       
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o Can.o Can.cc                                                       
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o CanError.o CanError.cc                                             
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o General_Types.o General_Types.cc                                   
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o Raw.o Raw.cc                                                       
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o SocketCAN_PortType.o SocketCAN_PortType.cc                         
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o SocketCANtest.o SocketCANtest.cc                                   
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o SocketCAN_Types.o SocketCAN_Types.cc                               
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o SocketCAN_RAW_test.o SocketCAN_RAW_test.cc                         
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o SocketCAN_BCM_test.o SocketCAN_BCM_test.cc                         
g++  -c -DLINUX -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -W -Wall -o SocketCAN_PT.o SocketCAN_PT.cc
SocketCAN_PT.cc: In member function 'virtual void SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)':
SocketCAN_PT.cc:134: error: aggregate 'canfd_frame frame' has incomplete type and cannot be defined
SocketCAN_PT.cc:135: error: 'CANFD_MTU' was not declared in this scope
SocketCAN_PT.cc:151: error: 'CAN_MTU' was not declared in this scope
SocketCAN_PT.cc:199: warning: cannot pass objects of non-POD type 'const class INTEGER' through '...'; call will abort at runtime
SocketCAN_PT.cc:211: warning: cannot pass objects of non-POD type 'const class INTEGER' through '...'; call will abort at runtime
SocketCAN_PT.cc:227: error: field 'frame' has incomplete type
SocketCAN_PT.cc:307: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc:308: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc:309: error: 'CAN_MAX_DLEN' was not declared in this scope
SocketCAN_PT.cc:312: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc: In member function 'void SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__write__data&)':
SocketCAN_PT.cc:973: error: 'CAN_MAX_DLEN' was not declared in this scope
SocketCAN_PT.cc:1048: error: field 'frame' has incomplete type
SocketCAN_PT.cc:1099: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__write__data&)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc:1100: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__write__data&)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc:1102: error: 'CANFD_MAX_DLEN' was not declared in this scope
SocketCAN_PT.cc:1110: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__write__data&)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc:1112: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__write__data&)::<anonymous>' has no member named 'frame'
SocketCAN_PT.cc:1120: error: invalid application of 'sizeof' to incomplete type 'canfd_frame'
make: *** [SocketCAN_PT.o] Error 1

    struct bcm_msg_head {
            __u32 opcode;                   /* command */
            __u32 flags;                    /* special flags */
            __u32 count;                    /* run 'count' times with ival1 */
            struct timeval ival1, ival2;    /* count and subsequent interval */
            canid_t can_id;                 /* unique can_id for task */
            __u32 nframes;                  /* number of can_frames following */
            struct can_frame frames[0];
    };

    struct {
            struct bcm_msg_head msg_head;
            struct can_frame frame[N];
    } msg;

    struct {
            struct bcm_msg_head msg_head;
            struct canfd_frame frame[N]
    } msg;

make
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o Bcm.o Bcm.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o Can.o Can.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o CanError.o CanError.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o General_Types.o General_Types.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o Raw.o Raw.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCAN_BCM_test.o SocketCAN_BCM_test.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCAN_PortType.o SocketCAN_PortType.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCAN_RAW_test.o SocketCAN_RAW_test.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCAN_Types.o SocketCAN_Types.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCANtest.o SocketCANtest.cc
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCAN_PT.o ../src/SocketCAN_PT.cc
../src/SocketCAN_PT.cc: In member function 'virtual void SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)':
../src/SocketCAN_PT.cc:199:34: error: cannot pass objects of non-trivially-copyable type 'const class INTEGER' through '...'
         ifr.ifr_name, nbytes, len);
                                  ^
../src/SocketCAN_PT.cc:211:34: error: cannot pass objects of non-trivially-copyable type 'const class INTEGER' through '...'
         ifr.ifr_name, nbytes, len);
                                  ^
make: *** [SocketCAN_PT.o] Error 1

make                      
Creating dependency file for SocketCANtest.cc                                                                            
Creating dependency file for SocketCAN_Types.cc                                                                          
Creating dependency file for SocketCAN_RAW_test.cc                                                                       
Creating dependency file for SocketCAN_PortType.cc                                                                       
Creating dependency file for SocketCAN_BCM_test.cc                                                                       
Creating dependency file for Raw.cc                                                                                      
Creating dependency file for General_Types.cc                                                                            
Creating dependency file for CanError.cc                                                                                 
Creating dependency file for Can.cc
Creating dependency file for Bcm.cc
Creating dependency file for ../src/SocketCAN_PT.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o Bcm.o Bcm.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o Can.o Can.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o CanError.o CanError.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o General_Types.o General_Types.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o Raw.o Raw.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o SocketCAN_BCM_test.o SocketCAN_BCM_test.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o SocketCAN_PortType.o SocketCAN_PortType.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o SocketCAN_RAW_test.o SocketCAN_RAW_test.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o SocketCAN_Types.o SocketCAN_Types.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o SocketCANtest.o SocketCANtest.cc
g++ -c -DLINUX -I. -I/proj/TTCN/Releases/TTCNv3_daily_LMWP3.1/include -I. -I../src -Wall -O2  -o SocketCAN_PT.o ../src/SocketCAN_PT.cc
../src/SocketCAN_PT.cc: In member function 'virtual void SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)':
../src/SocketCAN_PT.cc:161: error: 'CANFD_MTU' was not declared in this scope
../src/SocketCAN_PT.cc:196: error: 'struct can_frame' has no member named 'len'
../src/SocketCAN_PT.cc:235: warning: cannot pass objects of non-POD type 'const class INTEGER' through '...'; call will abort at runtime
../src/SocketCAN_PT.cc:247: warning: cannot pass objects of non-POD type 'const class INTEGER' through '...'; call will abort at runtime
../src/SocketCAN_PT.cc:250: error: 'struct can_frame' has no member named 'flags'
../src/SocketCAN_PT.cc:263: error: field 'frame' has incomplete type
../src/SocketCAN_PT.cc:347: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)::<anonymous>' has no member named 'frame'
../src/SocketCAN_PT.cc:348: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)::<anonymous>' has no member named 'frame'
../src/SocketCAN_PT.cc:348: error: 'CAN_MAX_DLEN' was not declared in this scope
../src/SocketCAN_PT.cc:351: error: 'struct SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)::<anonymous>' has no member named 'frame'
../src/SocketCAN_PT.cc: In member function 'void SocketCAN__PortType::SocketCAN__PT_PROVIDER::outgoing_send(const SocketCAN__Types::SocketCAN__write__data&)':
../src/SocketCAN_PT.cc:1014: error: 'CAN_MAX_DLEN' was not declared in this scope
make: *** [SocketCAN_PT.o] Error 1

"
system.pt_socketCAN_VCAN_IFA.SocketCAN_can_interface_name := "vcan0"
system.pt_socketCAN_VCAN_IFA.SocketCAN_debugging := "YES"
system.pt_socketCAN_VCAN_IFB.SocketCAN_can_interface_name := "vcan1"
system.pt_socketCAN_VCAN_IFB.SocketCAN_debugging := "YES"

make 
g++  -c -DLINUX -I. -I/home/james00/Titan_5.5.0_gcc4.8_ubuntu14.04_64//include -I. -I../src -Wall -O2  -o SocketCAN_PT.o ../src/SocketCAN_PT.cc
../src/SocketCAN_PT.cc: In member function 'virtual void SocketCAN__PortType::SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable(int)':
../src/SocketCAN_PT.cc:243:34: error: cannot pass objects of non-trivially-copyable type 'const class INTEGER' through '...'
         ifr.ifr_name, nbytes, len);
                                  ^
../src/SocketCAN_PT.cc:255:34: error: cannot pass objects of non-trivially-copyable type 'const class INTEGER' through '...'
         ifr.ifr_name, nbytes, len);
                                  ^
make: *** [SocketCAN_PT.o] Error 1

log("Received a CAN frame from interface %s of %d bytes and with payload length %d",
						ifr.ifr_name, nbytes, len);

log("Received a CAN frame from interface %s of %d bytes and with payload length %d",
ifr.ifr_name, nbytes, len.get_long_long_val());

log("Received a CAN frame from interface %s of %d bytes and with payload length %d",
ifr.ifr_name, nbytes, (int)len);

*.pt_socketCAN_VCAN_IFA.SocketCAN_can_interface_name := "vcan0"
*.pt_socketCAN_VCAN_IFA.SocketCAN_debugging := "YES"
*.pt_socketCAN_VCAN_IFB.SocketCAN_can_interface_name := "vcan1"
*.pt_socketCAN_VCAN_IFB.SocketCAN_debugging := "YES"

git clone http://git.eclipse.org/gitroot/titan/titan.TestPorts.SocketCANasp

git clone git://git.eclipse.org/gitroot/titan/titan.TestPorts.SocketCANasp

template bitstring a_CAN_EFF_FLAG   := '1???????????????????????????????'B length (32) // EFF/SFF is set in the MSB
template bitstring a_CAN_SFF_FLAG   := '0???????????????????????????????'B length (32) // EFF/SFF is set in the MSB

function f_test1() runs on PTC { 
  const SocketCAN_CAN_or_CAN_FD_frame a := {
    can_frame := {
      can_id        := 123,
      can_pdu       := '123456'O
    }
  }
  var boolean b
  b := match (a, a_SocketCAN_CAN_frame(bit2int(a_CAN_EFF_FLAG), ?))
}

template SocketCAN_CAN_or_CAN_FD_frame a_SocketCAN_CAN_frame(
  template CAN_id p_can_id, 
  template CAN_PDU p_can_pdu) := { 
  can_frame := {
    can_id := p_can_id, 
    can_pdu := p_can_pdu
  }
}

SocketCAN_RAW_test.ttcn: In TTCN-3 module `SocketCAN_RAW_test':
 SocketCAN_RAW_test.ttcn:59.1-68.1: In function definition `f_test1':
  SocketCAN_RAW_test.ttcn:67.3-77: In variable assignment:
   SocketCAN_RAW_test.ttcn:67.49-76: In actual parameter list of template `@SocketCAN_RAW_test.a_SocketCAN_CAN_or_CAN_FD_frame':
    SocketCAN_RAW_test.ttcn:67.50-72: In parameter #1 for `p_can_id':
     SocketCAN_RAW_test.ttcn:67.50-72: In the operand of operation `bit2int()':
      SocketCAN_RAW_test.ttcn:67.58-71: error: Reference to a value was expected instead of template `@Can.a_CAN_EFF_FLAG'
Notify: Error found in the input modules. Code will not be generated.

 b := match (int2bit(a.can_frame.can_id,32), a_CAN_EFF_FLAG)  and match(oct2bit(a.can_frame.can_pdu), ?)

b := match (int2bit(a.can_frame.can_id,32), a_CAN_EFF_FLAG);

 
template SocketCAN_receive_CAN_or_CAN_FD_frame a_SocketCAN_receive_CAN_or_CAN_FD_frame(
  template SocketCAN_socketid p_socketid, 
  template SocketCAN_CAN_or_CAN_FD_frame p_frame) := { 
  // recieved CAN or CAN FD frame
  id        := p_socketid,
  ifr       := ?,
  frame     := p_frame, 
  timestamp := ?
}

function f_receive_data(template SocketCAN_socketid p_socket_id, template SocketCAN_CAN_or_CAN_FD_frame p_frame_expected)
runs on PTC { 
  var SocketCAN_receive_CAN_or_CAN_FD_frame v_result

  timer t_guard
  t_guard.start(c_guard)

  // receive frame or timeout
  alt {

    [] pt_socketCAN.receive(a_SocketCAN_receive_CAN_or_CAN_FD_frame(p_socket_id, p_frame_expected)) -> value v_result
    {
      log("SocketCan:Expected frame received", v_result)
    }
    [] pt_socketCAN.receive(?) -> value v_result
    {
      log("SocketCan:Other CAN-Frame received, ignoring:", v_result)
      repeat}
    [] t_guard.timeout {
      log("timeout!")
      setverdict(fail)}
  }
}

template integer t_CAN_EFF_FLAG := (2147483648..4294967295) 
template integer t_CAN_SFF_FLAG := (0..2147483647) 

 b := match (a, a_SocketCAN_CAN_frame(t_CAN_EFF_FLAG, ?))

template octetstring t_CAN_EFF_FLAG := ('80000000'O..'FFFFFFFF'O) 
template octetstring t_CAN_SFF_FLAG := ('00000000'O..'7FFFFFFF'O) 
or 
template octetstring t_CAN_EFF_FLAG := '(80..FF)???'O
template octetstring t_CAN_SFF_FLAG := '(00..7F)???'O

template octetstring t_CAN_SFF_FLAG:=(
'00???'O,'01???'O,'02???'O,'03???'O,'04???'O,
'05???'O,'06???'O,'04???'O,'08???'O,'09???'O,
'10???'O,  and so on until
'7F???'O
);

type record MyBinaryMessage
 {
 octetstring payload
 }

 type record MyPayload
 {
 integer field1,
 integer field2
 }
template MyBinaryMessage mw_t1 :=
 {
 // The payload field can be matched only if it contains an encoded value of the MyPayload
 // type and if the field1 of the decoded value is equal to 1.
 payload := decmatch MyPayload:{field1 := 1, field2 := ? }
 } 

module test2
{



const integer       CAN_MAX_DLEN   :=   8;
const integer       CANFD_MAX_DLEN :=  64;

type bitstring BIT1  length(1)  with { variant "" };
type bitstring BIT29 length(29) with { variant "" };

type octetstring       CAN_id length (4);      
type bitstring           CAN_flags length (8);  

type octetstring         CAN_PDU;

type record CAN_frame {
  CAN_id              can_id,                                // 32 bit CAN_ID + EFF/RTR/
  CAN_PDU             can_pdu length (0 .. CAN_MAX_DLEN)
};

type record CANFD_frame {
  CAN_id              can_id,                                // 32 bit CAN_ID + EFF/RTR/
  CAN_flags           can_flags,                             // only used with CAN FD  
  CAN_PDU             can_pdu   length (0 .. CANFD_MAX_DLEN)
};

type union SocketCAN_CAN_or_CAN_FD_frame {
  CAN_frame                        can_frame,
  CANFD_frame                      canfd_frame
};



/*
* Controller Area Network Identifier structure
*
* bit 0-28	: CAN identifier (11/29 bit)  0..536870911
* bit 29	: error frame flag (0 = data frame, 1 = error frame)
* bit 30	: remote transmission request flag (1 = rtr frame)
* bit 31	: frame format flag (0 = standard 11 bit, 1 = extended 29 bit)
*/



type record  CAN_Id 
{
  BIT1  fff,
  BIT1  rtxf,
  BIT1  eff,
  BIT29 CAN_identifier //this could also be integer  in range  0..536870911 if more convenient
}




type record CAN_frame_s {
  CAN_Id              can_id,                                // 32 bit CAN_ID + EFF/RTR/
  CAN_PDU             can_pdu length (0 .. CAN_MAX_DLEN)
}with { variant " "};

type record CANFD_frame_s {
  CAN_Id              can_id,                                // 32 bit CAN_ID + EFF/RTR/
  CAN_flags           can_flags,                             // only used with CAN FD  
  CAN_PDU             can_pdu   length (0 .. CANFD_MAX_DLEN)
}with { variant " "};

type union SocketCAN_CAN_or_CAN_FD_frame_s {
  CAN_frame_s                        can_frame,
  CANFD_frame_s                      canfd_frame
}with { variant " "};


type record MessageType {
  octetstring payload
}




type port loopbackPort message { 
  inout MessageType
} with {extension "internal"}


type component GeneralComp {	    	    
  port loopbackPort messagePort
}	

testcase TC_001() runs on GeneralComp {

  var SocketCAN_CAN_or_CAN_FD_frame_s v_testMessage;
  var MessageType Message;

  v_testMessage:= { 
    can_frame := {
      can_id        := {fff:='1'B,rtxf:='0'B, eff:='0'B, CAN_identifier:= '00010001101000101011001111000'B},
      can_pdu       := '123456'O
    }
  } 

  Message.payload := bit2oct(encvalue(v_testMessage));		//encode message to payload

  template MessageType mw_matchingTemplate:= {  			
    payload :=  decmatch SocketCAN_CAN_or_CAN_FD_frame_s: { 
      can_frame := {
        can_id := {fff:='1'B, rtxf:=?, eff:=?, CAN_identifier:=? },
        can_pdu := ?
      }
    }
  } 

  connect(self:messagePort, self:messagePort);
  messagePort.send(Message);	//send message

  alt {
    [] messagePort.receive(mw_matchingTemplate) {
      setverdict(pass);
    }
    [] messagePort.receive {
      setverdict(fail);
    }
  }

}

control{
  execute(TC_001());
}



}with { encode "RAW"}

type record  CAN_Id 
{
  BIT1  eff,
  BIT1  rtr,
  BIT1  err,
  BIT29 CAN_identifier //this could also be integer  in range  0..536870911 if more convenient
}

#define CAN_EFF_FLAG 0x80000000U
/* extended frame format */
#define CAN_RTR_FLAG 0x40000000U
/* remote transmission request */
#define CAN_ERR_FLAG 0x20000000U /* error frame */

3 Bit Priority
1 Bit Reserved
1 Bit Data Page
8 Bit PDU Format (condition: must be < 240)
8 Bit PDU Specific = Destination address
8 Bit Source Address

6 Bit Zero = 0
1 Bit Reserved
1 Bit Data Page
8 Bit PDU Format (condition: must be < 240)
8 Bit := 0x00 (always zero)

3 Bit Priority
1 Bit Reserved
1 Bit Data Page
8 Bit PDU Format (condition: must be >=  240)
8 Bit PDU Specific = Group Extension
8 Bit Source Address

6 Bit Zero = 0
1 Bit Reserved
1 Bit Data Page
8 Bit PDU Format (condition: must be >=  240)
8 Bit PDU Specific = Group Extension

type record CAN_identifier {
BIT3 priority,
BIT1 reseved, 
BIT1 datapage, 
OCT1 pduformat,
OCT1 pdu_specific, // Group Extension for pduformat >= 240, destination address for pduformat < 240
OCT1 source_address
}

type OCT3 PGN // Assembeled from CAN_identifier

type record  CAN_Id 
{
  BIT1  eff,
  BIT1  rtr,
  BIT1  err,
  OCT4 CAN_identifier   // contains 29- or 11-Bit CAN-ID
}

  vcan0  1CE6F726   [8]  A8 A1 73 00 91 3E 00 00
  vcan0  1CE726FD   [8]  A8 00 56 FF 18 00 00 00
  vcan0  1CE6FD26   [8]  A8 00 56 00 18 00 00 00
  vcan0  1CE726FD   [8]  A8 00 56 FF 11 00 00 00
  vcan0  1CE6FD26   [8]  A8 00 56 00 11 00 00 00
  vcan0  1CE726F8   [8]  FF 00 04 FF FF FF FF FF

const INTEGER can_id = frame.can_id;
:
:
frameref.can__id() = int2oct(can_id, 4);  

frameref.can__id() = int2oct(can_id & 0x1fffffff, 4);

type bitstring BIT29 length(29)
type enumerated RTR { RTROccured } 
type union CAN_id {
  OCT4 can_eff, // 29-bit can address
  OCT2 can_sff, // 11-bit can address
  RTR  can_rtr, 
  BIT29 can_err  // up to 29 can error bits
}

type union AnyPdu {
  PduType1 type1,
  PduType2 type2,
  PduType3 type3
}
  with { variant "" }

type record PduWithId {
  INT1    protocolId,
  AnyPdu  pdu
}
with {
   variant (pdu) "CROSSTAG( type1, { protocolId = 1,
                                     protocolId = 11 }; 
                            type2, protocolId = 2; 
                            type3, protocolId = 3)" 
}

Dynamic test case error: The first argument (value) of function int2oct() is a negative integer value: -1662572803.

OCTETSTRING int2oct(const INTEGER& value, int length)
{
..
}

  uint32_t myInt = UINT32_MAX; // For testing the max value of unisgned int32
  INTEGER myInteger;
  myInteger.set_long_long_val(myInt);
  OCTETSTRING myOctet = int2oct(myInteger, 4);

type record J1939 { // Error & RTR Frames are not considered here
  PGN   pgn optional,
  INT2b prio,
  BIT1  res, 
  BIT1  dp,
  OCT1  pf,
  OCT1  ps,
  OCT1  sa
} 

type record CAN_frame_j1939 {
  J1939               can_j1939,
  CAN_PDU             can_pdu length (0 .. CAN_MAX_DLEN)
}

type union AnyIsoBusPdu {
  CAN_PDU vt2ecu length (0 .. CAN_MAX_DLEN),  // Message Virtual Terminal (VT) to ECU
  CAN_PDU ecu2vt length (0 .. CAN_MAX_DLEN)   // Message ECU to Virtual Terminal (VT)
  // other upper layer isobus protocols like Task Comtroller are added here ...
}
with { variant "" }

type record Can_pduWithID {
  INT1          pf,
  AnyIsoBusPdu  can_pdu
}
with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu, cantype = 230; 
  ecu2vt, cantype = 231)" 
}

type record WorkingSetMaintenanceReq
{
    Commandparam commandparam ('11111111'B),
    WorkingSetMaintenanceBitMask         bitMask,
    e_WorkingSetMaintenanceVersionNumber versionNumber,
    OCT1    reserved4  ('FF'O),
    OCT1    reserved5  ('FF'O),
    OCT1    reserved6  ('FF'O),
    OCT1    reserved7  ('FF'O),
    OCT1    reserved8  ('FF'O)
} with { encode "RAW" }

type record DummyVTStatusRes
{
    Commandparam commandparam ('11111110'B)
} with { encode "RAW" }

type union TopLevelMessage_VT2ECU_PDU
{
// put all VT2ECU request messages here
    VTStatusReq                    vtStatusReq,
// put all VT2ECU response messages here
    GetMemoryRes                   getMemoryRes,
    GetNumberOfSoftKeysRes         getNumberOfSoftKeysRes,
    GetTextFontDataRes             getTextFontDataRes,
    GetHardwareRes                 getHardwareRes,
    GetSupportedWidecharsRes       getSupportedWidecharsRes,
    GetWindowMaskDataRes           getWindowMaskDataRes,
    GetSupportedObjectsRes         getSupportedObjectsRes
}
with {variant "TAG	(
// put all VT2ECU request messages here
    vtStatusReq, 	commandparam = '11111110'B;
// put all VT2ECU response messages here
    getMemoryRes,                  commandparam = '11000010'B;
    getNumberOfSoftKeysRes,        commandparam = '11000000'B;
    getTextFontDataRes,            commandparam = '11000011'B;
    getHardwareRes,                commandparam = '11000111'B;
    getSupportedWidecharsRes,      commandparam = '11000001'B;
    getWindowMaskDataRes,          commandparam = '11000100'B;
    getSupportedObjectsRes,        commandparam = '11000101'B;) 
"; encode "RAW"} 

type union TopLevelMessage_ECU2VT_PDU
{
// put all ECU2VT request messages here
    GetMemoryReq                    getMemoryReq,
    GetNumberOfSoftKeysReq          getNumberOfSoftKeysReq,
    GetTextFontDataReq              getTextFontDataReq,
    GetHardwareReq                  getHardwareReq,
    GetSupportedWidecharsReq        getSupportedWidecharsReq,
    GetWindowMaskDataReq            getWindowMaskDataReq,
    GetSupportedObjectsReq          getSupportedObjectsReq,
    WorkingSetMaintenanceReq        workingSetMaintenanceReq
// put all ECU2VT response messages here
    //Dummy_ECU2VT_Res                dummy_ECU2VT_Res
}
with {variant "TAG	(
// put all ECU2VT request messages here
    getMemoryReq,                 commandparam = '11000010'B;
    getNumberOfSoftKeysReq,       commandparam = '11000000'B;
    getTextFontDataReq,           commandparam = '11000011'B;
    getHardwareReq,               commandparam = '11000111'B;
    getSupportedWidecharsReq,     commandparam = '11000001'B;
    getWindowMaskDataReq,         commandparam = '11000100'B;
    getSupportedObjectsReq,       commandparam = '11000101'B;
    workingSetMaintenanceReq,     commandparam = '11111111'B;
// put all ECU2VT response messages here
    //dummy_ECU2VT_Res, 	          commandparam = '00000000'B;
    ) "; encode "RAW"} 

function canid2j1939(in CAN_id p_can_id) return J1939 {
  var octetstring v_priority    // BIT3
  var octetstring v_reserved    // BIT1
  var octetstring v_datapage    // BIT1
  var octetstring v_pduformat   // OCT1
  var octetstring v_pduspecifc  // OCT1
  var octetstring v_sourceaddress  // OCT1
  var PGN  v_pgn
  var J1939 v_j1939

  v_priority   := bit2oct(oct2bit(p_can_id and4b ISOBUS_PRIORITY_MASK) >> 26)   // shift 26 bits
  v_reserved   := bit2oct(oct2bit(p_can_id and4b ISOBUS_RESERVED_MASK) >> 25)   // shift 25 bits
  v_datapage   := (p_can_id and4b ISOBUS_DATAPAGE_MASK) >> 3    // shift 24 bits = 3 octets
  v_pduformat  := (p_can_id and4b ISOBUS_PDUFORMAT_MASK) >> 2   // shift 16 bits = 2 octets
  v_pduspecifc := (p_can_id and4b ISOBUS_PDUSPECIFIC_MASK) >> 1 // shift  8 bits = 1 octet
  v_sourceaddress := (p_can_id and4b ISOBUS_SOURCEADDRESS_MASK)

  if (oct2int(v_pduformat) < 240) {
    v_pgn := oct2int(bit2oct(oct2bit(v_reserved) << 17) or4b (v_datapage << 2) or4b (v_pduformat << 1))
  } else  {
    v_pgn := oct2int(bit2oct(oct2bit(v_reserved) << 17) or4b (v_datapage << 2) or4b (v_pduformat << 1) or4b(v_pduspecifc))
  }
  v_j1939 := {pgn :=  v_pgn, prio := oct2int(v_priority), res := oct2bit(v_reserved), dp := oct2bit(v_datapage), pf := v_pduformat, ps := v_pduspecifc, sa := v_sourceaddress}
  return v_j1939
}

@michael-desktop: Message with id 1372 was extracted from the queue of pt_socketCAN.
3@michael-desktop: SocketCan:Expected frame received{ id := 0, ifr := { if_name := "vcan0", if_index := 3 }, frame := { can_frame := { can_id := '9CE726FD'O, can_pdu := 'A80056FF00000000'O } }, timestamp := { tv_sec := 1476455491, tv_usec := 288394 } }
3@michael-desktop: Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { pgn := 59136, prio := 7, res := '00000000000000000000000000000000'B, dp := '00000000000000000000000000000000'B, pf := '000000E7'O, ps := '00000026'O, sa := '000000FD'O }, can_pdu := 'A80056FF00000000'O }
4@michael-desktop: Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { pgn := 59136, prio := 7, res := '00000000000000000000000000000000'B, dp := '00000000000000000000000000000000'B, pf := '000000E7'O, ps := '00000026'O, sa := '000000FD'O }, can_pdu := 'A80056FF00000000'O } id 1369
4@michael-desktop: Matching on port pt_isobus succeeded:  matched
4@michael-desktop: Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { pgn := 59136, prio := 7, res := '00000000000000000000000000000000'B, dp := '00000000000000000000000000000000'B, pf := '000000E7'O, ps := '00000026'O, sa := '000000FD'O }, can_pdu := 'A80056FF00000000'O } id 1369
4@michael-desktop: Message with id 1369 was extracted from the queue of pt_isobus.
4@michael-desktop: received: { can_j1939 := { pgn := 59136, prio := 7, res := '00000000000000000000000000000000'B, dp := '00000000000000000000000000000000'B, pf := '000000E7'O, ps := '00000026'O, sa := '000000FD'O }, can_pdu := 'A80056FF00000000'O }
3@michael-desktop: SocketCAN test port (pt_socketCAN): entering SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable()
3@michael-desktop: SocketCAN test port (pt_socketCAN): Received a CAN frame from interface vcan0 of 16 bytes and with payload length 8
3@michael-desktop: Message enqueued on pt_socketCAN from system @SocketCAN_Types.SocketCAN_receive_CAN_or_CAN_FD_frame : { id := 0, ifr := { if_name := "vcan0", if_index := 3 }, frame := { can_frame := { can_id := '9CE6FD26'O, can_pdu := 'A800560000000000'O } }, timestamp := { tv_sec := 1476455491, tv_usec := 292359 } } id 1373
3@michael-desktop: SocketCAN test port (pt_socketCAN): leaving SocketCAN__PT_PROVIDER::Handle_Fd_Event_Readable()
3@michael-desktop: Matching on port pt_socketCAN succeeded:  matched
3@michael-desktop: Receive operation on port pt_socketCAN succeeded, message from system(): @SocketCAN_Types.SocketCAN_receive_CAN_or_CAN_FD_frame : { id := 0, ifr := { if_name := "vcan0", if_index := 3 }, frame := { can_frame := { can_id := '9CE6FD26'O, can_pdu := 'A800560000000000'O } }, timestamp := { tv_sec := 1476455491, tv_usec := 292359 } } id 137

type record CAN_frame_j1939 {
  record { // Error & RTR Frames are not considered here
  PGN   pgn optional,
  INT2b prio,
  BIT1  res, 
  BIT1  dp,
  OCT1  pf,
  OCT1  ps,
  OCT1  sa
}                can_j1939,
 union  {
  CAN_PDU vt2ecu length (0 .. CAN_MAX_DLEN),  // Message Virtual Terminal (VT) to ECU
  CAN_PDU ecu2vt length (0 .. CAN_MAX_DLEN)   // Message ECU to Virtual Terminal (VT)
  // other upper layer isobus protocols like Task Comtroller are added here ...
}             can_pdu 
}

with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu, can_j1939.pf = 'E6'O;  //230
  ecu2vt, can_j1939.pf = 'E7'O)" //231 
}

type record J1939 { // Error & RTR Frames are not considered here
  PGN   pgn optional,
  Priority prio,
  BIT1  res, 
  BIT1  dp,
  OCT1  pf,
  OCT1  ps,
  OCT1  sa
} with { variant "" }

type union AnyIsoBusPdu {
  CAN_PDU vt2ecu length (0 .. CAN_MAX_DLEN),  // Message Virtual Terminal (VT) to ECU
  CAN_PDU ecu2vt length (0 .. CAN_MAX_DLEN)   // Message ECU to Virtual Terminal (VT)
  // other upper layer isobus protocols like Task Comtroller are added here ...
}
with { variant "" }

type record CAN_frame_j1939 {
  J1939               can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu, can_j1939.pf = 'E6'O;  //230
  ecu2vt, can_j1939.pf = 'E7'O)" //231 
}

 Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { pgn := 58880, prio := 7, res := '00000000000000000000000000000000'B, dp := '00000000000000000000000000000000'B, pf := '000000E6'O, ps := '000000FF'O, sa := '00000026'O }, can_pdu := { vt2ecu := { vtStatusReq := { commandparam := '11111110'B, sourceAddressOfActiveWorkingSetMaster := 'F8'O, objectIDOfTheVisibleDataAlarmMaskOfTheActiveWorkingSet := 'E903'O, objectIDOfTheVisibleSoftKeyMaskOfTheActiveWorkingSet := 'A10F'O, vtBusyCodes := vtIsBusyUpdatingVisibleMask (0), vtFunctionCode := 'FF'O } } } } id 1
4@michael-desktop: Message with id 1 was extracted from the queue of pt_isobus.

type OCT8 NAME 
type OCT3 RequestForAddressClaimed
type NAME AddressClaimed
type record CommandedAddress {
  NAME          name,
  SourceAddress newSourceAddress
}


type record J1939 { // Error & RTR Frames are not considered here
  PGN   pgn optional,
  Priority       prio,
  BIT1           res, 
  BIT1           dp,
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa
} with { variant "" }

type union AnyIsoBusPdu {
  TopLevelMessage_VT2ECU_PDU vt2ecu,  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU ecu2vt,   // Message ECU to Virtual Terminal (VT)
  RequestForAddressClaimed requestForAddressClaimed,
  AddressClaimed addressClaimed,
  CommandedAddress commandedAddress
  // other upper layer isobus protocols like Task Comtroller are added here ...
}
with { variant "" }

type record CAN_frame_j1939 {
  J1939               can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu,                   can_j1939.pf = 'E6'O;  //230
  ecu2vt,                   can_j1939.pf = 'E7'O;  //231
  requestForAddressClaimed, can_j1939.pf = 'EA'O;  //234
  addressClaimed,           can_j1939.pf = 'EE'O;  //238
  commandedAddress,         can_j1939.pf = 'FE'O)" //254
}

Isobus.ttcn: In TTCN-3 module `Isobus':
 Isobus.ttcn:25.1-77: In external function definition `encode_AnyIsoBusPdu':
  Isobus.ttcn:25.38-58: In formal parameter list:
   Isobus.ttcn:25.39-57: In parameter `pdu':
    Isobus.ttcn:63.1-70.1: In type definition `AnyIsoBusPdu':
     Isobus.ttcn:71.8-17: warning: This variant does not belong to an encode
 Isobus.ttcn:37.1-34: In type definition `INT24nb':
  Isobus.ttcn:37.43-52: warning: This variant does not belong to an encode
 Isobus.ttcn:53.1-61.1: In type definition `J1939':
  Isobus.ttcn:61.10-19: warning: This variant does not belong to an encode
 Isobus.ttcn:73.1-76.1: In type definition `CAN_frame_j1939':
  Isobus.ttcn:75.3-29: In record field `can_pdu':
   Isobus.ttcn:77.3-82.50: warning: This variant does not belong to an encode
Isobustest.ttcn: In TTCN-3 module `Isobustest':
 Isobustest.ttcn:39.1-44.1: In type definition `Can_IDs':
  Isobustest.ttcn:45.8-17: warning: This variant does not belong to an encode
 Isobustest.ttcn:47.1-50.1: In type definition `Can_IDwithType':
  Isobustest.ttcn:49.3-18: In record field `can_ids':
   Isobustest.ttcn:52.3-56.24: warning: This variant does not belong to an encode

type union AnyIsoBusPdu {
  CAN_PDU vt2ecu length (0 .. CAN_MAX_DLEN),  // Message Virtual Terminal (VT) to ECU
  CAN_PDU ecu2vt length (0 .. CAN_MAX_DLEN)   // Message ECU to Virtual Terminal (VT)
  // other upper layer isobus protocols like Task Comtroller are added here ...
}

type union AnyIsoBusPdu {
  CAN_PDU vt2ecu length (0 .. CAN_MAX_DLEN),  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU    ecu2vt   // Message ECU to Virtual Terminal (VT)
  // other upper layer isobus protocols like Task Comtroller are added here ...
}

  
  TopLevelMessage_VT2ECU_PDU vt2ecu,  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU ecu2vt,   // Message ECU to Virtual Terminal (VT)

type OCT8 NAME 
type OCT3 RequestForAddressClaimed
type NAME CannotClaimSourceAddress
type NAME AddressClaimed

type record CommandedAddress {
  NAME          name,
  SourceAddress newSourceAddress
}


type record J1939 { // Error & RTR Frames are not considered here
  PGN   pgn optional,
  Priority       prio,
  BIT1           res, 
  BIT1           dp,
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa
} with { variant "" }

type union AnyIsoBusPdu {
  TopLevelMessage_VT2ECU_PDU vt2ecu,  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU ecu2vt,   // Message ECU to Virtual Terminal (VT)
  RequestForAddressClaimed requestForAddressClaimed,
  AddressClaimed addressClaimed,
  CannotClaimSourceAddress cannotClaimSourceAddress,
  CommandedAddress commandedAddress
  // other upper layer isobus protocols like Task Comtroller are added here ...
}
with { variant "" }

type record CAN_frame_j1939 {
  J1939               can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu,                   can_j1939.pf = 'E6'O;  //230
  ecu2vt,                   can_j1939.pf = 'E7'O;  //231
  requestForAddressClaimed, can_j1939.pf = 'EA'O;  //234
  addressClaimed,           {can_j1939.pf = 'EE'O,can_j1939.ps = 'FF'O};  //238 all and conjuction needed!!!!!!
  cannotClaimSourceAddress, {can_j1939.pf = 'EE'O,can_j1939.ps = 'FF'O,can_j1939.sa = 'FE'O}; //238 all and conjuction needed!!!!!!
  commandedAddress,         {can_j1939.pf = 'FE'O,can_j1939.ps = 'D8'O})" //254 all and conjuction needed!!!!!!
}

3@michael-desktop: decode_AnyIsoBusPdu(): Stream before decoding: 'A800560000000000'O
3@michael-desktop: decode_AnyIsoBusPdu(): Decoded @Isobus.AnyIsoBusPdu: { requestForAddressClaimed := 'A80056'O }
3@michael-desktop: decode_AnyIsoBusPdu(): Warning: Data remained at the end of the stream after successful decoding: '0000000000'O
3@michael-desktop: Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { pgn := 140800, prio := 0, res := '1'B, dp := '0'B, pf := '26'O ("&"), ps := 'FD'O, sa := 'E6'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }
4@michael-desktop: Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { pgn := 140800, prio := 0, res := '1'B, dp := '0'B, pf := '26'O ("&"), ps := 'FD'O, sa := 'E6'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } } id 770

type record J1939 { // Error & RTR Frames are not considered here
  PGN   pgn optional, // no length info!!!!
  Priority       prio, // type INT2b Priority
  BIT1           res, 
  BIT1           dp,
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa  // type OCT1 SourceAddress
} with { variant "" }

type record Somerecord {
octetstring os1,
octestring os2
}

  type octetstring OCT10 length(10) with { variant "FIELDLENGTH(10)" };

type record Somerecord {
OS10  os1,
OS10  os2
}

type integer INT24nb (0..16777215) with { variant "FIELDLENGTH(28), COMP(nosign), BYTEORDER(last)" };
//I'm not sure this is correct but I assumed it has to be aligned to octet boundaries , so I made it 28 bits 


type record J1939 { // Error & RTR Frames are not considered here
  PGN   pgn optional,  //28 bits
  Priority       prio,  //2bits
  BIT1           res,   //1 bit
  BIT1           dp,   //1 bit 
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa
} with { variant "" }

external function encode_CAN_frame_j1939(in CAN_frame_j1939 pdu) return octetstring 
with { extension "prototype(convert) encode(RAW)" }
external function decode_CAN_frame_j1939(in octetstring data) return CAN_frame_j1939
with { extension "prototype(convert) decode(RAW)" }

testcase tc_encdec() runs on MTC_CT

{

template CAN_frame_j1939 t_CAN_frame_j1939 :=  { can_j1939 := { pgn := 140800, prio := 0, res := '1'B, dp := '0'B, pf := '26'O /*E6'O*/, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
log(encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939)))
log(decode_CAN_frame_j1939(encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939))))

template CAN_frame_j1939 t_CAN_frame_j1939_2 :=  { can_j1939 := { pgn := 140800, prio := 0, res := '1'B, dp := '0'B, pf := 'EE'O , ps := 'FD'O, sa := 'E6'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }
log(encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939_2)))
log(decode_CAN_frame_j1939(encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939_2))))

}

15:10:34.993192 '00226040EEFDE6A80056AAABBCC778'O
15:10:34.993416 { can_j1939 := { pgn := 140800, prio := 0, res := '1'B, dp := '0'B, pf := 'EE'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
15:10:34.993518 '00226040EAFDE6A80056'O
15:10:34.993551 { can_j1939 := { pgn := 140800, prio := 0, res := '1'B, dp := '0'B, pf := 'EA'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }

type OCT1 DestinationAddress
type OCT1 SourceAddress
//type BIT3 Priority 

type bitstring Priority length(3)
with {
variant "ALIGN(right)";
variant "FIELDLENGTH(6)"
}

type OCT8 NAME 
type OCT3 RequestForAddressClaimed
type NAME CannotClaimSourceAddress
type NAME AddressClaimed

type record CommandedAddress {
  NAME          name,
  SourceAddress newSourceAddress
}


type record J1939 { // Error & RTR Frames are not considered here
  //PGN   pgn optional,
  //BIT3           ignore,
  Priority       prio,
  BIT1           res, 
  BIT1           dp,
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa
} with { variant "" }

type union AnyIsoBusPdu {
  TopLevelMessage_VT2ECU_PDU vt2ecu,  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU ecu2vt,   // Message ECU to Virtual Terminal (VT)
  RequestForAddressClaimed requestForAddressClaimed,
  CannotClaimSourceAddress cannotClaimSourceAddress,
  AddressClaimed addressClaimed,
  CommandedAddress commandedAddress
  // other upper layer isobus protocols like Task Comtroller are added here ...
}
with { variant "" }

type record CAN_frame_j1939 {
  J1939               can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu,                   can_j1939.pf = 'E6'O;  //230
  ecu2vt,                   can_j1939.pf = 'E7'O;  //231
  requestForAddressClaimed, can_j1939.pf = 'EA'O;  //234
  cannotClaimSourceAddress, {can_j1939.pf = 'EE'O, can_j1939.ps = 'FF'O, can_j1939.sa = 'FE'O}; //238 all and conjuction needed!!!!!!
  addressClaimed,           {can_j1939.pf = 'EE'O, can_j1939.ps = 'FF'O};  //238 all and conjuction needed!!!!!!
  commandedAddress,         {can_j1939.pf = 'FE'O, can_j1939.ps = 'D8'O})" //254 all and conjuction needed!!!!!!
}

MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: '00EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '00EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { cannotClaimSourceAddress := 'A80056AAABBCC778'O } }
MTC@michael-desktop: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { cannotClaimSourceAddress := 'A80056AAABBCC778'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EAFDC0A80056'O
MTC@michael-desktop: '00EAFDC0A80056'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EAFDC0A80056'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '00EAFDC0A80056'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }
MTC@michael-desktop: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { requestForAddressClaimed := 'A80056'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { cannotClaimSourceAddress := '1122334455667788'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EEFDC01122334455667788'O
MTC@michael-desktop: '00EEFDC01122334455667788'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { cannotClaimSourceAddress := '1122334455667788'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EEFDC01122334455667788'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '00EEFDC01122334455667788'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { cannotClaimSourceAddress := '1122334455667788'O } }
MTC@michael-desktop: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := 'FD'O, sa := 'C0'O }, can_pdu := { cannotClaimSourceAddress := '1122334455667788'O } }

MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '110'B, res := '0'B, dp := '1'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '05EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: '05EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '110'B, res := '0'B, dp := '1'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '05EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '05EEFDE6A80056AAABBCC778'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '001'B, res := '0'B, dp := '1'B, pf := 'EE'O, ps := 'FD'O, sa := 'E6'O }, can_pdu := { cannotClaimSourceAddress := 'A80056AAABBCC778'O } }

testcase tc_substr() runs on MTC_CT

{
var OCT4      v_oct4 := '98ECE526'O
var bitstring v_bitstring //:= '10011000111011001110010100100110'B
v_bitstring := oct2bit(v_oct4)
log("v_oct4: ", v_oct4)
log("v_bitstring: ", v_bitstring)
log("substr(v_bitstring, 26, 3): ", substr(v_bitstring, 26, 3))

log ("v_oct4[2]:", v_oct4[2])
log ("v_oct4[1]:", v_oct4[1])
log ("v_oct4[0]:", v_oct4[0])
}

MTC@michael-desktop: Test case tc_substr started.
MTC@michael-desktop: Initializing variables, timers and ports of component type Isobustest.MTC_CT inside testcase tc_substr.
MTC@michael-desktop: Component type Isobustest.MTC_CT was initialized.
MTC@michael-desktop: v_oct4: '98ECE526'O
MTC@michael-desktop: v_bitstring: '10011000111011001110010100100110'B
MTC@michael-desktop: substr(v_bitstring, 26, 3): '100'B
MTC@michael-desktop: v_oct4[2]:'E5'O
MTC@michael-desktop: v_oct4[1]:'EC'O
MTC@michael-desktop: v_oct4[0]:'98'O

EXAMPLE 1: Accessing an existing element
 // Given
 v_myBitString := '11110111'B;
 // Then doing
 v_myBitString[4] := '1'B;
 // Results in the bitstring '11111111'B 

type union CCAorAC
{

  CannotClaimSourceAddress cannotClaimSourceAddress,
  AddressClaimed addressClaimed

}
with { variant "" }


type union AnyIsoBusPdu {
  TopLevelMessage_VT2ECU_PDU vt2ecu,  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU ecu2vt,   // Message ECU to Virtual Terminal (VT)
  RequestForAddressClaimed requestForAddressClaimed,
  CCAorAC                           cCAorAC,
  CommandedAddress commandedAddress
  // other upper layer isobus protocols like Task Comtroller are added here ...
}
with { variant "" }

type record CAN_frame_j1939 {
  J1939               can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu,                   can_j1939.pf = 'E6'O;  //230
  ecu2vt,                   can_j1939.pf = 'E7'O;  //231
  requestForAddressClaimed, can_j1939.pf = 'EA'O;  //234
  cCAorAC,                  can_j1939.pf = 'EE'O;
  commandedAddress,         can_j1939.pf = 'FE'O)" 
  
}

type record CAN_frame_j1939_0 {
  J1939                 can_j1939,
  CCAorAC               cCAorAC 
}with {
  variant (cCAorAC) "CROSSTAG( 
   cannotClaimSourceAddress,can_j1939.sa = 'FE'O;
   addressClaimed, OTHERWISE  //??
  )"
  
} 

MC2> smtc Isobustest.tc_encdec_commandedAddress
MC2> MTC@michael-desktop: Executing test case tc_encdec_commandedAddress in module Isobustest.
MTC@michael-desktop: Test case tc_encdec_commandedAddress started.
MTC@michael-desktop: Initializing variables, timers and ports of component type Isobustest.MTC_CT inside testcase tc_encdec_commandedAddress.
MTC@michael-desktop: Component type Isobustest.MTC_CT was initialized.
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '110'B, res := '0'B, dp := '1'B, pf := '00'O, ps := '00'O, sa := '00'O }, can_pdu := { cA := { commandedAddress := { name := '1122334455667788'O, newSourceAddress := '99'O } } } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '05FE0000112233445566778899'O
MTC@michael-desktop: '05FE0000112233445566778899'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '110'B, res := '0'B, dp := '1'B, pf := '00'O, ps := '00'O, sa := '00'O }, can_pdu := { cA := { commandedAddress := { name := '1122334455667788'O, newSourceAddress := '99'O } } } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '05FE0000112233445566778899'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '05FE0000112233445566778899'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '001'B, res := '0'B, dp := '1'B, pf := 'FE'O, ps := '00'O, sa := '00'O }, can_pdu := { cA := { commandedAddress := { name := '1122334455667788'O, newSourceAddress := '99'O } } } }
MTC@michael-desktop: { can_j1939 := { prio := '001'B, res := '0'B, dp := '1'B, pf := 'FE'O, ps := '00'O, sa := '00'O }, can_pdu := { cA := { commandedAddress := { name := '1122334455667788'O, newSourceAddress := '99'O } } } }
MTC@michael-desktop: Terminating component type Isobustest.MTC_CT.
MTC@michael-desktop: Component type Isobustest.MTC_CT was shut down inside testcase tc_encdec_commandedAddress.
MTC@michael-desktop: Waiting for PTCs to finish.
MTC@michael-desktop: Setting final verdict of the test case.
MTC@michael-desktop: Local verdict of MTC: none
MTC@michael-desktop: No PTCs were created.
MTC@michael-desktop: Test case tc_encdec_commandedAddress finished. Verdict: none
MC@michael-desktop: Test execution finished.
smtc IsIsobustest.tc_encdec_requestForAddressClaimed
MC2> MTC@michael-desktop: Executing test case tc_encdec_requestForAddressClaimed in module IsIsobustest.
MTC@michael-desktop: Dynamic test case error: Module IsIsobustest does not exist.
MTC@michael-desktop: Performing error recovery.
MC@michael-desktop: Test execution finished.
smtc Isobustest.tc_encdec_cannotClaimSourceAddress
MC2> MTC@michael-desktop: Executing test case tc_encdec_cannotClaimSourceAddress in module Isobustest.
MTC@michael-desktop: Test case tc_encdec_cannotClaimSourceAddress started.
MTC@michael-desktop: Initializing variables, timers and ports of component type Isobustest.MTC_CT inside testcase tc_encdec_cannotClaimSourceAddress.
MTC@michael-desktop: Component type Isobustest.MTC_CT was initialized.
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { cCA := { cannotClaimSourceAddress := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EE00001122334455667788'O
MTC@michael-desktop: '00EE00001122334455667788'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { cCA := { cannotClaimSourceAddress := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EE00001122334455667788'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '00EE00001122334455667788'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { cCA := { cannotClaimSourceAddress := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { cCA := { cannotClaimSourceAddress := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: Terminating component type Isobustest.MTC_CT.
MTC@michael-desktop: Component type Isobustest.MTC_CT was shut down inside testcase tc_encdec_cannotClaimSourceAddress.
MTC@michael-desktop: Waiting for PTCs to finish.
MTC@michael-desktop: Setting final verdict of the test case.
MTC@michael-desktop: Local verdict of MTC: none
MTC@michael-desktop: No PTCs were created.
MTC@michael-desktop: Test case tc_encdec_cannotClaimSourceAddress finished. Verdict: none
MC@michael-desktop: Test execution finished.
smtc Isobustest.tc_encdec_addressClaimed
MC2> MTC@michael-desktop: Executing test case tc_encdec_addressClaimed in module Isobustest.
MTC@michael-desktop: Test case tc_encdec_addressClaimed started.
MTC@michael-desktop: Initializing variables, timers and ports of component type Isobustest.MTC_CT inside testcase tc_encdec_addressClaimed.
MTC@michael-desktop: Component type Isobustest.MTC_CT was initialized.
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { aC := { addressClaimed := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EE00001122334455667788'O
MTC@michael-desktop: '00EE00001122334455667788'O
MTC@michael-desktop: encode_CAN_frame_j1939(): Encoding @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := '00'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { aC := { addressClaimed := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: encode_CAN_frame_j1939(): Stream after encoding: '00EE00001122334455667788'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Stream before decoding: '00EE00001122334455667788'O
MTC@michael-desktop: decode_CAN_frame_j1939(): Decoded @Isobus.CAN_frame_j1939: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { cCA := { cannotClaimSourceAddress := { name := '1122334455667788'O } } } } }
MTC@michael-desktop: { can_j1939 := { prio := '000'B, res := '0'B, dp := '0'B, pf := 'EE'O, ps := '00'O, sa := '00'O }, can_pdu := { cCAorAC := { cCA := { cannotClaimSourceAddress := { name := '1122334455667788'O } } } } }

type record J1939mod { // Error & RTR Frames are not considered here
  //PGN   pgn optional,
  //BIT3           ignore,
  Priority       prio,
  BIT1           res, 
  BIT1           dp,
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa,
  OCT3           comp
} with { variant "FIELDORDER(msb)" }


type record CAN_frame_j1939mod {
  J1939mod            can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu,                   can_j1939.comp = 'E60000'O;  //230
  ecu2vt,                   can_j1939.comp = 'E70000'O;  //231
  requestForAddressClaimed, can_j1939.comp = 'EA0000'O;  //234
  cannotClaimSourceAddress, can_j1939.comp = 'EEFFFE'O; //238 all and conjuction needed!!!!!!
  addressClaimed,           can_j1939.comp = 'EEFF00'O;  //238 all and conjuction needed!!!!!!
  commandedAddress,         can_j1939.comp = 'FED800'O)" //254 all and conjuction needed!!!!!!
}

external function encode_CAN_frame_j1939mod(in CAN_frame_j1939mod pdu) return octetstring 
with { extension "prototype(convert) encode(RAW)" }
external function decode_CAN_frame_j1939mod(in octetstring data) return CAN_frame_j1939mod
with { extension "prototype(convert) decode(RAW)" }

type bitstring Priority length(3)
with {
variant "ALIGN(right)";
variant "FIELDLENGTH(6)"
}

type record J1939 { // Error & RTR Frames are not considered here
  //PGN   pgn optional,
  //BIT3           ignore,
  Priority       prio,
  BIT1           res, 
  BIT1           dp,
  OCT1           pf,
  OCT1           ps,
  SourceAddress  sa
} with { variant "FIELDORDER(msb)" }

function f_insert_aux_hdr(in octetstring p_os) return octetstring
//---------------------------------------------------------------------------
{
var OCT3 v_os
v_os[0]:=p_os[1];//pf
if(p_os[1] == 'FE'O)
{
if (p_os[2]=='D8'O) {v_os[1]:='D8'O;v_os[2]:='00'O;}
}

else if(p_os[1] == 'EE'O)
{
    if (p_os[2] == 'FF'O) 
        { if (p_os[3]=='FE'O) {v_os[1]:='FF'O;v_os[2]:='FE'O;}
        else                  {v_os[1]:='FF'O;v_os[2]:='00'O;}
        }

} 
else  { v_os[1]:='00'O;v_os[2]:='00'O;}
return replace(p_os,4,0,v_os)//insert aux header
} 

   if pf == 'E6'O  then                      aux header :=  'E60000'O;  //(pf&'00'O&'00'O)  vt2ecu is chosen   
   if pf == 'E7'O  then                      aux header :=  'E70000'O;  //(pf&'00'O&'00'O) ecu2vt is chosen 
   if pf == 'EA'O  then                      aux header :=  'EA0000'O;  //(pf&'00'O&'00'O) requestForAddressClaimed is chosen
   if pf == 'EE'O  and ps =='FF'O and 'sa'=='FE'O  then  aux header :=  'EEFFFE'O;  //(pf&ps&sa) cannotClaimSourceAddress is chosen
   if pf == 'EE'O  and ps =='FF'O and 'sa'!= 'FE'O then aux header :=  'EEFF00'O;  //(pf&ps&'00'O)  addressClaimed is chosen 
   if pf == 'FE'O  and ps =='D8'O then aux header :=  'FED800'O;  //(pf&ps&'00'O) commandedAddress is chosen

//---------------------------------------------------------------------------
function f_remove_aux_hdr(in octetstring p_os) return octetstring
//---------------------------------------------------------------------------
{

p_os[1]:=p_os[4]; //pf := aux[0];
if (p_os[4] == 'EE'O)  
{
    if (p_os[6] == 'FE'O ) { //'EEFFFE' O
        p_os[2]:=p_os[5]; //ps := aux[1];
        p_os[3]:=p_os[6]; //sa := aux[2];
            }
    else    { //'EEFFXX'O
        p_os[2]:=p_os[5]; //ps := aux[1];
            }
} 
else  if  (p_os[4] == 'FE'O) //'FED8XX'O
{
p_os[2]:=p_os[5]; //ps := aux[1];
}

return replace(p_os,4,3,''O); //remove aux header
}

   if vt2ecu is chosen                   aux header :=  'E60000'O;  (pf&'00'O&'00'O)
   if ecu2vt is chosen                   aux header :=  'E70000'O;  (pf&'00'O&'00'O)
   if requestForAddressClaimed is chosen aux header :=  'EA0000'O;  (pf&'00'O&'00'O)
   if cannotClaimSourceAddress is chosen aux header :=  'EEFFFE'O;  (pf&ps&sa)
   if addressClaimed is chosen           aux header :=  'EEFF00'O;  (pf&ps&'00'O)
   if commandedAddress is chosen         aux header :=  'FED800'O;  (pf&ps&'00'O)

type bitstring Priority length(3)
with {
variant "ALIGN(right)";
variant "FIELDLENGTH(3)"
}

type bitstring Priority length(6)
with {
variant "ALIGN(left)";
variant "FIELDLENGTH(6)"
}

template CAN_frame_j1939 t_CAN_frame_j1939 :=  { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'E9'O /*E6'O*/, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
log(f_encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939)))
log("--------------------------------------------")
log(f_decode_CAN_frame_j1939(f_encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939))))
log("--------------------------------------------")

20:11:07.865460 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Encoding @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O, comp := 'E90000'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.865630 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Stream after encoding: '19E9FDE6EEFF00A80056AAABBCC778'O
20:11:07.865436 USER Isobustest.ttcn:447(testcase:tc_encdec) '19EEFFE6A80056AAABBCC778'O
20:11:07.865873 USER Isobustest.ttcn:448(testcase:tc_encdec) --------------------------------------------
20:11:07.865983 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Encoding @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O, comp := 'E90000'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.866112 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Stream after encoding: '19E9FDE6EEFF00A80056AAABBCC778'O
20:11:07.866199 DEBUG Isobustest.ttcn:435(function:f_decode_CAN_frame_j1939) decode_CAN_frame_j1939mod(): Stream before decoding: '19EEFFE6EEFF00A80056AAABBCC778'O
20:11:07.866288 DEBUG Isobustest.ttcn:435(function:f_decode_CAN_frame_j1939) decode_CAN_frame_j1939mod(): Decoded @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'EE'O, ps := 'FF'O, sa := 'E6'O, comp := 'EEFF00'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.865974 USER Isobustest.ttcn:449(testcase:tc_encdec) { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'EE'O, ps := 'FF'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.866496 USER Isobustest.ttcn:450(testcase:tc_encdec) --------------------------------------------

template CAN_frame_j1939 t_CAN_frame_j1939x :=  { can_j1939 := { prio := '???110'B, res := '0'B, dp := '1'B, pf := 'E9'O , ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }

type bitstring Priority length(6)
with {
variant "ALIGN(left)";
variant "FIELDLENGTH(6)"
}

template CAN_frame_j1939 t_CAN_frame_j1939 :=  { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'E9'O /*E6'O*/, ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
log(f_encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939)))
log("--------------------------------------------")
log(f_decode_CAN_frame_j1939(f_encode_CAN_frame_j1939(valueof(t_CAN_frame_j1939))))
log("--------------------------------------------")

20:11:07.865460 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Encoding @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O, comp := 'E90000'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.865630 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Stream after encoding: '19E9FDE6EEFF00A80056AAABBCC778'O
20:11:07.865436 USER Isobustest.ttcn:447(testcase:tc_encdec) '19EEFFE6A80056AAABBCC778'O
20:11:07.865873 USER Isobustest.ttcn:448(testcase:tc_encdec) --------------------------------------------
20:11:07.865983 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Encoding @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'E9'O, ps := 'FD'O, sa := 'E6'O, comp := 'E90000'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.866112 DEBUG Isobustest.ttcn:426(function:f_encode_CAN_frame_j1939) encode_CAN_frame_j1939mod(): Stream after encoding: '19E9FDE6EEFF00A80056AAABBCC778'O
20:11:07.866199 DEBUG Isobustest.ttcn:435(function:f_decode_CAN_frame_j1939) decode_CAN_frame_j1939mod(): Stream before decoding: '19EEFFE6EEFF00A80056AAABBCC778'O
20:11:07.866288 DEBUG Isobustest.ttcn:435(function:f_decode_CAN_frame_j1939) decode_CAN_frame_j1939mod(): Decoded @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'EE'O, ps := 'FF'O, sa := 'E6'O, comp := 'EEFF00'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.865974 USER Isobustest.ttcn:449(testcase:tc_encdec) { can_j1939 := { prio := '000110'B, res := '0'B, dp := '1'B, pf := 'EE'O, ps := 'FF'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }
20:11:07.866496 USER Isobustest.ttcn:450(testcase:tc_encdec) --------------------------------------------

template CAN_frame_j1939 t_CAN_frame_j1939x :=  { can_j1939 := { prio := '???110'B, res := '0'B, dp := '1'B, pf := 'E9'O , ps := 'FD'O, sa := 'E6'O }, can_pdu := { addressClaimed := 'A80056AAABBCC778'O } }

type integer INT24nb (0..16777215) with { variant "FIELDLENGTH(32), COMP(nosign), BYTEORDER(last)" encode "RAW"};

type integer INT24nb (0..16777215) with { variant "FIELDLENGTH(24), COMP(nosign), BYTEORDER(last)" encode "RAW"};

testcase tc_dec_requestForAddressClaimed() runs on MTC_CT
{

  var octetstring j1939_pdu
  j1939_pdu := '98EAFFFE00EE00'O

  //j1939_pdu := p_can_frame.can_id & p_can_frame.can_pdu
 /* j1939_pdu := replace(j1939_pdu, 3, 1, ''O)

  if (oct2int(j1939_pdu[1]) < oct2int('F0'O)) // pf < 240 
  {
    j1939_pdu[2] := '00'O // ps := '00'O
  }
*/
  log(j1939_pdu)
  log("--------------------------------------------")
  log(f_decode_CAN_frame_j1939(j1939_pdu))
  log("--------------------------------------------")
}

09:49:10.925070 USER Isobustest.ttcn:526(testcase:tc_dec_requestForAddressClaimed) '98EAFFFE00EE00'O
09:49:10.925166 USER Isobustest.ttcn:527(testcase:tc_dec_requestForAddressClaimed) --------------------------------------------
09:49:10.925254 DEBUG Isobustest.ttcn:429(function:f_decode_CAN_frame_j1939) decode_CAN_frame_j1939mod(): Stream before decoding: '98EAFFFEEA000000EE00'O
09:49:10.925381 DEBUG Isobustest.ttcn:429(function:f_decode_CAN_frame_j1939) decode_CAN_frame_j1939mod(): Decoded @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O, comp := 'EA0000'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } }
09:49:10.925236 USER Isobustest.ttcn:528(testcase:tc_dec_requestForAddressClaimed) { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } }
09:49:10.925605 USER Isobustest.ttcn:529(testcase:tc_dec_requestForAddressClaimed) --------------------------------------------

09:32:18.316695 merged 3 WARNING Isobus.ttcn:161(function:can2j1939frame) decode_AnyIsoBusPdu(): Warning: Data remained at the end of the stream after successful decoding: '00EE00'O
09:32:18.316695 3 WARNING Isobus.ttcn:161(function:can2j1939frame) decode_AnyIsoBusPdu(): Warning: Data remained at the end of the stream after successful decoding: '00EE00'O
09:32:18.316783 merged 3 USER Isobus.ttcn:163(function:can2j1939frame) Higher layer octet pdustring: { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } }
09:32:18.316783 3 USER Isobus.ttcn:163(function:can2j1939frame) Higher layer octet pdustring: { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } }
09:32:18.316929 merged 3 PORTEVENT Isobustest.ttcn:248(function:f_behaviour_isobus) Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } }
09:32:18.316929 3 PORTEVENT Isobustest.ttcn:248(function:f_behaviour_isobus) Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } }
09:32:18.317148 merged 4 PORTEVENT Isobustest.ttcn:277(function:f_behaviour1_sync) Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } } id 1
09:32:18.317148 4 PORTEVENT Isobustest.ttcn:277(function:f_behaviour1_sync) Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } } id 1
09:32:18.317354 merged 4 MATCHING Isobustest.ttcn:283(function:f_behaviour1_sync) Matching on port pt_isobus succeeded:  matched
09:32:18.317354 4 MATCHING Isobustest.ttcn:283(function:f_behaviour1_sync) Matching on port pt_isobus succeeded:  matched
09:32:18.317495 merged 4 PORTEVENT Isobustest.ttcn:283(function:f_behaviour1_sync) Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } } id 1
09:32:18.317495 4 PORTEVENT Isobustest.ttcn:283(function:f_behaviour1_sync) Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 10021631 } } } id 1
09:32:18.317642 merged 4 PORTEVENT Isobustest.ttcn:283(function:f_behaviour1_sync) Message with id 1 was extracted from the queue of pt_isobus.
09:32:18.317642 4 PORTEVENT Isobustest.ttcn:283(function:f_behaviour1_sync) Message with id 1 was extracted from the queue of pt_isobus. 

 Message with id 4 was extracted from the queue of pt_socketCAN.
3@GlobalWarning1: SocketCan:Expected frame received{ id := 0, ifr := { if_name := "vcan0", if_index := 4 }, frame := { can_frame := { can_id := '98EAFFFE'O, can_pdu := '00EE00'O } }, timestamp := { tv_sec := 1478338566, tv_usec := 342137 } }
3@GlobalWarning1: can_id'98EAFFFE'O
3@GlobalWarning1: can_pdu'00EE00'O
3@GlobalWarning1: decode_CAN_frame_j1939mod(): Stream before decoding: '98EAFFFEEA000000EE00'O
3@GlobalWarning1: decode_CAN_frame_j1939mod(): Decoded @Isobus.CAN_frame_j1939mod: { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O, comp := 'EA0000'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } }
3@GlobalWarning1: Higher layer octet pdustring: { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } }
3@GlobalWarning1: Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } }
4@GlobalWarning1: Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } } id 1
4@GlobalWarning1: Matching on port pt_isobus succeeded:  matched
4@GlobalWarning1: Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EA'O, ps := 'FF'O, sa := 'FE'O }, can_pdu := { requestForAddressClaimed := { pgn := 60928 } } } id 1
4@GlobalWarning1: Message with id 1 was extracted from the queue of pt_isobus.

3@michael-desktop: Message enqueued on pt_socketCAN from system @SocketCAN_Types.SocketCAN_receive_CAN_or_CAN_FD_frame : { id := 0, ifr := { if_name := "vcan0", if_index := 4 }, frame := { can_frame := { can_id := '98ECF8F8'O, can_pdu := '10160004FFEBFE00'O } }, timestamp := { tv_sec := 1478347294, tv_usec := 821783 } } id 5
3@michael-desktop: Receive operation on port pt_socketCAN succeeded, message from system(): @SocketCAN_Types.SocketCAN_receive_CAN_or_CAN_FD_frame : { id := 0, ifr := { if_name := "vcan0", if_index := 4 }, frame := { can_frame := { can_id := '98ECF8F8'O, can_pdu := '10160004FFEBFE00'O } }, timestamp := { tv_sec := 1478347294, tv_usec := 821783 } } id 5
3@michael-desktop: Message with id 5 was extracted from the queue of pt_socketCAN.
3@michael-desktop: SocketCan:Expected frame received{ id := 0, ifr := { if_name := "vcan0", if_index := 4 }, frame := { can_frame := { can_id := '98ECF8F8'O, can_pdu := '10160004FFEBFE00'O } }, timestamp := { tv_sec := 1478347294, tv_usec := 821783 } }
3@michael-desktop: can_id'98ECF8F8'O
3@michael-desktop: can_pdu'10160004FFEBFE00'O
3@michael-desktop: decode_CAN_frame_j1939mod(): Warning: Data remained at the end of the stream after successful decoding: '04FFEBFE00'O
4@michael-desktop: Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { requestForAddressClaimed := { pgn := 1054208 } } } id 2
4@michael-desktop: Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { requestForAddressClaimed := { pgn := 1054208 } } } id 2
4@michael-desktop: Message with id 2 was extracted from the queue of pt_isobus.
3@michael-desktop: Higher layer octet pdustring: { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { requestForAddressClaimed := { pgn := 1054208 } } }
3@michael-desktop: Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { requestForAddressClaimed := { pgn := 1054208 } } }

type OCT8 NewMessage;

type union AnyIsoBusPdu {
  TopLevelMessage_VT2ECU_PDU vt2ecu,  // Message Virtual Terminal (VT) to ECU
  TopLevelMessage_ECU2VT_PDU ecu2vt,   // Message ECU to Virtual Terminal (VT)
  RequestForAddressClaimed requestForAddressClaimed,
  NewMessage              newMessage,
  CannotClaimSourceAddress cannotClaimSourceAddress,
  AddressClaimed addressClaimed,
  CommandedAddress commandedAddress
  // other upper layer isobus protocols like Task Comtroller are added here ...
}

type record CAN_frame_j1939mod {
  J1939mod            can_j1939,
  AnyIsoBusPdu        can_pdu 
}with {
  variant (can_pdu) "CROSSTAG( 
  vt2ecu,                   can_j1939.comp = 'E60000'O;  //230
  ecu2vt,                   can_j1939.comp = 'E70000'O;  //231
  requestForAddressClaimed, can_j1939.comp = 'EA0000'O;  //234
  newMessage,               can_j1939.comp = 'EC0000'O;  
  cannotClaimSourceAddress, can_j1939.comp = 'EEFFFE'O; //238 all and conjuction needed!!!!!!
  addressClaimed,           can_j1939.comp = 'EEFF00'O;  //238 all and conjuction needed!!!!!!
  commandedAddress,         can_j1939.comp = 'FED800'O)" //254 all and conjuction needed!!!!!!
}

3@GlobalWarning1: Message with id 4 was extracted from the queue of pt_socketCAN.
3@GlobalWarning1: SocketCan:Expected frame received{ id := 0, ifr := { if_name := "vcan0", if_index := 4 }, frame := { can_frame := { can_id := '98ECF8F8'O, can_pdu := '10160004FFEBFE00'O } }, timestamp := { tv_sec := 1478351438, tv_usec := 30269 } }
3@GlobalWarning1: can_id'98ECF8F8'O
3@GlobalWarning1: can_pdu'10160004FFEBFE00'O
3@GlobalWarning1: Higher layer octet pdustring: { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { newMessage := '10160004FFEBFE00'O } }
3@GlobalWarning1: Sent on pt_isobus to 4 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { newMessage := '10160004FFEBFE00'O } }
4@GlobalWarning1: Message enqueued on pt_isobus from 3 @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { newMessage := '10160004FFEBFE00'O } } id 1
4@GlobalWarning1: Receive operation on port pt_isobus succeeded, message from 3: @Isobus.CAN_frame_j1939 : { can_j1939 := { prio := '100110'B, res := '0'B, dp := '0'B, pf := 'EC'O, ps := 'F8'O, sa := 'F8'O }, can_pdu := { newMessage := '10160004FFEBFE00'O } } id 1
4@GlobalWarning1: Message with id 1 was extracted from the queue of pt_isobus.

const e_Phase c_testcase_complete := e_testcase_complete
(0 .. enum2int(c_testcase_complete)) 

(0 .. enum2int(e_testcase_complete))

 v_bcm_read_status_frame := {
    opcode := 3, // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << 0) or4b 
    ('00000000000000000000000000000001'B << 1) or4b 
    ('00000000000000000000000000000001'B << 4),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

 v_bcm_read_status_frame := {
    opcode := 3, // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << enum2int(e_CAN_BCM_SETTIMER_BITINDEX)) or4b 
    ('00000000000000000000000000000001'B << enum2int(e_CAN_BCM_TX_COUNTEVT_BITINDEX)) or4b
    ('00000000000000000000000000000001'B << enum2int(e_CAN_BCM_TX_CP_CAN_ID_BITINDEX),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }




type enumerated BcmFlags_enum {
  e_CAN_BCM_SETTIMER            (1),
  e_CAN_BCM_RX_RTR_FRAME        (1024),
  e_CAN_BCM_RX_RTR_FRAME_test1 ('0101'B),
  e_CAN_BCM_RX_RTR_FRAME_test2 (bit2int('0111'B)),
  e_CAN_BCM_RX_RTR_FRAME_test3 ('FFE'H),
  e_CAN_BCM_RX_RTR_FRAME_test4 (oct2int('FFF'H)),
  e_CAN_BCM_RX_RTR_FRAME_test5 ('FFFE'O),
  e_CAN_BCM_RX_RTR_FRAME_test6 (oct2int('FFFF'O))
}

 v_bcm_read_status_frame := {
    opcode := 3, // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << 0) or4b 
    ('00000000000000000000000000000001'B << 1) or4b 
    ('00000000000000000000000000000001'B << 4),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

  v_bcm_read_status_frame := {
    opcode := enum2int(e_CAN_BCM_TX_READ), // TX_READ
    flags  := 
    // workaround for titan constants instead of enums: 
    ('00000000000000000000000000000001'B << 0) or4b 
    ('00000000000000000000000000000001'B << 1) or4b 
    ('00000000000000000000000000000001'B << 4),
    count  := 0,
    ival1  := {0, 0},
    ival2  := {0, 0},
    can_id := 66,
    frames := {can_frame := {}}
  }

  
  type enumerated BcmOpcode_enum {
  e_CAN_BCM_TX_SETUP    (1),	  // create (cyclic) transmission task
  e_CAN_BCM_TX_DELETE   (2),	  // remove (cyclic) transmission task
  e_CAN_BCM_TX_READ     (3),	  // read properties of (cyclic) transmission task
  e_CAN_BCM_TX_SEND     (4),      // send one CAN frame
  e_CAN_BCM_RX_SETUP    (5),      // create RX content filter subscription
  e_CAN_BCM_RX_DELETE   (6),      // remove RX content filter subscription
  e_CAN_BCM_RX_READ     (7),      // read properties of RX content filter subscription
  e_CAN_BCM_TX_STATUS   (8),      // reply to TX_READ request
  e_CAN_BCM_TX_EXPIRED  (9),      // notification on performed transmissions (count=0)
  e_CAN_BCM_RX_STATUS   (10),     // reply to RX_READ request
  e_CAN_BCM_RX_TIMEOUT  (11),     // cyclic message is absent
  e_CAN_BCM_RX_CHANGED  (12)      // updated CAN frame (detected content change)
}