zml2008 / contract-validator Goto Github PK
View Code? Open in Web Editor NEWA simple compile-time validator for JetBrains @Contract annotations
License: GNU Lesser General Public License v3.0
A simple compile-time validator for JetBrains @Contract annotations
License: GNU Lesser General Public License v3.0
Currently, only parse errors have by-the-character location information. Other validation issues will just point back to the method. It would be nice to pass the more specific location information through to the user.
This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.
These updates have all been created already. Click a checkbox below to force a retry/rebase of any.
.github/workflows/ci.yaml
actions/checkout v4@b4ffde65f46336ab88eb53be808477a3936bae11
actions/setup-java v4
gradle/wrapper-validation-action v1
actions/upload-artifact v3
gradle.properties
settings.gradle
ca.stellardrift.polyglot-version-catalogs 6.0.1
org.gradle.toolchains.foojay-resolver-convention 0.7.0
build.gradle
gradle/wrapper/gradle-wrapper.properties
gradle 8.5
Currently error messages are english-only and don't correctly adjust for plural/non-plural messages. This should change.
Currently we pass error messages through directly from antlr. This means there can be a lot of spam, and sometimes cryptic messages. It's probably possible to improve the usability of these messages.
A possible tactic:
// or: just bail faster. maybe suppress lexer errors, when a parser error happens, constrain the error location to be no further than the last
// successful token
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.