Module PauWareTwo

Package com.pauware.pauware_engine.Core

Class State

java.lang.Object

com.pauware.pauware_engine.Core.AbstractState

com.pauware.pauware_engine.Core.State

All Implemented Interfaces:

java.io.Serializable

public class State
extends AbstractState
implements java.io.Serializable

This concrete class represents the general notion of State in UML.

Compatibility: Java 9.

Since:

1.0

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class com.pauware.pauware_engine.Core.AbstractState

AbstractState._Cross_over

Field Summary

Fields inherited from class com.pauware.pauware_engine.Core.AbstractState

_active, _allowed_events, _AND, _do, _entry, _exit, _inputState, _invariant, _left, _Left_parenthesis, _name, _node, _outputState, _PlantUML_entry_point, _PlantUML_exit_point, _PlantUML_state, _PlantUML_state_entry_point, _PlantUML_state_exit_point, _PlantUML_transition, _PlantUML_transition_, _PlantUML_transition_execution, _right, _Right_parenthesis, _xor, Activated_state_display_message, Allow_header_text, Allowed_event_display_message, Completion, Disactivated_state_display_message, Do_activity_display_message, Do_header_text, Entry_action_display_message, Entry_header_text, Exit_action_display_message, Exit_header_text, Invariant_header_text, Neutral_character, No_reentrance, Pseudo_event, Pseudo_state, Reentrance, Sequence_character, State_name_separator, Textual_view_subject_separator

Constructor Summary

Constructors

Constructor	Description
State(java.lang.String name)

Method Summary

Modifier and Type	Method	Description
protected AbstractAction	action(java.lang.Object object, java.lang.String action, java.lang.Object[] args, byte reentrance_mode)	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.
protected AbstractAction	activity(java.lang.Object object, java.lang.String action, java.lang.Object[] args)	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.
protected AbstractState	createFather()	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.
protected AbstractGuard	guard(java.lang.Object guard_object, java.lang.String guard_action, java.lang.Object[] guard_args)	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.

Methods inherited from class com.pauware.pauware_engine.Core.AbstractState

_compute_state_views, _cross_over, active, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, allowedEvent, ancestor, and, and, brother, Clean_up, commonSuperWith, current_state, deep_history, deepStateInvariant, doActivity, doActivity, entry, exit, fictitious, get_allowed_events_label, get_do_label, get_invariant_label, hasForSuperState, inputState, is_deep_history, is_shallow_history, isAndWith, isInputState, isOutputState, isXorWith, leaf, lookup, name, name, outputState, reset_entryAction, reset_entryAction, reset_entryAction, reset_exitAction, reset_exitAction, reset_exitAction, root, set_completion, set_entryAction, set_entryAction, set_entryAction, set_exitAction, set_exitAction, set_exitAction, shallow_history, shallowStateInvariant, stateInvariant, stateInvariant, verify, xor

Methods inherited from class java.lang.Object

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

Constructor Details

State

public State(java.lang.String name)

Parameters:

name -

See Also:

AbstractState(String)

Method Details

action

protected AbstractAction action(java.lang.Object object,
java.lang.String action,
java.lang.Object[] args,
byte reentrance_mode)

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.

Specified by:

action in class AbstractState

Parameters:

object -

action -

args -

reentrance_mode -

Returns:

This is an instance of Action if the reentrance_mode parameter is equal to AbstractState.No_reentrance; Otherwise, it is an instance of SendSignalAction.

See Also:

Action

activity

protected AbstractAction activity(java.lang.Object object,
java.lang.String action,
java.lang.Object[] args)

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.

Specified by:

activity in class AbstractState

Parameters:

object -

action -

args -

Returns:

This is an instance of Do_activity.

See Also:

Action

guard

protected AbstractGuard guard(java.lang.Object guard_object,
java.lang.String guard_action,
java.lang.Object[] guard_args)

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.

Specified by:

guard in class AbstractState

Parameters:

guard_object -

guard_action -

guard_args -

Returns:

This is an instance of Guard.

See Also:

Guard

createFather

protected AbstractState createFather()

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.

Specified by:

createFather in class AbstractState

Returns:

This is an instance of State.