Implement runtime type checker on SemTypes

[heshanpadmasiri]

Purpose

This supersedes #43260, #43259, #43251, #43240, #43225, #43203, #43190, #42870, #42841, #43140, #42847, #42794

Fixes #42258, #42802, #42871, #43107, #43248, #43235, #43236, #43237, #43204, #43200, #43116, #42869, #42814

Approach

Describe how you are implementing the solutions along with the design details.

Samples

Provide high-level details about the samples related to this feature.

Remarks

List any other known issues, related PRs, TODO items, or any other notes related to the PR.

Check List

• [ ] Read the Contributing Guide
• [ ] Updated Change Log
• [ ] Checked Tooling Support (#<Issue Number>)
• [ ] Added necessary tests
  • [ ] Unit Tests
  • [ ] Spec Conformance Tests
  • [ ] Integration Tests
  • [ ] Ballerina By Example Tests
• [ ] Increased Test Coverage
• [ ] Added necessary documentation
  • [ ] API documentation
  • [ ] Module documentation in Module.md files
  • [ ] Ballerina By Examples

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 76.15110% with 1067 lines in your changes missing coverage. Please review.

Project coverage is 77.38%. Comparing base (ce35671) to head (16e830d). Report is 1 commits behind head on nutcracker.

Files with missing lines	Patch %	Lines
...a/io/ballerina/runtime/api/types/semtype/Core.java	71.53%	51 Missing and 23 partials :warning:
...runtime/internal/types/semtype/BStringSubType.java	60.30%	42 Missing and 10 partials :warning:
...untime/internal/types/semtype/BBooleanSubType.java	26.08%	34 Missing and 17 partials :warning:
...na/runtime/internal/types/semtype/BIntSubType.java	77.14%	26 Missing and 14 partials :warning:
...rina/runtime/internal/types/semtype/BListProj.java	60.63%	28 Missing and 9 partials :warning:
...untime/internal/types/semtype/BDecimalSubType.java	43.75%	27 Missing and 9 partials :warning:
...a/runtime/api/types/semtype/PredefinedTypeEnv.java	88.53%	30 Missing and 2 partials :warning:
...ime/internal/types/semtype/BCellSubTypeSimple.java	43.63%	27 Missing and 4 partials :warning:
...va/io/ballerina/runtime/api/types/semtype/Bdd.java	78.57%	28 Missing and 2 partials :warning:
.../runtime/internal/types/semtype/BFloatSubType.java	58.90%	18 Missing and 12 partials :warning:
... and 86 more

Additional details and impacted files

@@               Coverage Diff                @@
##             nutcracker   #43279      +/-   ##
================================================
- Coverage         77.47%   77.38%   -0.09%     
- Complexity        58442    59231     +789     
================================================
  Files              3449     3528      +79     
  Lines            219783   223130    +3347     
  Branches          28815    29164     +349     
================================================
+ Hits             170269   172678    +2409     
- Misses            40047    40765     +718     
- Partials           9467     9687     +220     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.