abc.ltl.visit.transform
Interface RuntimeRepresentation

public interface RuntimeRepresentation

Field Summary

static java.lang.String	AFA_STATE_INTERFACE_NAME interface name for states of the alternating finite automaton
static java.lang.String	BINDINGS_MAP_ACTUAL_TYPE_NAME actual type of bindings map
static java.lang.String	BINDINGS_MAP_DECLARED_TYPE_NAME declared type of bindings map
static java.lang.String	BINDINGS_MAP_LOCAL_VARIABLE_GET_METHOD method to retrieve a binding
static java.lang.String	BINDINGS_MAP_LOCAL_VARIABLE_NAME label for local variable holding the bindings
static java.lang.String	BINDINGS_MAP_LOCAL_VARIABLE_PUT_METHOD method to map a binding
static java.lang.String	CURRENT_PROPOSITIONS_ADD_METHOD method to add a proposition to the set
static java.lang.String	CURRENT_PROPOSITIONS_CLEAR_METHOD method to clear the proposition set
static java.lang.String	CURRENT_PROPOSITIONS_LABEL label of set of current propositions
static java.lang.String	DUMMY_VARIABLE_NAME variable name used for after returning/throwing if a type name is given
static java.lang.String	FACTORY_INSTANTIATION_CALL method to retrieve the factory instance
static java.lang.String	FACTORY_INTERFACE_NAME declared type of factory
static java.lang.String	FACTORY_LABEL label for the aspect-internal reference to the factory
static java.lang.String	FORMULA_INTERFACE_NAME interface name for formulae
static java.lang.String	FORMULA_LABEL label for the constant formula
static java.lang.String	NNF_METHOD_NAME name of method which converts into negation normal form
static java.lang.String	OP_AND_CLASS_NAME and operator class
static java.lang.String	OP_EQUIV_CLASS_NAME equivalent operator class
static java.lang.String	OP_F_CLASS_NAME finally operator class
static java.lang.String	OP_G_CLASS_NAME globally operator class
static java.lang.String	OP_IMPLIES_CLASS_NAME implies operator class
static java.lang.String	OP_NOT_CLASS_NAME not operator class
static java.lang.String	OP_OR_CLASS_NAME or operator class
static java.lang.String	OP_R_CLASS_NAME release operator class
static java.lang.String	OP_U_CLASS_NAME until operator class
static java.lang.String	OP_X_CLASS_NAME next operator class
static java.lang.String[]	PACKAGE_IMPORTS import statements
static java.lang.String	PROPOSITION_CLASS_NAME proposition class
static java.lang.String	PROPOSITION_CONSTANTS_PREFIX prefix for labels of propositions
static java.lang.String	PROPOSITION_IF_CLOSURE_CLASS_NAME name of the class of the if-closure to use
static java.lang.String	PROPOSITION_IF_CLOSURE_EVAL_METHOD_NAME name of the evaluation method to override in if-closure
static java.lang.String	PROPOSITION_IF_CLOSURE_VARIABLES_METHOD_NAME name of the variable names to override in if-closure
static java.lang.String	PROPOSITION_INTERFACE_TYPE
static java.lang.String	PROPOSITION_SET_CLASS_NAME (declared and actual) type of set of current propositions
static java.lang.String	PROPOSITION_SPECIALIZE_METHOD
static java.lang.String	REGISTER_FORMULA call to register a formula
static java.lang.String	RUNTIME_ENVIRONMENT_CLASSNAME class name of the runtime class, which manages the factory and formulae
static java.lang.String	RUNTIME_ENVIRONMENT_SINGLETON_ACCESS method name for accessing the singleton instance of the runtime environment
static java.lang.String	TRANSITION_METHOD method to perform transition
static java.lang.String	UPDATE_FORMULA call to update a formula
static java.lang.String	USER_CAUSED_EXCEPTION_CLASS_NAME type name of UserCausedException
static java.lang.String	USER_CAUSED_EXCEPTION_QUALIFIER_NAME type holding the type UserCausedException

Field Detail

RUNTIME_ENVIRONMENT_CLASSNAME

static final java.lang.String RUNTIME_ENVIRONMENT_CLASSNAME

class name of the runtime class, which manages the factory and formulae

See Also:

Constant Field Values

RUNTIME_ENVIRONMENT_SINGLETON_ACCESS

static final java.lang.String RUNTIME_ENVIRONMENT_SINGLETON_ACCESS

method name for accessing the singleton instance of the runtime environment

See Also:

Constant Field Values

FACTORY_INTERFACE_NAME

static final java.lang.String FACTORY_INTERFACE_NAME

declared type of factory

See Also:

Constant Field Values

FACTORY_INSTANTIATION_CALL

static final java.lang.String FACTORY_INSTANTIATION_CALL

method to retrieve the factory instance

See Also:

Constant Field Values

FACTORY_LABEL

static final java.lang.String FACTORY_LABEL

label for the aspect-internal reference to the factory

See Also:

Constant Field Values

NNF_METHOD_NAME

static final java.lang.String NNF_METHOD_NAME

name of method which converts into negation normal form

See Also:

Constant Field Values

AFA_STATE_INTERFACE_NAME

static final java.lang.String AFA_STATE_INTERFACE_NAME

interface name for states of the alternating finite automaton

See Also:

Constant Field Values

FORMULA_INTERFACE_NAME

static final java.lang.String FORMULA_INTERFACE_NAME

interface name for formulae

See Also:

Constant Field Values

PROPOSITION_CLASS_NAME

static final java.lang.String PROPOSITION_CLASS_NAME

proposition class

See Also:

Constant Field Values

OP_AND_CLASS_NAME

static final java.lang.String OP_AND_CLASS_NAME

and operator class

See Also:

Constant Field Values

OP_OR_CLASS_NAME

static final java.lang.String OP_OR_CLASS_NAME

or operator class

See Also:

Constant Field Values

OP_NOT_CLASS_NAME

static final java.lang.String OP_NOT_CLASS_NAME

not operator class

See Also:

Constant Field Values

OP_IMPLIES_CLASS_NAME

static final java.lang.String OP_IMPLIES_CLASS_NAME

implies operator class

See Also:

Constant Field Values

OP_EQUIV_CLASS_NAME

static final java.lang.String OP_EQUIV_CLASS_NAME

equivalent operator class

See Also:

Constant Field Values

OP_F_CLASS_NAME

static final java.lang.String OP_F_CLASS_NAME

finally operator class

See Also:

Constant Field Values

OP_G_CLASS_NAME

static final java.lang.String OP_G_CLASS_NAME

globally operator class

See Also:

Constant Field Values

OP_X_CLASS_NAME

static final java.lang.String OP_X_CLASS_NAME

next operator class

See Also:

Constant Field Values

OP_U_CLASS_NAME

static final java.lang.String OP_U_CLASS_NAME

until operator class

See Also:

Constant Field Values

OP_R_CLASS_NAME

static final java.lang.String OP_R_CLASS_NAME

release operator class

See Also:

Constant Field Values

FORMULA_LABEL

static final java.lang.String FORMULA_LABEL

label for the constant formula

See Also:

Constant Field Values

REGISTER_FORMULA

static final java.lang.String REGISTER_FORMULA

call to register a formula

See Also:

Constant Field Values

UPDATE_FORMULA

static final java.lang.String UPDATE_FORMULA

call to update a formula

See Also:

Constant Field Values

PROPOSITION_CONSTANTS_PREFIX

static final java.lang.String PROPOSITION_CONSTANTS_PREFIX

prefix for labels of propositions

See Also:

Constant Field Values

PROPOSITION_IF_CLOSURE_CLASS_NAME

static final java.lang.String PROPOSITION_IF_CLOSURE_CLASS_NAME

name of the class of the if-closure to use

See Also:

Constant Field Values

USER_CAUSED_EXCEPTION_QUALIFIER_NAME

static final java.lang.String USER_CAUSED_EXCEPTION_QUALIFIER_NAME

type holding the type UserCausedException

See Also:

Constant Field Values

USER_CAUSED_EXCEPTION_CLASS_NAME

static final java.lang.String USER_CAUSED_EXCEPTION_CLASS_NAME

type name of UserCausedException

See Also:

Constant Field Values

PROPOSITION_IF_CLOSURE_EVAL_METHOD_NAME

static final java.lang.String PROPOSITION_IF_CLOSURE_EVAL_METHOD_NAME

name of the evaluation method to override in if-closure

See Also:

Constant Field Values

PROPOSITION_IF_CLOSURE_VARIABLES_METHOD_NAME

static final java.lang.String PROPOSITION_IF_CLOSURE_VARIABLES_METHOD_NAME

name of the variable names to override in if-closure

See Also:

Constant Field Values

DUMMY_VARIABLE_NAME

static final java.lang.String DUMMY_VARIABLE_NAME

variable name used for after returning/throwing if a type name is given

See Also:

Constant Field Values

CURRENT_PROPOSITIONS_LABEL

static final java.lang.String CURRENT_PROPOSITIONS_LABEL

label of set of current propositions

See Also:

Constant Field Values

PROPOSITION_SET_CLASS_NAME

static final java.lang.String PROPOSITION_SET_CLASS_NAME

(declared and actual) type of set of current propositions

See Also:

Constant Field Values

CURRENT_PROPOSITIONS_ADD_METHOD

static final java.lang.String CURRENT_PROPOSITIONS_ADD_METHOD

method to add a proposition to the set

See Also:

Constant Field Values

CURRENT_PROPOSITIONS_CLEAR_METHOD

static final java.lang.String CURRENT_PROPOSITIONS_CLEAR_METHOD

method to clear the proposition set

See Also:

Constant Field Values

BINDINGS_MAP_LOCAL_VARIABLE_NAME

static final java.lang.String BINDINGS_MAP_LOCAL_VARIABLE_NAME

label for local variable holding the bindings

See Also:

Constant Field Values

BINDINGS_MAP_DECLARED_TYPE_NAME

static final java.lang.String BINDINGS_MAP_DECLARED_TYPE_NAME

declared type of bindings map

See Also:

Constant Field Values

BINDINGS_MAP_ACTUAL_TYPE_NAME

static final java.lang.String BINDINGS_MAP_ACTUAL_TYPE_NAME

actual type of bindings map

See Also:

Constant Field Values

BINDINGS_MAP_LOCAL_VARIABLE_PUT_METHOD

static final java.lang.String BINDINGS_MAP_LOCAL_VARIABLE_PUT_METHOD

method to map a binding

See Also:

Constant Field Values

BINDINGS_MAP_LOCAL_VARIABLE_GET_METHOD

static final java.lang.String BINDINGS_MAP_LOCAL_VARIABLE_GET_METHOD

method to retrieve a binding

See Also:

Constant Field Values

PROPOSITION_INTERFACE_TYPE

static final java.lang.String PROPOSITION_INTERFACE_TYPE

See Also:

Constant Field Values

PROPOSITION_SPECIALIZE_METHOD

static final java.lang.String PROPOSITION_SPECIALIZE_METHOD

See Also:

Constant Field Values

TRANSITION_METHOD

static final java.lang.String TRANSITION_METHOD

method to perform transition

See Also:

Constant Field Values

PACKAGE_IMPORTS

static final java.lang.String[] PACKAGE_IMPORTS

import statements