juli1

Loaded assembly: MonoDroidConstructors [External]
Loaded assembly: OpenTK.dll [External]
Loaded assembly: System.dll [External]

testThread started: 
Thread started: 

call to OpenGL ES API with no current context (logged once per thread)
call to OpenGL ES API with no current context (logged once per thread)
loaded /system/lib/egl/libGLES_android.so

juli1

package criticality_refactoring_after

public


with SEI;
with ARINC653;

system producer
features

juli1

package TestErrorLibrary
public
with  ErrorLibrary, EMV2, test_pkg;

annex EMV2 {**
	
	error types extends ErrorLibrary with

No_Flow_Cmd: type extends ServiceOmission;
Bad_Flow_Cmd: type extends BadValue;

juli1

package TestErrorLibrary
public
with  ErrorLibrary, EMV2, test_pkg;

annex EMV2 {**
	
	error types extends ErrorLibrary with

No_Flow_Cmd: type extends ServiceOmission;
Bad_Flow_Cmd: type extends BadValue;

juli1

-- AADL-BA-FrontEnd
 
-- Copyright © 2011 TELECOM ParisTech and CNRS
 
-- TELECOM ParisTech/LTCI

-- Authors: see AUTHORS
 
-- This program is free software: you can redistribute it and/or modify 
-- it under the terms of the Eclipse Public License as published by Eclipse,

juli1

!ENTRY org.eclipse.ui 4 0 2013-08-12 07:08:27.925
!MESSAGE Unhandled event loop exception
!STACK 0
org.eclipse.xtext.validation.IConcreteSyntaxValidator$InvalidConcreteSyntaxException: These errors need to be fixed before the model can be serialized.
AadlPackage'MultiModalPingPong'.ownedPublicSection->PublicPackageSection'MultiModalPingPong_public'.ownedClassifier[3]->DataType'message_type'.ownedPropertyAssociation[2]->PropertyAssociation.ownedValue[0]->ModalPropertyValue: Feature ModalPropertyValue.ownedValue must be set.
AadlPackage'MultiModalPingPong'.ownedPublicSection->PublicPackageSection'MultiModalPingPong_public'.ownedClassifier[3]->DataType'message_type'.ownedPropertyAssociation[2]->PropertyAssociation.ownedValue[0]->ModalPropertyValue: Feature ModalPropertyValue.ownedValue must be set.
AadlPackage'MultiModalPingPong'.ownedPublicSection->PublicPackageSection'MultiModalPingPong_public'.ownedClassifier[3]->DataType'message_type'.ownedPropertyAssociation[3]->PropertyAssociation.ownedValue[0]->ModalPrope

juli1

package TestErrorLibrary
public
with  ErrorLibrary, EMV2, test_pkg;

annex EMV2 {**
  
	error types extends ErrorLibrary with

No_Flow_Cmd: type extends ServiceOmission;
Bad_Flow_Cmd: type extends BadValue;

juli1

package test_pkg
public

with  ErrorLibrary, EMV2, TestErrorLibrary;
device sensor
features
dpout: out data port;

annex EMV2{**
  use behavior TestErrorLibrary::simple;

juli1

package ErrorProcessor
public

annex EMV2{**
	error types
		DelayedInfo 	: type;
		NoInfo			: type;
		ErroneousInfo	: type;
		Short_circuit	: type;
		physical_shock	: type;

juli1

package transmission::version1::imported::functions
public
with SEI;
with ARINC653;
abstract engine
features
   from_transmission : in event port;
   to_transmission : out event port;
   to_plotresults : out event port;
properties