tasosxak

/* Generic Monitoring Code common for all properties. */

import net.sf.javabdd.{BDD, BDDFactory}
import java.io._

import org.apache.commons.csv.{CSVFormat, CSVRecord}

import scala.collection.mutable.ListBuffer
import scala.collection.JavaConverters._

tasosxak

#include "Deploy.hpp"

#include <Launcher.hpp>
#include <fmi2Functions.h>
#include <fmi2FunctionTypes.h>
#include <Variables.hpp>
/*
 * The "static" includes (the one we use inconditionnaly)
 */

tasosxak

var moni_ = new PropertyMonitor

  def eval(event: String): Boolean = {
    
    //println("MONITOR RECEIVED: ", event)
    openResultFile("dejavu-results")
    var input = event.split(",")
    var name = input(0)
    var args = new ListBuffer[Any]()
    Options.BITS = 20        

tasosxak

#include <stdio.h>
#include <stdlib.h>
#include <dlfcn.h>
#include <string>
#include <cstring>
#include <fmi2Functions.h>
#include <fmi2FunctionTypes.h>
#include <iostream>
#include <jni.h>
using namespace std;