search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
256 stars 91 forks source link

Change Type Casting Functions to Classes #283

Open Eric-Vin opened 1 week ago

Eric-Vin commented 1 week ago

Description

Changes type casting functions to classes to support type checking in Scenic and Python.

Issue Link

N/A

Checklist

Additional Notes

N/A

codecov[bot] commented 6 days ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.23%. Comparing base (d7679fb) to head (44d0033). Report is 1 commits behind head on main.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/283/graphs/tree.svg?width=650&height=150&src=pr&token=HN3J4Y6F89&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/283?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify) ```diff @@ Coverage Diff @@ ## main #283 +/- ## ========================================== - Coverage 91.32% 91.23% -0.10% ========================================== Files 54 54 Lines 13515 13520 +5 ========================================== - Hits 12343 12335 -8 - Misses 1172 1185 +13 ``` | [Files](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/283?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify) | Coverage Δ | | |---|---|---| | [src/scenic/syntax/compiler.py](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/283?src=pr&el=tree&filepath=src%2Fscenic%2Fsyntax%2Fcompiler.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify#diff-c3JjL3NjZW5pYy9zeW50YXgvY29tcGlsZXIucHk=) | `98.45% <100.00%> (+0.01%)` | :arrow_up: | | [src/scenic/syntax/veneer.py](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/283?src=pr&el=tree&filepath=src%2Fscenic%2Fsyntax%2Fveneer.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify#diff-c3JjL3NjZW5pYy9zeW50YXgvdmVuZWVyLnB5) | `91.22% <100.00%> (-0.12%)` | :arrow_down: | ... and [3 files with indirect coverage changes](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/283/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)