org.vishia.fbcl.fblock

Class StateTransCond

java.lang.Object

org.vishia.fbcl.fblock.Block_FBcl

org.vishia.fbcl.fblock.FBlock_FBcl

org.vishia.fbcl.fblock.FBexpr_FBcl

org.vishia.fbcl.fblock.StateTransCond

public class StateTransCond
extends FBexpr_FBcl

This describes a transition between State_FBcl in a state machine. It is derived from FBexpr_FBcl to use all possibilities to build an expression for the condition. But of course only a boolean result can be pragmatically built and used.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StateTransCond.StateEvout

Nested classes/interfaces inherited from class org.vishia.fbcl.fblock.FBlock_FBcl

FBlock_FBcl.Blocktype, FBlock_FBcl.WriteFB

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<StateTransCond.StateEvout>	evStatesLeave The list contains in forward order the states to exit, first the inner state.
private java.util.List<StateTransCond.StateEvout>	evStatesSet The list contains in forward order the states to enter, first the outer state.
State_FBcl	stateCommonParent
private java.util.List<State_FBcl>	statesDst Destination state(s), only one if it is not a transition for fork to parallel states.
private java.util.List<State_FBcl>	statesSrc Source state(s), only one if it is not a transition for join from parallel states.

Fields inherited from class org.vishia.fbcl.fblock.FBexpr_FBcl

bCastoutput, bFullDTypePropagatedDin, bhasInputs, cmp2Operators, cOpSetExpr, cOpTextExpr, dTypeAllDin, limitOperators, mdlcr, nrBitTrueFalse, shiftOperators

Fields inherited from class org.vishia.fbcl.fblock.FBlock_FBcl

din, dout, doutempty, dTypes, evin, evout, fbt, graphicPos, ixSlice, mdl, port, reference, sizeArrayFB, sOperators, steptime, sVersion, XXXfbPinDst, XXXfbPinSrc

Fields inherited from class org.vishia.fbcl.fblock.Block_FBcl

graphicIntPos, name

Constructor Summary

Constructors

Constructor and Description
StateTransCond(FBtype_FBcl typeFb, java.lang.String name, Module_FBcl.CreateMdl parentModule, XY_FBcl graphicPos)

Method Summary

Modifier and Type	Method and Description
void	addStateDst(State_FBcl st)
void	addStatesLeave(java.util.List<StateTransCond.StateEvout> statesLeaveNew)
void	addStateSrc(State_FBcl st)
void	addStatesSet(java.util.List<StateTransCond.StateEvout> statesSetNew)
boolean	isForkStates()
boolean	isJoinStates()
java.lang.Iterable<State_FBcl>	iterStateDst() All states, often only one which is the conditional destination state.
java.lang.Iterable<StateTransCond.StateEvout>	iterStateLeave() All states which are to leave if the transition switches.
java.lang.Iterable<StateTransCond.StateEvout>	iterStateSet() All states which are to set if the transition switches.
java.lang.Iterable<State_FBcl>	iterStateSrc() All states, often only one which is the conditional source state.

Methods inherited from class org.vishia.fbcl.fblock.FBexpr_FBcl

adjustFBexrFnDtypes, cAccess, castOutput, cOp, dTypeAllDin, dtypeExprOut, dtypeIxMdlExprOut, getAccess, getFirstDout, getFunction, hasInputs, iterDinExpr, setAccess, setCastOutput, setDTypeAllDin, setExprPinFromPinsExprFn, setFunction, setHasInputs, setOperation, setOperatorToPins

Methods inherited from class org.vishia.fbcl.fblock.FBlock_FBcl

din, dinForeach, dout, doutForeach, dtNonArrayFB, dTypes, evin, evin, evout, evout, fbt, getFbPinSrc, getNrofConnin, getNrofConnout, getNrofDin, getNrofDout, getNrofEvin, getNrofEvout, getOut1Properties, getPin, getPinEvInByName, getPinEvOutByName, getPinInByName, getPinOutByName, getSteptime, getSteptimeStr, getTypeFB, isKind, iterEvout, iterEvout, iterPins, ixSlice, kind, kindWhatis, setDtypeInFBlock, setSizeArray, setSliceIndex, sizeArray, sizeArray, toString, typeName, XXXgetConnin, XXXgetConnout

Methods inherited from class org.vishia.fbcl.fblock.Block_FBcl

addGpos, name, setName

Methods inherited from class java.lang.Object

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

Field Detail

statesSrc

private java.util.List<State_FBcl> statesSrc

Source state(s), only one if it is not a transition for join from parallel states. This is the often used case. If more, then the transition is a join transition.

statesDst

private java.util.List<State_FBcl> statesDst

Destination state(s), only one if it is not a transition for fork to parallel states. This is the often used case. If more, then the transition is a fork transition.

evStatesLeave

private java.util.List<StateTransCond.StateEvout> evStatesLeave

The list contains in forward order the states to exit, first the inner state. It does not contain the common parent state. All State_FBcl members in this list are deactivated on execute of the transition from #stateSrc. It is also possible to come from a a parallel state. Then the states to leave are in the proper order, first one bough, then the other(s) till a common state is reached, then from the common to the last before common parent.

evStatesSet

private java.util.List<StateTransCond.StateEvout> evStatesSet

The list contains in forward order the states to enter, first the outer state. It does not contain the common parent state. All State_FBcl members in this list are activated on execute of the transition from #stateDst. It is also possible to go into parallel states. Then the states to set are in the proper order, first from outer to the last common, then each bough one after another.

stateCommonParent

public State_FBcl stateCommonParent

Constructor Detail

StateTransCond

public StateTransCond(FBtype_FBcl typeFb,
                      java.lang.String name,
                      Module_FBcl.CreateMdl parentModule,
                      XY_FBcl graphicPos)

Method Detail

addStateSrc

public void addStateSrc(State_FBcl st)

addStateDst

public void addStateDst(State_FBcl st)

addStatesLeave

public void addStatesLeave(java.util.List<StateTransCond.StateEvout> statesLeaveNew)

addStatesSet

public void addStatesSet(java.util.List<StateTransCond.StateEvout> statesSetNew)

iterStateSrc

public java.lang.Iterable<State_FBcl> iterStateSrc()

All states, often only one which is the conditional source state. It is is one and this is not a nested state, this return is identically with iterStateLeave().

Returns:

isJoinStates

public boolean isJoinStates()

iterStateDst

public java.lang.Iterable<State_FBcl> iterStateDst()

All states, often only one which is the conditional destination state. It is is one and this is not a nested state, this return is identically with iterStateSet().

Returns:

isForkStates

public boolean isForkStates()

iterStateLeave

public java.lang.Iterable<StateTransCond.StateEvout> iterStateLeave()

All states which are to leave if the transition switches.

Returns:

in the order of Iterator#next().

iterStateSet

public java.lang.Iterable<StateTransCond.StateEvout> iterStateSet()

All states which are to set if the transition switches.

Returns:

in the order of Iterator#next().