JarCasting
JarCasting JarCasting

zio-shield-api


License

License
GroupId

GroupId

dev.zio
ArtifactId

ArtifactId

zio-shield-api_2.12
Last Version

Last Version

5cc58429308eb524b562eef71be584e508ee71f7
Release Date

Release Date
Type

Type

jar
Description

Description

zio-shield-api
zio-shield-api
Project URL

Project URL

https://github.com/zio/zio-shield
Project Organization

Project Organization

dev.zio
Source Code Management

Source Code Management

https://github.com/zio/zio-shield/

Download zio-shield-api_2.12

Filename Size
zio-shield-api_2.12-5cc58429308eb524b562eef71be584e508ee71f7.pom
zio-shield-api_2.12-5cc58429308eb524b562eef71be584e508ee71f7.jar 378 KB
zio-shield-api_2.12-5cc58429308eb524b562eef71be584e508ee71f7-sources.jar 130 KB
zio-shield-api_2.12-5cc58429308eb524b562eef71be584e508ee71f7-javadoc.jar 1 MB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/dev.zio/zio-shield-api_2.12/ -->
<dependency>
    <groupId>dev.zio</groupId>
    <artifactId>zio-shield-api_2.12</artifactId>
    <version>5cc58429308eb524b562eef71be584e508ee71f7</version>
</dependency>
// https://jarcasting.com/artifacts/dev.zio/zio-shield-api_2.12/
implementation 'dev.zio:zio-shield-api_2.12:5cc58429308eb524b562eef71be584e508ee71f7'
// https://jarcasting.com/artifacts/dev.zio/zio-shield-api_2.12/
implementation ("dev.zio:zio-shield-api_2.12:5cc58429308eb524b562eef71be584e508ee71f7")
'dev.zio:zio-shield-api_2.12:jar:5cc58429308eb524b562eef71be584e508ee71f7'
<dependency org="dev.zio" name="zio-shield-api_2.12" rev="5cc58429308eb524b562eef71be584e508ee71f7">
  <artifact name="zio-shield-api_2.12" type="jar" />
</dependency>
@Grapes(
@Grab(group='dev.zio', module='zio-shield-api_2.12', version='5cc58429308eb524b562eef71be584e508ee71f7')
)
libraryDependencies += "dev.zio" % "zio-shield-api_2.12" % "5cc58429308eb524b562eef71be584e508ee71f7"
[dev.zio/zio-shield-api_2.12 "5cc58429308eb524b562eef71be584e508ee71f7"]

Dependencies

compile (8)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.12.10
ch.epfl.scala : scalafix-core_2.12 jar 0.9.7
ch.epfl.scala : scalafix-rules_2.12 jar 0.9.7
com.github.vovapolu : scaluzzi_2.12 jar 0.1.3
io.circe : circe-core_2.12 jar 0.11.1
io.circe : circe-generic_2.12 jar 0.11.1
io.circe : circe-generic-extras_2.12 jar 0.11.1
io.circe : circe-yaml_2.12 jar 0.10.0

test (1)

Group / Artifact Type Version
com.lihaoyi : utest_2.12 jar 0.7.1

Project Modules

There are no modules declared in this project.

ZIO Shield 🛡️

Build Status

ZIO Shield statically analyses the source code, enforcing best coding practices with ZIO.
It aims to keep your code pure, total and clean with the help of powerful ZIO ecosystem.

Powered by Scalafix and Scalazzi rules.

Installation

sbt

Add zio-shield sbt plugin to your project/plugins.sbt:

addSbtPlugin("dev.zio" % "zio-shield" % "0.1.0")

It will add semanticdb-scalac compiler plugin and -Yrangepos scalac option to your project settings if they doesn't exist. They are needed to generate SemanticDb files for static analysis.

Usage

Running shield command will start the analysis.

> shield
[warn] ZioShieldShowcase.scala:23:7: error: possibly nullable
[warn]   def nullable(): Response = {
[warn]       ^^^^^^^^
[warn] ZioShieldShowcase.scala:24:18: error: nullable: null usage
[warn]     GoodResponse(null)
[warn]                  ^^^^
[warn] ZioShieldShowcase.scala:27:7: error: possibly nullable
[warn]   def handleResponse(response: Response): Unit = {
[warn]       ^^^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:40:24: error: possibly nullable
[warn]         handleResponse(nullable())
[warn]                        ^^^^^^^^
[warn] ZioShieldShowcase.scala:27:7: error: possible partial symbol
[warn]   def handleResponse(response: Response): Unit = {
[warn]       ^^^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:32:7: error: not total: throwing exceptions
[warn]       throw new RuntimeException("Bad response!")
[warn]       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:28:18: error: type casting
[warn]     if (response.isInstanceOf[BadResponse]) {
[warn]                  ^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:29:34: error: type casting
[warn]       val badResponse = response.asInstanceOf[BadResponse]
[warn]                                  ^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:34:35: error: type casting
[warn]       val goodResponse = response.asInstanceOf[GoodResponse]
[warn]                                   ^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:39:9: error: ignored expression
[warn]         handleResponse(alwaysGood())
[warn]         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:40:9: error: ignored expression
[warn]         handleResponse(nullable())
[warn]         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[warn] ZioShieldShowcase.scala:8:7: error: Future returning method
[warn]   def bigComputation(data: String): Future[Int] = Future {
[warn]       ^^^^^^^^^^^^^^
...

ZioShieldShowcase.scala source code located here.

Configuration

You can set shieldFatalWarnings sbt setting to make all warnings fatal, blocking you build if there are any problems detected by ZIO Shield.

shieldFatalWarnings := true
> shield
[error] ZioShieldShowcase.scala:23:7: error: possibly nullable
[error]   def nullable(): Response = {
[error]       ^^^^^^^^
...

To exlude specific rules from analysis you can create .shield.yaml file in the project root and specify exludedRules option.

# .shield.yaml
excludedRules: [ZioShieldNoIgnoredExpressions]

metals

For using ZIO Shield with metals you should provide custom version of metals language server.

In vscode it can be done in your settings.json:

  "metals.customRepositories": ["central", "bintray:vovapolu/maven"],
  "metals.serverVersion": "0.7.6-zio-shield-RC0"

And then run Metals: Restart server command or just restart the editor.

metals1

metals2

Troubleshooting

  • Warnings are not shown

    Run Metals: Import build in vscode. If it doesn't help restart the editor and try again.

Rules

  • ZioShieldNoFutureMethods blocks any val or def that has type of Future[...]
  • ZioShieldNoIgnoredExpressions blocks ignored expressions except in ZIO.effect* blocks
  • ZioShieldNoReflection blocks all methods from scala.reflect, java.lang.reflect and java.lang.Class
  • ZioShieldNoTypeCasting blocks asInstanceOf, isInstanceOf and any case x: Y except in ZIO.effect* blocks
  • ZioShieldNoImpurity blocks direct usages of Unit returning methods and indirect usages through other methods except in ZIO.effect* blocks
  • ZioShieldNoIndirectUse blocks "effectful" methods, which contain usages of ZIO.effect*, expect when they are defined in ancestors of "pure" traits, i.e. traits without methods that use ZIO.effect*.
  • ZioShieldNoNull blocks direct null usages and indirect usages through other methods except in ZIO.effect* blocks
  • ZioShieldNoPartial blocks direct throw and try {...} catch ... usages and indirect usages through other methods except in ZIO.effect* blocks
dev.zio

ZIO

ZIO — Real World Functional Programming

Versions

Version
5cc58429308eb524b562eef71be584e508ee71f7
0.1.0
b49a17729750807b4087f6346f3316fc21060b50