This commit is contained in:
2026-06-19 17:25:01 +02:00
parent 198c5d830e
commit ba412b905e
3 changed files with 36 additions and 0 deletions

View File

@@ -34,4 +34,27 @@ public class OrderController {
stateMachineService.sendMessage(OrderEvent.CANCEL);
return "Order cancel event sent";
}
// --- Functional Quirks for Static Analysis ---
// A getter returning a specific ENUM constant
public OrderEvent getCompleteEvent() {
return OrderEvent.COMPLETE;
}
// A specific function that performs the transition
public Void triggerTransitionFunction(click.kamil.domain.IEvent event) {
stateMachineService.sendMessage(event);
return null;
}
@PostMapping("/functional-complete")
public String functionalCompleteOrder() {
// Pass the getter and the transition applier as method references
stateMachineService.executeFunctionalTransition(
this::getCompleteEvent,
this::triggerTransitionFunction
);
return "Functional complete event triggered via method references";
}
}