Index

A B C D E F G H I L M N O P R S T U V W X _
All Classes|All Packages

A

AbstractAction - Class in com.pauware.pauware_engine.Core: This abstract class represents the general notion of Action in UML.
AbstractAction(Object, String, Object[]) - Constructor for class com.pauware.pauware_engine.Core.AbstractAction: This constructor is called by the AbstractStateMachine.fires(String,AbstractState,AbstractState,Object,String,Object[],Object,String,Object[],byte) method.
AbstractGuard - Class in com.pauware.pauware_engine.Core: This abstract class represents the general notion of Guard in UML.
AbstractGuard(Object, String, Object[]) - Constructor for class com.pauware.pauware_engine.Core.AbstractGuard: This constructor is called by the AbstractStateMachine.fires(String,AbstractState,AbstractState,Object,String,Object[],Object,String,Object[],byte) method.
AbstractState - Class in com.pauware.pauware_engine.Core: This abstract class represents the general notion of State in UML.
AbstractState() - Constructor for class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This constructor creates a state.
AbstractState(String) - Constructor for class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This constructor creates a state.
AbstractState._Cross_over - Enum in com.pauware.pauware_engine.Core: For visualization purposes only, private use
AbstractStateMachine - Class in com.pauware.pauware_engine.Core: This abstract class represents the general notion of State Machine in UML.
AbstractStateMachine() - Constructor for class com.pauware.pauware_engine.Core.AbstractStateMachine: This constructor creates a father for two composed AbstractStateMachine instances.
AbstractStateMachine(AbstractState, String) - Constructor for class com.pauware.pauware_engine.Core.AbstractStateMachine: This constructor amounts to calling AbstractStateMachine(s,name,AbstractStateMachine.Don_t_show_on_system_out).
AbstractStateMachine(AbstractState, String, boolean) - Constructor for class com.pauware.pauware_engine.Core.AbstractStateMachine: This constructor first creates and initializes a state machine; It next triggers all entry actions associated with all the explicit and implicit default input states of the state machine.
AbstractStateMachine(AbstractState, String, boolean, AbstractStateMachine_listener) - Constructor for class com.pauware.pauware_engine.Core.AbstractStateMachine: This constructor amounts to calling AbstractStateMachine(s,name,show_on_system_out) plus the definition of a state machine's listener.
AbstractStateMachine(AbstractState, String, boolean, AbstractStateMachine_listener, AbstractStateMachine_listener) - Constructor for class com.pauware.pauware_engine.Core.AbstractStateMachine: Doc.
AbstractStateMachine_listener - Interface in com.pauware.pauware_engine.Core: This interface is a management utility (including visualization issues), which can be implemented by a state machine manager object.
AbstractTimer_monitor - Class in com.pauware.pauware_engine.Core: This abstract class represents the notion of timer services.
AbstractTimer_monitor() - Constructor for class com.pauware.pauware_engine.Core.AbstractTimer_monitor
action(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractGuard: Implementation of this method occurs in Guard.
action(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.Guard: This method creates and returns an action instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
action(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: Implementation of this method occurs in State.
action(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.State: This method creates and returns an action instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
action(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.StateMachine: This method creates and returns an action instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
Action - Class in com.pauware.pauware_engine.Core: This concrete class represents the general notion of Action in UML.
Action(Object, String, Object[]) - Constructor for class com.pauware.pauware_engine.Core.Action
activate(AbstractState, AbstractState, StringBuffer) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Internal use only; This method is called during a run-to-completion cycle.
Activated_state_display_message - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
active() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method indicates if a state is active.
activity(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: Implementation of this method occurs in State.
activity(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.State: This method creates and returns an action instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
activity(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.StateMachine: This method creates and returns an action instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
add_listener(AbstractStateMachine_listener) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method adds a listener to the state machine; this method MUST be called AFTER the state machine has started.
Allow_header_text - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
Allowed_event_display_message - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
allowedEvent(String, Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,object,action,null);.
allowedEvent(String, Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,object,action,args,AbstractState.No_reentrance);.
allowedEvent(String, Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,null,"true",object,action,args,reentrance_mode);.
allowedEvent(String, Object, String, Object[], Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,guard_args,object,action,null);.
allowedEvent(String, Object, String, Object[], Object, String, byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,guard_args,object,action,null,reentrance_mode);.
allowedEvent(String, Object, String, Object[], Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,guard_args,object,action,args,AbstractState.No_reentrance);.
allowedEvent(String, Object, String, Object[], Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method registers the allowed events for a given state.
allowedEvent(String, Object, String, Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,null,object,action,null,AbstractState.No_reentrance);.
allowedEvent(String, Object, String, Object, String, byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,null,object,action,null,reentrance_mode);.
allowedEvent(String, Object, String, Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,null,object,action,args,AbstractState.No_reentrance);.
allowedEvent(String, Object, String, Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling allowedEvent(event,guard_object,guard_action,null,object,action,args,reentrance_mode);.
allowedEvent(String, Map<Transition, Object[]>, Vector<Transition>, StringBuffer) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method executes the actions of allowed events, which are eligible during a run-to-completion cycle; For internal use only.
ancestor() - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method computes the closest non-anonymous superstate of a state.
and(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method makes the two argument states orthogonal.
and(AbstractStateMachine) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method makes a state and a state machine orthogonal.
ASCENDING - com.pauware.pauware_engine.Core.AbstractState._Cross_over
async_current_state() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Management facility: this method is offered by a software component, which implements the Manageable_base interface.
async_current_state() - Method in interface com.pauware.pauware_engine.Core.Manageable_base: This method returns the current state of a software component.

B

brother() - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method computes the "brother" state, if any, of a state.

C

Clean_up(String) - Static method in class com.pauware.pauware_engine.Core.AbstractState: For visualization purposes only: this class method is used by the PauWare2Web tool to clean up unacceptable characters.
com.pauware.pauware_engine.Core - package com.pauware.pauware_engine.Core
com.pauware.pauware_engine.Exceptions - package com.pauware.pauware_engine.Exceptions
commonSuperWith(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method computes the closest superstate of two states.
compare_args(Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is called by the AbstractAction.equals(Object) method.
completion() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Completion transitions (i.e., those without any event label) are automatically triggered when reaching output states.
Completion - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable is a constant value ("completion"), which is used for transitions that do not have a labeling event.
Composable - Interface in com.pauware.pauware_engine.Core: This interface is a composition utility, which has to be implemented by a software component for state machine-based composition.
Compute_invariants - Static variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This class variable is a constant value that activates the calculation of state invariants.
createFather() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method aims at managing nesting.
createFather() - Method in class com.pauware.pauware_engine.Core.State: This method creates and returns a superstate instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
createFather() - Method in class com.pauware.pauware_engine.Core.StateMachine: This method raises an instance of RuntimeException.
current_state() - Method in class com.pauware.pauware_engine.Core.AbstractState
current_state() - Method in interface com.pauware.pauware_engine.Core.Manageable_base: This method returns the current (real-time) state of a software component.

D

deep_history() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to configuring a state as a (deep) history state: H* notation.
deepStateInvariant() - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method computes the global invariant of a state machine.
DESCENDING - com.pauware.pauware_engine.Core.AbstractState._Cross_over
disactivate(AbstractState, AbstractState, StringBuffer) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Internal use only; This method is called during a run-to-completion cycle.
Disactivated_state_display_message - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
Do_activity - Class in com.pauware.pauware_engine.Core: This concrete class represents the general notion of Activity in UML (do/ notation).
Do_activity(Object, String, Object[]) - Constructor for class com.pauware.pauware_engine.Core.Do_activity
Do_activity_display_message - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
Do_header_text - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
doActivity(Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling doActivity(object,activity,null);.
doActivity(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method associates an activity a with a state according to the following UML formalism: do/ a.
Don_t_compute_invariants - Static variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This class variable is a constant value that disactivates the calculation of state invariants.
Don_t_show_on_system_out - Static variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This class variable is a constant value which represents the fact that the verbose mode for event processing is not activated.

E

entry(Stack<AbstractState>, StringBuffer) - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method is called at state machine starting time.
Entry_action_display_message - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
Entry_header_text - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
equals(Object) - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is used when an action object is put in a map data structure as a key.
equals(Object) - Method in class com.pauware.pauware_engine.Core.AbstractGuard: This method is used when a guard object is put in a map data structure as a key.
equals(Object) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method is used when an AbstractStateMachine is put in a map data structure as a key.
equals(Object) - Method in class com.pauware.pauware_engine.Core.Transition: This method is used when a transition object is put in a map data structure as a key.
execute() - Method in class com.pauware.pauware_engine.Core.AbstractAction: Implementation of this method depends upon the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
execute() - Method in class com.pauware.pauware_engine.Core.AbstractGuard: Implementation of this method depends upon the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
execute() - Method in class com.pauware.pauware_engine.Core.Action: This method is called during a run-to-completion cycle and executes the action instance by reflection; Actions may be re-executed.
execute() - Method in class com.pauware.pauware_engine.Core.Do_activity: This method executes an activity (do/ notation) in a standalone thread of control.
execute() - Method in class com.pauware.pauware_engine.Core.SendSignalAction: This method executes an action in a standalone thread of control.
exit(StringBuffer) - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method is called at state machine stopping time for any run-to-completion cycle.
Exit_action_display_message - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
Exit_header_text - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.

F

fictitious() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method answers the question: is this state a fictitious state (i.e., both leaf and pseudo-state) of the state machine?
fires(String, AbstractState, AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,true);.
fires(String, AbstractState, AbstractState, boolean) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard,null,null);.
fires(String, AbstractState, AbstractState, boolean, Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard,object,action,null);.
fires(String, AbstractState, AbstractState, boolean, Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard,object,action,args,AbstractState.No_reentrance);.
fires(String, AbstractState, AbstractState, boolean, Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,null,"true",object,action,args,reentrance_mode); if guard is true, fires(event,from,to,null,"false",object,action,args,reentrance_mode); otherwise.
fires(String, AbstractState, AbstractState, Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard_object,guard_action,null,null);.
fires(String, AbstractState, AbstractState, Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard_object,guard_action,guard_args,null,null,null);.
fires(String, AbstractState, AbstractState, Object, String, Object[], Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard_object,guard_action,guard_args,object,action,null);.
fires(String, AbstractState, AbstractState, Object, String, Object[], Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard_object,guard_action,guard_args,object,action,args,AbstractState.No_reentrance);.
fires(String, AbstractState, AbstractState, Object, String, Object[], Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method creates and registers (caches) a transition labeled with an event name in a state machine (see: UML State Machine Diagrams formalism).
fires(String, AbstractState, AbstractState, Object, String, Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard_object,guard_action,object,action,null);.
fires(String, AbstractState, AbstractState, Object, String, Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling fires(event,from,to,guard_object,guard_action,null,object,action,args,AbstractState.No_reentrance);.
from() - Method in class com.pauware.pauware_engine.Core.Transition: This method is an accessor for the Transition._from field.

G

get_allowed_events_label() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method returns the allow: actions of the state.
get_do_label() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method returns the do/ activity of the state.
get_invariant_label() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method returns the invariant: action of the state.
getMessage() - Method in exception com.pauware.pauware_engine.Exceptions.State_based_exception
getMessage() - Method in exception com.pauware.pauware_engine.Exceptions.StateMachine_execution_exception
getMessage() - Method in exception com.pauware.pauware_engine.Exceptions.Transition_based_exception
guard(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: Implementation of this method occurs in State.
guard(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.State: This method creates and returns an action instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
guard(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.StateMachine: * This method creates and returns a guard instance that is compatible with the chosen platform, i.e., adaptation for platforms different from Java 9 have to provide specific code.
Guard - Class in com.pauware.pauware_engine.Core: This concrete class represents the general notion of Guard in UML.
Guard(Object, String, Object[]) - Constructor for class com.pauware.pauware_engine.Core.Guard

H

hasForSuperState(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method indicates whether the argument state is a direct or indirect superstate of this.
hashCode() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is used when an action object is put in a map data structure as a key.
hashCode() - Method in class com.pauware.pauware_engine.Core.AbstractGuard: This method is used when a guard object is put in a map data structure as a key.
hashCode() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method is used when an AbstractStateMachine is put in a map data structure as a key.
hashCode() - Method in class com.pauware.pauware_engine.Core.Transition: This method is used when a transition object is put in a map data structure as a key.
hashCode_args() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is called by the AbstractAction.hashCode() method.

I

in_state(String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Management facility: this method is offered by a software component, which implements the Manageable_base interface.
in_state(String) - Method in interface com.pauware.pauware_engine.Core.Manageable_base: This method detects if a given state of a software component is active.
inputState() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method forces a state to be an input state.
Invariant_header_text - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For trace and visualization purposes: this class variable is used by the verbose mode.
is_deep_history() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method tests if a state is a (deep) history state.
is_shallow_history() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method tests if a state is a (shallow) history state.
isAndWith(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method indicates if two states are orthogonal (deep).
isInputState() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method tests if a state is an input state.
isOutputState() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method tests if a state is an output state.
isXorWith(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method indicates if two states are exclusive.

L

leaf() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method answers the question: is this state a leaf state (i.e., without direct or indirect substates) of the state machine?
lookup(String) - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method is called by AbstractStateMachine.to_state(String).

M

Manageable - Interface in com.pauware.pauware_engine.Core: This interface is a management utility, which can be implemented by a software component so that it can be accessed by means of Java Management eXtensions (JMX) in particular.
Manageable_base - Interface in com.pauware.pauware_engine.Core: This interface is a management utility, which can be implemented by a software component so that it can be accessed by means of Java Management eXtensions (JMX) in particular.

N

name() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method returns the name of a state.
name() - Method in interface com.pauware.pauware_engine.Core.Manageable_base: This method returns the preferred name of a software component to be managed by a naming service.
name(String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method enables the naming of a state.Caution: there is no naming checking in PauWare.For instance, naming two states with the same name would probably lead to unpredictable behaviors, even defects.
Neutral_character - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For visualization purposes only: this class variable is used by the PauWare2Web tool to replace unacceptable characters.
No_reentrance - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable is a constant value.
NONE - com.pauware.pauware_engine.Core.AbstractState._Cross_over

O

outputState() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method forces a state to be an output state.

P

PauWareTwo - module PauWareTwo
post_construct(AbstractStateMachine) - Method in interface com.pauware.pauware_engine.Core.AbstractStateMachine_listener: This method pushes (communicates) the initial structure of a state machine.
pre_destroy() - Method in interface com.pauware.pauware_engine.Core.AbstractStateMachine_listener: This method is called after a state machine has been stopped.
printable_action() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is called by the AbstractAction.verbose() method.
printable_object() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is called by the AbstractAction.verbose() method.
printable_result() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is called by the AbstractAction.verbose() method.
Pseudo_event - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable is a constant value ("pseudo-event"), which is used to name events by default.
Pseudo_result - Static variable in class com.pauware.pauware_engine.Core.AbstractAction: The default value is the "no result" String instance if there is no execution.
Pseudo_state - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable is a constant value ( "pseudo-state") which is used to name states by default.

R

Reentrance - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable is a constant value.
remove_listener(AbstractStateMachine_listener) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method removes a listener of the state machine; this method MUST be called BEFORE the state machine has stopped.
reset_entryAction(Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling reset_entryAction(object,action,null);.
reset_entryAction(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling reset_entryAction(object,action,args,AbstractState.No_reentrance);.
reset_entryAction(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method associates an action a with a state according to the following UML formalism: entry/ a.
reset_exitAction(Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling reset_exitAction(object,action,null);.
reset_exitAction(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling reset_exitAction(object,action,args,AbstractState.No_reentrance);.
reset_exitAction(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method associates an action a with a state according to the following UML formalism: exit/ a.
root() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method answers the question: is this state the most outer state of the state machine? The answer must always be false for an instance of the AbstractState type.
root() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method answers the question: is this state the most outer state of the state machine? The answer is always true for an instance of the AbstractStateMachine type.
run() - Method in class com.pauware.pauware_engine.Core.SendSignalAction: This method calls the Action.execute() method in order to synchronize (defer) the action execution with respect to any run-to-completion cycle that is in progress.
run_to_completion(String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method amounts to calling run_to_completion(event,AbstractStateMachine.Don_t_compute_invariants);
run_to_completion(String, boolean) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method is the key mechanism of the PauWare software; It moves a state machine from one stable consistent context to another.
run_to_completion(String, HashMap<Transition, Object[]>) - Method in interface com.pauware.pauware_engine.Core.AbstractStateMachine_listener: This method pushes (communicates) the detailed result of an execution (trace) in a verbose mode just after a state machine execution; it also communicates the effective triggered transitions.

S

SendSignalAction - Class in com.pauware.pauware_engine.Core: This concrete class represents the general notion of Action in UML, which consists in sending a signal.
SendSignalAction(Object, String, Object[]) - Constructor for class com.pauware.pauware_engine.Core.SendSignalAction
SendSignalAction_symbol - Static variable in class com.pauware.pauware_engine.Core.AbstractAction: This class variable is the symbol of an action, which sends a signal (an event).
Sequence_character - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable defines the sign for computing sequence.
set_args(Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method is called by the AbstractAction(Object,String,Object[]) constructor.
set_completion(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: Completion transitions (i.e., those without any event label) are automatically triggered when reaching output states.
set_entryAction(Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling set_entryAction(object,action,null);.
set_entryAction(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling set_entryAction(object,action,args,AbstractState.No_reentrance);.
set_entryAction(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method associates an action a with a state according to the following UML formalism: entry/ a.
set_exitAction(Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling set_exitAction(object,action,null);.
set_exitAction(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling set_exitAction(object,action,args,AbstractState.No_reentrance);.
set_exitAction(Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method associates an action a with a state according to the following UML formalism: exit/ a.
shallow_history() - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to configuring a state as a (shallow) history state: H notation.
shallowStateInvariant() - Method in class com.pauware.pauware_engine.Core.AbstractState: Internal use only; This method computes the invariant of a state, this state being active or not at call time.
Show_on_system_out - Static variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This class variable is a constant value which represents the fact that the verbose mode for event processing is activated.
SPAN - com.pauware.pauware_engine.Core.AbstractState._Cross_over
start() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method launches a state machine.
start(String) - Method in interface com.pauware.pauware_engine.Core.AbstractStateMachine_listener: This method is called when entering an entire state machine; it is called within the AbstractStateMachine.start() method.
State - Class in com.pauware.pauware_engine.Core: This concrete class represents the general notion of State in UML.
State(String) - Constructor for class com.pauware.pauware_engine.Core.State
State_based_exception - Exception in com.pauware.pauware_engine.Exceptions: This class is concerned with abnormal state configuration/structuring exceptions.
State_based_exception(String, AbstractState, AbstractState) - Constructor for exception com.pauware.pauware_engine.Exceptions.State_based_exception
State_exception - Exception in com.pauware.pauware_engine.Exceptions: This class creates a common supertype for the State_based_exception, Transition_based_exception and StateMachine_execution_exception classes.
State_exception(String) - Constructor for exception com.pauware.pauware_engine.Exceptions.State_exception
state_machine() - Method in interface com.pauware.pauware_engine.Core.Composable: This method returns the internal state machine of a software component.
State_name_separator - Static variable in class com.pauware.pauware_engine.Core.AbstractState: This class variable is a constant value which is used for the naming of states when state machines are composed.
stateInvariant(Object, String) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method amounts to calling stateInvariant(object,invariant,null);.
stateInvariant(Object, String, Object[]) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method associates an invariant with a state as proposed by the UML formalism.
StateMachine - Class in com.pauware.pauware_engine.Core: This concrete class represents the general notion of State Machine in UML.
StateMachine(AbstractState, String) - Constructor for class com.pauware.pauware_engine.Core.StateMachine
StateMachine(AbstractState, String, boolean) - Constructor for class com.pauware.pauware_engine.Core.StateMachine
StateMachine(AbstractState, String, boolean, AbstractStateMachine_listener) - Constructor for class com.pauware.pauware_engine.Core.StateMachine
StateMachine(AbstractState, String, boolean, AbstractStateMachine_listener, AbstractStateMachine_listener) - Constructor for class com.pauware.pauware_engine.Core.StateMachine
StateMachine_execution_exception - Exception in com.pauware.pauware_engine.Exceptions: This class is concerned with abnormal situations or failures when the PauWare engine is running.
StateMachine_execution_exception(String, Object) - Constructor for exception com.pauware.pauware_engine.Exceptions.StateMachine_execution_exception
stop() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method stops a state machine.
stop(String) - Method in interface com.pauware.pauware_engine.Core.AbstractStateMachine_listener: This method is called when exiting an entire state machine; it is called within the AbstractStateMachine.stop() method.

T

Textual_view_subject_separator - Static variable in class com.pauware.pauware_engine.Core.AbstractState: For visualization purposes only: this class variable is used for breaking into pieces textual views, which are later processed by the PauWare2Web tool.
time_out(long, AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor
time_out(long, AbstractState) - Method in interface com.pauware.pauware_engine.Core.Timed_component: This method is called when delay is elapsed.
time_out_error(State_exception) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor
time_out_error(State_exception) - Method in interface com.pauware.pauware_engine.Core.Timed_component: This method is called when timer services raise problems.
Timed_component - Interface in com.pauware.pauware_engine.Core: This interface is a utility that can be implemented by a software component which wants to have timer services at its disposal.
to() - Method in class com.pauware.pauware_engine.Core.Transition: This method is an accessor for the Transition._to field.
to_be_killed() - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method amounts to calling to_be_killed(null);.
to_be_killed(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method kills the unique timer (if any) associated with the context parameter.
to_be_reset(long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method amounts to calling to_be_reset(null,delay);.
to_be_reset(AbstractState, long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method amounts to killing the unique timer (if any) associated with the context parameter and next setting up this timer with the new delay parameter.
to_be_reset(AbstractState, Long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method is the same as AbstractTimer_monitor.to_be_reset(AbstractState,long); It guarantees compatibility with Java SE 1.4.x.
to_be_reset(Long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method is the same as AbstractTimer_monitor.to_be_reset(long); It guarantees compatibility with Java SE 1.4.x.
to_be_set(long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method amounts to calling to_be_set(null,delay);.
to_be_set(AbstractState, long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method is called by a software component when timer services are required.
to_be_set(AbstractState, Long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method is the same as AbstractTimer_monitor.to_be_set(AbstractState,long); It guarantees compatibility with Java SE 1.4.x.
to_be_set(Long) - Method in class com.pauware.pauware_engine.Core.AbstractTimer_monitor: This method is the same as AbstractTimer_monitor.to_be_set(long); It guarantees compatibility with Java SE 1.4.x.
to_PlantUML() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: For visualization purposes only: this method is used by the PauWare2Web tool to compute the state machine's visualization graph.
to_state(String) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Management facility: this method is offered by a software component, which implements the Manageable_base interface.
to_state(String) - Method in interface com.pauware.pauware_engine.Core.Manageable: This method forces a software component to move to a given state, thus forcing its orthogonal states and superstates to be also active.
to_UML() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method returns the action in the form of a UML-compliant string.
to_UML() - Method in class com.pauware.pauware_engine.Core.AbstractGuard: This method returns the guard in the form of a UML-compliant string.
to_UML() - Method in class com.pauware.pauware_engine.Core.SendSignalAction: This method returns the action in the form of a UML-compliant string.
to_UML(String, Transition, AbstractGuard) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: For visualization purposes only: this method may be used by the PauWare2Web tool.
Transition - Class in com.pauware.pauware_engine.Core: This class represents the general notion of Transition in UML.
Transition(AbstractState, AbstractState) - Constructor for class com.pauware.pauware_engine.Core.Transition: This constructor creates a transition instance requiring that from is not equal to null and to is not equal to null.
Transition_based_exception - Exception in com.pauware.pauware_engine.Exceptions: This class is concerned with abnormal transition configuration/structuring exceptions.
Transition_based_exception(String, AbstractState, AbstractState) - Constructor for exception com.pauware.pauware_engine.Exceptions.Transition_based_exception

U

unfires(String, AbstractState, AbstractState, boolean, Object, String, Object[], byte) - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: This method unregisters a transition labeled with an event name in a state machine (see: UML State Machine Diagrams formalism).

V

valueOf(String) - Static method in enum com.pauware.pauware_engine.Core.AbstractState._Cross_over: Returns the enum constant of this type with the specified name.
values() - Static method in enum com.pauware.pauware_engine.Core.AbstractState._Cross_over: Returns an array containing the constants of this enum type, in the order they are declared.
verbose() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method returns the detailed result of the action's execution, or the content of the AbstractAction.Pseudo_result class variable in case of the AbstractAction.execute() method has not yet been run.
verbose() - Method in class com.pauware.pauware_engine.Core.AbstractGuard: This method returns the detailed result of the guard's execution.
verbose() - Method in class com.pauware.pauware_engine.Core.AbstractStateMachine: Management facility: this method is offered by a software component, which implements the Manageable_base interface.
verbose() - Method in interface com.pauware.pauware_engine.Core.Manageable_base: This method returns the last result of a run-to-completion cycle plus the current state of a software component.
verify() - Method in class com.pauware.pauware_engine.Core.AbstractState: Management facility: this method is a utility for runtime checking.

W

wait_for_completion() - Method in class com.pauware.pauware_engine.Core.AbstractAction: This method allows the possibility of waiting for actions to complete.
wait_for_completion() - Method in class com.pauware.pauware_engine.Core.Action: This method allows the possibility of waiting for actions to complete.
wait_for_completion() - Method in class com.pauware.pauware_engine.Core.Do_activity: This method indefinitely waits for an activity to complete.
WEIRD - com.pauware.pauware_engine.Core.AbstractState._Cross_over

X

xor(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: This method makes two states exclusive.

_

_action - Variable in class com.pauware.pauware_engine.Core.AbstractAction: This field represents the action itself.
_action - Variable in class com.pauware.pauware_engine.Core.AbstractGuard: The action to be evaluated.
_active - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records if a state is active.
_allowed_events - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records the allowed events of a state with their possible associated guards and their respective associated actions.
_AND - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_args - Variable in class com.pauware.pauware_engine.Core.AbstractAction: This field represents the action's arguments.
_compute_state_views(Map<String, Set<String>>) - Method in class com.pauware.pauware_engine.Core.AbstractState: For visualization purposes only: this recursive method is internally called by the AbstractStateMachine.to_PlantUML() method to compute the state views of the state machine.
_cross_over(AbstractState) - Method in class com.pauware.pauware_engine.Core.AbstractState: For visualization purposes only, private use
_current_state - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field records the state of a state machine computed within of a run-to-completion step.
_do - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records the activity, if any, associated with a state.
_eliminated_transitions - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field records, during a run-to-completion cycle, the transitions to be eliminated.
_entry - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records the action(s), if any, associated with a state when entering it.
_execution - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field represents all of the eligible transitions of a given run-to-completion cycle.
_exit - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records the action(s), if any, associated with a state when exiting it.
_from - Variable in class com.pauware.pauware_engine.Core.Transition: This state at the source of the transition.
_inputState - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records if a state is an input state.
_invariant - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records the invariant, if any, associated with a state.
_left - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field organizes a state machine as a binary tree.
_Left_parenthesis - Static variable in class com.pauware.pauware_engine.Core.AbstractState: Management facility: this method is offered by a software component, which implements the Manageable_base interface.
_listeners - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field records listeners, if any, for the software component that owns the state machine.
_name - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records the name of a state.
_node - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field organizes a state machine as a binary tree.
_object - Variable in class com.pauware.pauware_engine.Core.AbstractAction: This field represents the object in charge of executing the action.
_outputState - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records if a state is an output state.
_PlantUML_entry_point - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_exit_point - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_state - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_state_entry_point - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_state_exit_point - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_transition - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_transition_ - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_PlantUML_transition_execution - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_result - Variable in class com.pauware.pauware_engine.Core.AbstractAction: This field represents the action's result, if already executed.
_right - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field organizes a state machine as a binary tree.
_Right_parenthesis - Static variable in class com.pauware.pauware_engine.Core.AbstractState
_show_on_system_out - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field records the chosen verbose mode associated with the state machine.
_thread - Variable in class com.pauware.pauware_engine.Core.SendSignalAction: This field refers to the action (if any) being executed; it corresponds to sending a signal.
_to - Variable in class com.pauware.pauware_engine.Core.Transition: This state at the end of the transition.
_transitions - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field represents all of the cached transitions of the state machine.
_Undefined - Static variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This class variable is a constant value which represents the fact that the state machine's current state is not yet defined.
_value - Variable in class com.pauware.pauware_engine.Core.AbstractGuard: The result of the guard's evaluation.
_verbose - Variable in class com.pauware.pauware_engine.Core.AbstractStateMachine: This field records the result of an event occurrence processing within a run-to-completion step.
_xor - Variable in class com.pauware.pauware_engine.Core.AbstractState: This field records if the two direct substates of this state are exclusive or orthogonal.

A B C D E F G H I L M N O P R S T U V W X _
All Classes|All Packages