juli1

--
-- AADL-RAMSES
-- 
-- Copyright © 2012 TELECOM ParisTech and CNRS
-- 
-- TELECOM ParisTech/LTCI
-- 
-- Authors: see AUTHORS
-- 
-- This program is free software: you can redistribute it and/or modify 

juli1

diff --git a/bin/OpenFTA.sh b/bin/OpenFTA.sh
index 86507d8..6fc9f4d 100755
--- a/bin/OpenFTA.sh
+++ b/bin/OpenFTA.sh
@@ -1,9 +1,10 @@
 #! /bin/sh
 
-JAVAHOME=/usr/lib/jvm/java-6-openjdk-amd64/
+JAVAHOME=`find /usr/lib/jvm -type d -name 'java-*-openjdk-*' | tail  -1`
+

juli1

package Components
public
	with HW_components, Power;
	
	system Comp_1
	end Comp_1;

	system implementation Comp_1.impl
		subcomponents
			d1: device HW_components::dev1_interface;

juli1

package Base_Types_Simulink
public
  with Data_Model;

  data boolean
  properties
    Data_Model::Data_Representation => Boolean;
  end boolean;
 
  data integer

juli1

diff --git a/launchers/fr.tpt.aadl.ramses.control.atl.launch/src/fr/tpt/aadl/ramses/control/atl/AadlToTargetSpecificAadl.java b/launchers/fr.tpt.aadl.ramses.control.atl.launch/src/fr/tpt/aadl/ramses/control/atl/AadlToTargetSpecificAadl.java
index 9ea4d5d..2bf7ecf 100644
--- a/launchers/fr.tpt.aadl.ramses.control.atl.launch/src/fr/tpt/aadl/ramses/control/atl/AadlToTargetSpecificAadl.java
+++ b/launchers/fr.tpt.aadl.ramses.control.atl.launch/src/fr/tpt/aadl/ramses/control/atl/AadlToTargetSpecificAadl.java
@@ -173,11 +173,23 @@
         outputPlatformRelativePath =
               outputAbsolutePath.substring(outputPathHeaderIndex) ;
       }
-      outputPlatformRelativePath =
-            outputAbsolutePath.replace(workspaceLocation + Path.SEPARATOR, "") ;

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

juli1

package ErrorProcessor
public

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

juli1

package test_pkg
public

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

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

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

!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