Packages

•  package root

  Definition Classes

  root

•  package de

  Definition Classes

  root

•  package uni_luebeck

  Definition Classes

  de

•  package isp

  Definition Classes

  uni_luebeck

•  package tessla

  Definition Classes

  isp

•  package interpreter

  Definition Classes

  tessla

•  object JavaApi

  API interface for accessing the TeSSLa compiler from other Java or Scala projects.

  API interface for accessing the TeSSLa compiler from other Java or Scala projects. This API is optimized for a comfortable use from Java and Scala code.

  Usage example (in Java):

  import de.uni_luebeck.isp.tessla.interpreter.JavaApi;
  import de.uni_luebeck.isp.tessla.interpreter.JavaApi.*;
  import de.uni_luebeck.isp.tessla.interpreter.StreamEngine;
  
  class Main {
  
      public static void main(String[] args) {
  
           String spec_str = "in temperature: Events[Int]\r\n" +
           "\r\n" +
           "def low = temperature < 3\r\n" +
           "def high = temperature > 8\r\n" +
           "def unsafe = low || high\r\n" +
           "\r\n" +
           "out unsafe";
  
  
           System.out.println("Compiling...");
  
           Engine res = JavaApi.compile(spec_str ,"spec.tessla").engine();
  
           System.out.println("Ready!");
  
           res.addListener(new EngineListener(){
             public void event(String stream, scala.math.BigInt time, Object value) {
               System.out.println("Got: " + stream + " = " + value + " at " + time);
             }
  
             public void printEvent(scala.math.BigInt time, Object value) {
               System.out.println("Raw output: " + value + " at " + time);
             }
           });
  
           res.setTime(1);
           res.provide("temperature",2);
           res.setTime(2);
           res.provide("temperature",15);
           res.setTime(5);
           res.provide("temperature",8);
           res.step();
  
           System.out.println("Finished!");
  
       }
  
   }

  Note: This API internally uses the TeSSLa interpreter. For high performance applications it is advisable to use the TeSSLa compiler to generate a Scala API directly for a specific specification.

  Definition Classes

  interpreter

• CompilationResult
• Diagnostic
• Engine
• EngineListener
• Result

de.uni_luebeck.isp.tessla.interpreter.JavaApi

Diagnostic