J-LO, the Java Logical Observer (Runtime Library), version 0.9.2

See:
Description

AFA-State-Packages

rwth.i2.ltlrv.afastate	Holds code for LTL term constructors, which can occur in an AFA.
rwth.i2.ltlrv.afastate.base	Abstract base classes for all AFA states.
rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.afastate.interfaze	Common interfaces for all AFA states.

Formula-Packages

rwth.i2.ltlrv.formula	Holds code for LTL term constructors, which do not occur in an AFA.
rwth.i2.ltlrv.formula.base	Abstract base classes for LTL term constructors.
rwth.i2.ltlrv.formula.impl	Implementing classes for LTL term constructors.
rwth.i2.ltlrv.formula.interfaze	Common interfaces for LTL term constructors.

Management-Packages

rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.
rwth.i2.ltlrv.management.listeners

Other Packages

org.aspectbench.eaj.lang
org.aspectbench.eaj.lang.reflect
org.aspectbench.eaj.runtime.reflect
org.aspectbench.runtime
org.aspectbench.runtime.internal
org.aspectbench.runtime.internal.cflowinternal
org.aspectbench.runtime.reflect
org.aspectbench.tm.runtime.internal
org.aspectj.lang	Provides several interfaces for obtaining reflective information about a join point, as well as several exceptions that can be thrown by AspectJ code.
org.aspectj.lang.reflect	Contains interfaces that extend Signature to provide additional information about each possible join point signature.
rwth.i2.ltlrv
rwth.i2.ltlrv.data	Holds some special data structures.
rwth.i2.ltlrv.util	Holds utility classes.

J-LO is distributed under the Qt non-commercial license. You can find further information about J-LO here.

Overview

The code can be separated into three big areas:

• AFA (alternating finite automaton) state code
• Formula code
• rest

The formula packages contain code for formulae that are not yet valid formulae in negational normal form. For example a Finally operator is reduced to Until by the rule F phi = tt U phi. The code in those packages has no other purpose.

The AFA state packages contain the code that performs the actual semantic rewriting during runtime. Here the most work is done. Each class represents an AFA state.

The management classes manage configurations. They allow to take a transition from one formula configuration to another.

Then there are yet some helper classes and data structures.