source-academy / frontend / 21937474559

41%

Build Type

push

github

Committed by web-flow

Commit Message

CSE Machine Liveness (#3570)

* WEEK - 3

	1. Added a set of strings to CSELayout to have only those env IDs which are supposed to be live.
	2. Adding a live defn in SetContext of CSELayout
	3. Edited the draw() method in Frame()
		added another import statement for the FADED thing from 'Utils -> Config'
	4. Adding methods for REAL liveness analysis in CseMachineUtils.ts
	5. Edited the Binding() class and added an isLive() flag JUST like Frame for finding out if its live or not

ToDO
	Make arrows and text other bindings also yellow (dead) somehow and UNDERSTAND how garbage collection is working!!
	Whats that error huh?

* Updated GenericArrow for Liveness

- Updated such that GenericArrows pointing FROM a Frame will check if the source Frame is live/dead, and change colours accordingly. Usually applies to ArrowFromFrame.

- Need to fix: arrows pointing from function objects and arrays also count as pointing from Frames? And all arrows pointing from function objects and arrays turn yellow (even from alive func objects and arrays).

* WEEK 4

This commit made the following changes
1. The function values now FADE as required (along with the hoverable text)
2. Added a instance variable called isLive for GenericArrow that's by default false
	Every subclass of GenericArrow including all the ArrowFromXXXXXX files now override the constructor with their own updates to
	isLive since here the source of the arrow is clear as dictated by the foundation class in the main Arrow.tsx file

	In the GenericArrow.draw() method which is NEVER overridden, we draw based on the isLive attribute
3. Unpacked the MIRACLE : It was heap reachability and isReferenced() func in action
4. Added a function to ArrayValue that tells us if its live or not using isReferenced and enclosingFrame
5. All arrows that have functions/arrays/pairs/ContValues/Frames as sources are live/dead based on the source's live/dead status now
6. All arrayUnits and arrayValues now fade based on whether an ... (continued)

Run Details

2123 of 6124 branches covered (34.67%)

Branch coverage included in aggregate %.

141 of 146 new or added lines in 22 files covered. (96.58%)

8 existing lines in 2 files now uncovered.

5242 of 11878 relevant lines covered (44.13%)

28.03 hits per line