abc.ltl.formulaextraction
Class Specification

java.lang.Object
  abc.ltl.formulaextraction.Specification

public class Specification
extends java.lang.Object

Author:

Eric Bodden Specification

Field Summary

static java.lang.String	LTL_FORMULA_CLASS_PREFIX Class name prefix for formula classes to generate.
static java.lang.String	LTL_FORMULA_PACKAGE Package name for formula classes to generate.
static java.lang.String	LTL_TYPE_NAME Type name of the LTL annotation type.

Constructor Summary

Specification()

Method Summary

static void	generateInitialSourceUnitsFromFormulas(AbstractExtensionInfo extensionInfo)
static java.lang.String	getFormulaId()
static java.util.List<Formula>	getFormulas()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LTL_TYPE_NAME

public static final java.lang.String LTL_TYPE_NAME

Type name of the LTL annotation type.

See Also:

Constant Field Values

LTL_FORMULA_PACKAGE

public static final java.lang.String LTL_FORMULA_PACKAGE

Package name for formula classes to generate.

See Also:

Constant Field Values

LTL_FORMULA_CLASS_PREFIX

public static final java.lang.String LTL_FORMULA_CLASS_PREFIX

Class name prefix for formula classes to generate.

See Also:

Constant Field Values

Constructor Detail

Specification

public Specification()

Method Detail

getFormulaId

public static java.lang.String getFormulaId()

generateInitialSourceUnitsFromFormulas

public static void generateInitialSourceUnitsFromFormulas(AbstractExtensionInfo extensionInfo)

getFormulas

public static java.util.List<Formula> getFormulas()

Returns:

Returns the formulas.