toggle menu
cpg
main
jvm
switch theme
search in API
cpg-analysis
/
de.fraunhofer.aisec.cpg.analysis.fsm
/
Edge
/
nextState
next
State
val
nextState
:
State