Constant Field Values

Contents

• com.pauware.*

com.pauware.*

com.pauware.pauware_engine.Core.AbstractAction

Modifier and Type	Constant Field	Value
public static final java.lang.String	Pseudo_result	"no result"
public static final java.lang.String	SendSignalAction_symbol	"^"

com.pauware.pauware_engine.Core.AbstractState

Modifier and Type	Constant Field	Value
protected static final java.lang.String	_AND	".AND."
protected static final char	_Left_parenthesis	40
protected static final java.lang.String	_PlantUML_entry_point	" <<entryPoint>>\n"
protected static final java.lang.String	_PlantUML_exit_point	" <<exitPoint>>"
protected static final java.lang.String	_PlantUML_state	"state "
protected static final java.lang.String	_PlantUML_state_entry_point	"_____"
protected static final java.lang.String	_PlantUML_state_exit_point	"....."
protected static final java.lang.String	_PlantUML_transition	" --> "
protected static final java.lang.String	_PlantUML_transition_	" -[#magenta,dashed]-> "
protected static final java.lang.String	_PlantUML_transition_execution	" : "
protected static final char	_Right_parenthesis	41
public static final java.lang.String	Activated_state_display_message	"\tACTIVATED STATE: "
public static final java.lang.String	Allow_header_text	"allow: "
public static final java.lang.String	Allowed_event_display_message	"\tALLOWED EVENT: "
public static final java.lang.String	Completion	"completion"
public static final java.lang.String	Disactivated_state_display_message	"\tDISACTIVATED STATE: "
public static final java.lang.String	Do_activity_display_message	"\tDO ACTIVITY: "
public static final java.lang.String	Do_header_text	"do/ "
public static final java.lang.String	Entry_action_display_message	"\tENTRY ACTION: "
public static final java.lang.String	Entry_header_text	"entry/ "
public static final java.lang.String	Exit_action_display_message	"\tEXIT ACTION: "
public static final java.lang.String	Exit_header_text	"exit/ "
public static final java.lang.String	Invariant_header_text	"invariant: "
public static final char	Neutral_character	95
public static final byte	No_reentrance	-128
public static final java.lang.String	Pseudo_event	"pseudo-event"
public static final java.lang.String	Pseudo_state	"pseudo-state"
public static final byte	Reentrance	-127
public static final char	Sequence_character	59
public static final java.lang.String	State_name_separator	"::"
public static final java.lang.String	Textual_view_subject_separator	"@"

com.pauware.pauware_engine.Core.AbstractStateMachine

Modifier and Type	Constant Field	Value
protected static final java.lang.String	_Undefined	"Undefined"
public static final boolean	Compute_invariants	true
public static final boolean	Don_t_compute_invariants	false
public static final boolean	Don_t_show_on_system_out	false
public static final boolean	Show_on_system_out	true