small changes
This commit is contained in:
parent
d4930eb13d
commit
9401c02800
5 changed files with 11 additions and 17 deletions
|
|
@ -30,7 +30,6 @@ export function App() {
|
||||||
|
|
||||||
function onInit() {
|
function onInit() {
|
||||||
const config = initialize(ast);
|
const config = initialize(ast);
|
||||||
console.log('runtime: ', rt);
|
|
||||||
setRT([{inputEvent: null, simtime: 0, ...config}]);
|
setRT([{inputEvent: null, simtime: 0, ...config}]);
|
||||||
setRTIdx(0);
|
setRTIdx(0);
|
||||||
setTime({kind: "paused", simtime: 0});
|
setTime({kind: "paused", simtime: 0});
|
||||||
|
|
|
||||||
|
|
@ -33,5 +33,11 @@ export function DiamondSVG(props: { diamond: Diamond; selected: string[]; highli
|
||||||
<DiamondShape size={minSize} extraAttrs={extraAttrs}/>
|
<DiamondShape size={minSize} extraAttrs={extraAttrs}/>
|
||||||
|
|
||||||
<RectHelper uid={props.diamond.uid} size={minSize} highlight={props.highlight} selected={props.selected} />
|
<RectHelper uid={props.diamond.uid} size={minSize} highlight={props.highlight} selected={props.selected} />
|
||||||
|
|
||||||
|
<text x={minSize.x/2} y={minSize.y/2}
|
||||||
|
className="uid"
|
||||||
|
textAnchor="middle"
|
||||||
|
data-uid={props.diamond.uid}>{props.diamond.uid}</text>
|
||||||
|
|
||||||
</g>;
|
</g>;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -73,8 +73,5 @@ export function RectHelper(props: { uid: string, size: Vec2D, selected: string[]
|
||||||
r={CORNER_HELPER_RADIUS}
|
r={CORNER_HELPER_RADIUS}
|
||||||
data-uid={props.uid}
|
data-uid={props.uid}
|
||||||
data-parts="bottom left" />
|
data-parts="bottom left" />
|
||||||
<text x={10} y={20}
|
|
||||||
className="uid"
|
|
||||||
data-uid={props.uid}>{props.uid}</text>
|
|
||||||
</>;
|
</>;
|
||||||
}
|
}
|
||||||
|
|
@ -34,5 +34,10 @@ export function RountangleSVG(props: { rountangle: Rountangle; selected: string[
|
||||||
<RectHelper uid={uid} size={minSize}
|
<RectHelper uid={uid} size={minSize}
|
||||||
selected={props.selected}
|
selected={props.selected}
|
||||||
highlight={props.highlight} />
|
highlight={props.highlight} />
|
||||||
|
|
||||||
|
<text x={10} y={20}
|
||||||
|
className="uid"
|
||||||
|
data-uid={props.rountangle.uid}>{props.rountangle.uid}</text>
|
||||||
|
|
||||||
</g>;
|
</g>;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -57,7 +57,6 @@ export class Environment {
|
||||||
])));
|
])));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
console.log(this.scopes);
|
|
||||||
return new Environment(this.scopes.with(-1, new Map([
|
return new Environment(this.scopes.with(-1, new Map([
|
||||||
...this.scopes[this.scopes.length-1].entries(),
|
...this.scopes[this.scopes.length-1].entries(),
|
||||||
[key, value],
|
[key, value],
|
||||||
|
|
@ -94,18 +93,6 @@ export class Environment {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// console.log('env...');
|
|
||||||
// let env = new Environment();
|
|
||||||
// env = env.set("a", 1);
|
|
||||||
// env = env.set("b", 2);
|
|
||||||
// env = env.pushScope();
|
|
||||||
// console.log(env.get("a")); // 1
|
|
||||||
// env = env.newVar("a", 99);
|
|
||||||
// console.log(env.get("a")); // 99
|
|
||||||
// env = env.popScope();
|
|
||||||
// console.log(env.get("a")); // 1
|
|
||||||
// console.log('end env...');
|
|
||||||
|
|
||||||
export type RT_Statechart = {
|
export type RT_Statechart = {
|
||||||
mode: Mode;
|
mode: Mode;
|
||||||
environment: Environment;
|
environment: Environment;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue