Skip to content

Adding more standard library imports - #98

Draft
kjw142857 wants to merge 14 commits into
mainfrom
std-imports
Draft

Adding more standard library imports#98
kjw142857 wants to merge 14 commits into
mainfrom
std-imports

Conversation

@kjw142857

Copy link
Copy Markdown
Contributor

Adding of more standard imports to java-slang.

  • java.lang.Throwable
  • Other imports (TBD)
  • Test cases

@kjw142857 kjw142857 self-assigned this Jul 21, 2026
@gemini-code-assist

Copy link
Copy Markdown
Contributor

Caution

The consumer version of Gemini Code Assist on GitHub has been sunset. All code review activity has officially ceased.

@kjw142857 kjw142857 changed the title Std imports Adding more standard imports Jul 21, 2026
@kjw142857 kjw142857 changed the title Adding more standard imports Adding more standard library imports Jul 21, 2026
@github-actions

github-actions Bot commented Jul 21, 2026

Copy link
Copy Markdown

Coverage report

St.
Category Percentage Covered / Total
🟡 Statements
72.76% (+0.49% 🔼)
7627/10483
🔴 Branches
59.33% (+0.21% 🔼)
2559/4313
🟡 Functions
70.08% (+1.04% 🔼)
1384/1975
🟡 Lines
73.64% (+0.52% 🔼)
7184/9755
Show new covered files 🐣
St.
File Statements Branches Functions Lines
🔴
... / exception-table.ts
23.08% 20% 28.57% 25%
Show files with reduced coverage 🔻
St.
File Statements Branches Functions Lines
🟡
... / statement-extractor.ts
65.93% (+5.69% 🔼)
55.1% (-4.9% 🔻)
70.91% (+9.21% 🔼)
66.48% (+5.37% 🔼)
🟡 types/errors.ts
64.06% (-0.45% 🔻)
0%
42.86% (-1.59% 🔻)
65.57% (-0.53% 🔻)
🟢
... / references.ts
82.35% (-5.88% 🔻)
69.57%
83.33% (-4.17% 🔻)
85.42% (-6.25% 🔻)
🟢
... / methods.ts
83.65% (-0.66% 🔻)
70.59% (-2.94% 🔻)
74.29% (+1.56% 🔼)
85.06% (-0.82% 🔻)
🟡
... / throws.ts
53.85% (-12.82% 🔻)
50% (-50% 🔻)
57.14% (+7.14% 🔼)
77.78% (-2.22% 🔻)
🟢
... / methodFactory.ts
90.24% (-0.93% 🔻)
86.84% (-0.66% 🔻)
100% 100%
🟡
... / statements.ts
75% (-8.33% 🔻)
77.78% 100%
75% (-12.5% 🔻)

Test suite run success

1148 tests passing in 65 suites.

Report generated by 🧪jest coverage report action from e8985da

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants