[WARNING] /Users/cyrilcecchinel/git/workflow/src/main/scala/fr/unice/modalis/cosmic/workflow/core/Policy.scala:104: warning: non-variable type argument fr.unice.modalis.cosmic.workflow.core.DataType in type pattern fr.unice.modalis.cosmic.workflow.core.DataIO[fr.unice.modalis.cosmic.workflow.core.DataType] is unchecked since it is eliminated by erasure
[WARNING] case elem:DataIO[DataType] => ios += elem
[WARNING] ^
[WARNING] /Users/cyrilcecchinel/git/workflow/src/main/scala/fr/unice/modalis/cosmic/workflow/core/Policy.scala:105: warning: non-variable type argument fr.unice.modalis.cosmic.workflow.core.DataType in type pattern fr.unice.modalis.cosmic.workflow.core.Operation[fr.unice.modalis.cosmic.workflow.core.DataType,fr.unice.modalis.cosmic.workflow.core.DataType] is unchecked since it is eliminated by erasure
[WARNING] case elem:Operation[DataType, DataType] => activities += elem
[WARNING] ^
[WARNING] /Users/cyrilcecchinel/git/workflow/src/main/scala/fr/unice/modalis/cosmic/workflow/core/Policy.scala:111: warning: non-variable type argument fr.unice.modalis.cosmic.workflow.core.DataType in type pattern fr.unice.modalis.cosmic.workflow.core.Collector[fr.unice.modalis.cosmic.workflow.core.DataType] is unchecked since it is eliminated by erasure
[WARNING] case elem:Collector[DataType] => ios += elem; links += e._2
[WARNING] ^
[WARNING] /Users/cyrilcecchinel/git/workflow/src/main/scala/fr/unice/modalis/cosmic/workflow/core/Policy.scala:112: warning: non-variable type argument fr.unice.modalis.cosmic.workflow.core.DataType in type pattern fr.unice.modalis.cosmic.workflow.core.Sensor[fr.unice.modalis.cosmic.workflow.core.DataType] is unchecked since it is eliminated by erasure
[WARNING] case elem:Sensor[DataType] => ios += elem; links += e._2; if (e != Set.empty && !last.isDefined || last.get != e._1) internal(e._1)
[WARNING] ^
[WARNING] /Users/cyrilcecchinel/git/workflow/src/main/scala/fr/unice/modalis/cosmic/workflow/core/Policy.scala:113: warning: non-variable type argument fr.unice.modalis.cosmic.workflow.core.DataType in type pattern fr.unice.modalis.cosmic.workflow.core.Operation[fr.unice.modalis.cosmic.workflow.core.DataType,fr.unice.modalis.cosmic.workflow.core.DataType] is unchecked since it is eliminated by erasure
[WARNING] case elem:Operation[DataType, DataType] => activities += elem; links += e._2; if (e != Set.empty && !last.isDefined || last.get != e._1) internal(e._1)
[WARNING] ^
[WARNING] 5 warnings found

Adapt activities to operations described in ECSA paper

From a list of sub-policies, this reverse decompose operator should re-build the original data collection policy

Given a DEPOSIT policy,
one should be able to deploy them on a targeted sensing infrastructure.
The code generation process should be a single operator handling multiple policies and determining which code generator to use.

Join points should be added only when a user wishes to extend her policy with another one

The copy method should return a new policy with concepts/dataflows/properties duplicated

Exemple :
val fire_prevention = {
val sensor = Source("TEMP")
val filter = IntegerFilter(new ValueConstraint(">", new IntegerType(40))); filter.id = "Sup40"
val collector = Sink("collector")
collector.id = "collector1"

val l1 = WFLink(sensor.output, filter.input)
val l2 = WFLink(filter.output, collector.input)

new Workflow(Set(sensor, filter, collector), Set(l1,l2))

}

val heat_monitoring = {
val sensor = Source("TEMP")
val filter1 = IntegerFilter(new ValueConstraint(">", new IntegerType(25))); filter1.id = "Sup25"
val filter2 = IntegerFilter(new ValueConstraint("<", new IntegerType(18))); filter2.id = "Inf18"
val collector = Sink("collector")
collector.id = "collector2"

val l1 = WFLink(sensor.output, filter1.input)
val l2 = WFLink(sensor.output, filter2.input)
val l3 = WFLink(filter1.output, collector.input)
val l4 = WFLink(filter2.output, collector.input)

new Workflow(Set(sensor, filter1, filter2, collector), Set(l1,l2,l3,l4))

}

val res = fire_prevention + heat_monitoring

Utils.writefile("mergeresult_",ToMoteur(res))

eg. name, offset

Eg. #include <AnalogEvent.h>

include <TimedEvent.h>

include <grovetemperature.h>

include <grovetemperature.h>

include <raw.h>

_DemoPolicy_ARD_2_443_DemoPolicy2_ARD_2_443_1455121759457.ino:4:0:
/Users/cyrilcecchinel/Documents/Arduino/libraries/temperature/grovetemperature.h:16:8: error: redefinition of 'double GroveTemperatureSensor::readTemperature()'
double GroveTemperatureSensor::readTemperature() {
^
In file included from _DemoPolicy_ARD_2_443_DemoPolicy2_ARD_2_443_1455121759457.ino:3:0:
/Users/cyrilcecchinel/Documents/Arduino/libraries/temperature/grovetemperature.h:16:8: error: 'virtual double GroveTemperatureSensor::readTemperature()' previously defined here
double GroveTemperatureSensor::readTemperature() {
^
Erreur lors de la compilation.

Avoid things like this: "_DemoPolicy_ARD_2_443_DemoPolicy2_ARD_2_443_1455122321208.ino"