cpg-analysis/de.fraunhofer.aisec.cpg.analysis.fsm/FSM

FSM

sealed class FSM

A representation of a generic finite state automaton. Can either a NFA or a DFA.

Inheritors

DFA

NFA

Properties

states

val states: Set<State>

Functions

addEdge

fun addEdge(from: State, edge: Edge)

Creates an edge between two nodes with a given label (operator and optional base).

addState

fun addState(isStart: Boolean = false, isAcceptingState: Boolean = false): State

Generates a new state and adds it to this FSM.

changeStateProperty

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

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 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

abstract fun copy(): FSM

Creates a shallow copy.

deepCopy

open fun deepCopy(): FSM

Creates a deep copy of this FSM 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

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.