source-academy / frontend / 8593323586

push

github

Java slang (#2895)

* add java-slang support

* merge master

* remove lib import

* fix library import path

* remove fixme comment

* use java-slang package

* use js-slang enums

* revert yarn lock

* use cdn

* clean up code structure

* read input as json

* fix editor suggestions

* refactor async load

* move url to constants

* fix typo

* fix buffer, JSON error handling

* update js-slang

* specify module name

---------

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>
Co-authored-by: Richard Dominick <34370238+RichDom2185@users.noreply.github.com>

1915 of 6399 branches covered (29.93%)

Branch coverage included in aggregate %.

4 of 62 new or added lines in 6 files covered. (6.45%)

5180 of 13723 relevant lines covered (37.75%)

22.65 hits per line