package Ġru . fix . comp letable . reactor . model . validation Ċ Ċ import Ġru . fix . comp letable . reactor . model . Compile Time Graph ĊĊ Ċ class ĠAt Least One EndPoint Exist Validator Ġ: ĠValidator Ġ{ ĊĊĠĠĠ Ġoverride Ġfun Ġvalidate ( graph : ĠCompile Time Graph ): ĠValidation Result Ġ{ ĊĊĠĠĠĠĠĠĠ Ġreturn Ġif Ġ( graph . transition able ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. values ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. as Sequence () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. flatMap Ġ{ Ġit . transitions . as Sequence () Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. none Ġ{ Ġit . is Complete Ġ}) Ġ{ ĊĊĠĠĠĠĠĠĠĠĠĠĠ ĠValidation Failed ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ""" ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠThere Ġare Ġno ĠEnd Points Ġin Ġgraph . ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠGraph Ġshould Ġcontain Ġat Ġleast Ġone Ġterminal Ġtransition . ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠAdd Ġcomplete () Ġstep Ġto Ġat Ġleast Ġone Ġvertex . ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ""" . trim Indent ()) ĊĊĠĠĠĠĠĠĠ Ġ} Ġelse Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠValidation Suc ceed () ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }