All Classes and Interfaces
Class
Description
Troolean implementation of the LTL X operator
Troolean implementation of the LTL G operator
Converts a stream of lines from an Apache log into a stream of
HTTP request objects
Association between an expression to compute a value from an
AttributeGroup and an attribute name.
A group of attributes taken from the merging of one or more tuples.
Breaks a single tuple into multiple tuples, one for each key-value
pair of the original tuple.
Implementation of an immutable map.
Calls Graphviz on an input string and returns the resulting image
as a byte array.
The image type to render.
The software to use for rendering
Function that applies a deserializer to its input argument.
Empty class representing a callback for a diagnostics function
Generates a bitmap from a
Table
object.Boolean implementation of the LTL F processor
Troolean implementation of the universal first-order quantifier.
Function that acts as a first-order existential quantifier.
Boolean implementation of the existential first-order quantifier.
Transforms a tuple by replacing two key-value pairs by a single
new key-value pair.
Gets the value of an attribute in a
TupleA
Hibernate processor that saves its internal processor into
a local file.Utility class to create instances of tuples with a fixed
schema
Function that acts as a first-order universal quantifier.
Boolean implementation of the universal first-order quantifier.
Creates an
TupleExpression from a set of input tuples and an
array of names.The internal function performing the actual work for the
From processor.Transition for a Moore Machine where the guard is a function
returning a
boolean, and the context modification
is a list of ContextAssignments.Gets the value of an attribute in an
AttributeGroupFunction taking an interpretation as its input, and returning the
set of values associated with some domain as its output.
Boolean implementation of the LTL G processor
Simple representation of a directed graph.
A weighted directed edge in a graph.
A special type of
GrammarObjectBuilder that encapsulates the
resulting chain into a GroupProcessor.Casts a Boolean value into a Troolean value, by converting (Boolean)
true into (Troolean) inconclusive.
Stores an internal processor using an object fridge.
Outputs character strings received over the network from an upstream
connection.
Utility methods for handling HTTP requests.
Representation of an HTTP request, as logged by an Apache server
Function to get the path of an HTTP request
Function to get the path of an HTTP request
Function to get the timestamp of an HTTP request
The HTTP method used in the request
Function to compare the request's time with another time
HTTP server that pulls events from upstream when it receives a GET request.
Sends character strings over the network through HTTP requests.
A context in which predicates can be evaluated.
Generic object that can be used to parse string "queries" and
return an iterable result
An exception thrown if the query
cannot be parsed by the interpreter
Converts a query to a database into a trace of named tuples.
Merges all tuples in a set with the same value for a given attribute.
Function that evaluates a JPath expression on a JsonElement
Function that deserializes a JSON element into an object
Function that deserializes a JSON string into an object
A source of JSON events taking its data from a JSON file.
Function that serializes its input into a JSON element
Function that serializes its input into a JSON string
Outputs at most one non-zero event in an interval of width n.
A
Source processor that can be added
as an ActionListener to an AWT or
Swing widget.Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Dummy main file
Converts a
Map object into a TupleCreates a named tuple out of multiple input traces, each containing scalar
values.
Merges the key-value pairs of multiple tuples into a single tuple.
A finite-state automaton with output symbols associated to its states.
Represents a transition in the Moore machine
Boolean implementation of the LTL X processor
Extracts a number value from a JSON element.
Parses a line of an Apache log in the
common log format
and creates an
HttpRequest object with it.Function that converts a string into a JSON element
Function that converts a string into an XML element
A
Passthrough processor that keeps
the count of events that went through it.Finds a peak in a data stream using the
local
maximum algorithm.
Finds peaks in a sequence of numerical values using the "travel-rise"
technique.
Persists a locally maximal value for a certain amount of time.
Finds a plateau in a data stream.
Special constant that can be used when evaluating a predicate to
indicate a "don't care" value
An assertion on the value of a predicate, to be evaluated on an
Interpretation.Extracts the value at a specific position in the predicate tuple.
Extracts the value at a specific position in the predicate tuple,
and converts it into a number
An assertion defining the truth value of a predicate
for a concrete list of arguments.
Unary function converting an object into a predicate tuple
Processor receiving objects as input and outputting
predicate tuples as its output
Generates a GnuPlot file drawing a plot from a
Table object.A
Passthrough processor that prints every event it receives to the
standard output.Represents a transition in the Moore machine.
Creates an output tuple from input tuples by combining their values.
Associates a tuple's key to a function to be evaluated on input tuples
Creates complex events out of a range of simple events.
The current state of the range, which is updated upon receiving each
input event.
Builds a tuple out of parts of text.
Abstract function that replaces node labels by others.
Function that deletes the labels of all nodes (i.e.
replaces them with the empty string.
Turns a scalar object into a singleton tuple.
Creates a Tuple from an
AttributeGroup.The internal function performing the actual work for the
From processor.Function that applies a serializer to its input argument.
Computes the average of values in an array
Casts a Boolean value into a Troolean value, by converting (Boolean)
false into (Troolean) inconclusive.
Troolean implementation of the existential first-order quantifier.
Troolean implementation of the LTL F processor
A splice source that reads a JSONStream document and produces a stream of
JSON elements.
A splice source that generates a stream of tuples.
Extracts a number value from a JSON element.
Timer that pushes the contents of
m_packedEvents every
m_outputInterval milliseconds.Converts a graph into a DOT string
Represents the "otherwise" transition in the Moore machine
Creates two Applies a triple substitution to a singleton tuple.
Implementation of a three-valued logic.
The three possible values of a Troolean
Casts an object into a Troolean value
A (named) tuple is a map between attribute names (character strings) and
attribute values (any kind of Object).
Simple implementation of the Map interface
Compares two tuples according to the values of one or many of their
attributes.
Creates a feed of events from CRLF-separated string chunks.
Implementation of a named tuple.
Implementation of a named tuple based on the
Map class.Boolean implementation of the LTL U processor
Receives a stream of directed edges, and progressively
updates a directed graph.
Adds contents to a table based on incoming events.
Adds contents to a table from a stream of arrays.
Adds contents to a table by receiving a stream of
Map objects, each
corresponding to a tuple of key-value pairs to add to the table.Adds contents to a table from multiple streams.
Receives a stream of directed edges, and progressively
updates a directed weighted graph.
Troolean version of the LTL U operator
Reads chunks of data from a websocket.
Filters a trace of
AttributeGroup objects according to a
Boolean functionPrints whatever is given to it in a text window.
Function that converts a string into an XML element
Utility function to evaluate an XPath expression, ending with
a
text() elementUtility function to evaluate an XPath expression, ending with
a
text() elementUtility function to evaluate an XPath expression, ending with
a
text() element