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

name

var name: Int

Must only be changed through FSM.changeStateProperty as soon as they are part of a FSM.