research/statebuddy
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix typescript error

Browse source
This commit is contained in:
Joeri Exelmans 2025-11-06 19:53:43 +01:00
parent 3c302a83c5
commit 5b48895c94
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/App/App.tsx
View file

@ -64,6 +64,7 @@ type CoupledState = {
export type BigStepCause = { export type BigStepCause = {
kind: "init", kind: "init",
simtime: 0,
} | { } | {
kind: "input", kind: "input",
simtime: number, simtime: number,
@ -161,7 +162,7 @@ export function App() {
const onInit = useCallback(() => { const onInit = useCallback(() => {
if (cE === null) return; if (cE === null) return;
const metadata = {simtime: 0, cause: {kind: "init" as const}}; const metadata = {simtime: 0, cause: {kind: "init" as const, simtime: 0 as const}};
try { try {
const [outputEvents, state] = cE.initial(); // may throw if initialing the statechart results in a RuntimeError const [outputEvents, state] = cE.initial(); // may throw if initialing the statechart results in a RuntimeError
setTrace({ setTrace({
@ -504,7 +505,7 @@ export function App() {
<CachedOutlinedIcon fontSize="small"/> <CachedOutlinedIcon fontSize="small"/>
</button> </button>
&nbsp; &nbsp;
<span style={{display:'inline-block', width: 26, fontSize: 9}}>{(Math.floor(savedTrace[1].at(-1).simtime/1000))}s</span> <span style={{display:'inline-block', width: 26, fontSize: 9}}>{(Math.floor(savedTrace[1].at(-1)!.simtime/1000))}s</span>
<span style={{display:'inline-block', width: 22, fontSize: 9}}>({savedTrace[1].length})</span> <span style={{display:'inline-block', width: 22, fontSize: 9}}>({savedTrace[1].length})</span>
&nbsp; &nbsp;
<input title="name of the trace (only for humans - names don't have to be unique or anything)" type="text" value={savedTrace[0]} style={{width: 'calc(100% - 124px)'}} onChange={e => setSavedTraces(savedTraces => savedTraces.toSpliced(i, 1, [e.target.value, savedTraces[i][1]]))}/> <input title="name of the trace (only for humans - names don't have to be unique or anything)" type="text" value={savedTrace[0]} style={{width: 'calc(100% - 124px)'}} onChange={e => setSavedTraces(savedTraces => savedTraces.toSpliced(i, 1, [e.target.value, savedTraces[i][1]]))}/>