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

State

class State( val name: String, val isStart: Boolean = false, var isAcceptingState: Boolean = false) : Cloneable

A simple class representing a state in an FSM.

name is the name of the State and must be unique for the FSM.
isStart indicates if it is the starting state.
isAcceptingState indicates if this State accepts the FSM (in our case, this means that the order of statements was correct).

Constructors

State

fun State( name: String, isStart: Boolean = false, isAcceptingState: Boolean = false)

Functions

addOutgoingEdge

fun addOutgoingEdge(edge: BaseOpEdge)

clone

open override fun clone(): State

cloneRecursively

fun cloneRecursively(currentStates: MutableSet<State> = mutableSetOf()): MutableSet<State>

equals

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

hashCode

open override fun hashCode(): Int

nextNodeWithLabelOp

fun nextNodeWithLabelOp(op: String): Pair<State, BaseOpEdge>?

Returns a Pair holding the next State when the edge with the operation op is executed and the BaseOpEdge which is executed. If no matching edge exists for this State, returns null.

toString

open override fun toString(): String

Properties

isAcceptingState

var isAcceptingState: Boolean = false

isStart

val isStart: Boolean = false

name

val name: String

outgoingEdges

val outgoingEdges: MutableSet<BaseOpEdge>