Safely change a property of a state contained in this FSM. Before changing the property, this method makes sure that e.g., no other start state exists or that no other state already has the suggested name.

checkedChangeStateProperty

fun checkedChangeStateProperty(state: State, name: Int? = null, isStart: Boolean? = null, isAcceptingState: Boolean? = null)

Same as changeStateProperty but throws an IllegalStateException if the property could not be changed.

checkEdge

open override fun checkEdge(state: State, edge: Edge)

This function is set as State.edgeCheck inside addState. In case the edge must not be added to the state, this function must throw an exception.

copy

open override fun copy(): DFA

Create a shallow copy

deepCopy

open override fun deepCopy(): DFA

Creates a deep copy the DFA to enable multiple independent branches of execution.

equals

open operator override fun equals(other: Any?): Boolean

Checks whether the given object is an FSM and whether it accepts the same language as this FSM

hashCode

open override fun hashCode(): Int

initializeOrderEvaluation

fun initializeOrderEvaluation(cpgNode: Node)

Associates the start state with a cpgNode.

makeTransitionWithOp

fun makeTransitionWithOp(op: Set<String>, cpgNode: Node): Boolean

Checks if the transition with operator op is possible from the current state of the FSM. If so, it updates the state of the FSM and returns true. If no transition is possible, returns false. Collects the old state, the edge and the cpgNode in the executionTrace in a Trace and appends it to the executionTrace

renameStatesToBeDifferentFrom

fun renameStatesToBeDifferentFrom(otherFsm: FSM)

toDotString

fun toDotString(): String

Generates the string representing this FSM in DOT format. This allows a simple visualization of the resulting automaton.