package info (click to toggle)
checker-framework-java 3.0.1%2Bds2-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 22,736 kB
  • sloc: java: 145,286; xml: 785; sh: 456; makefile: 401; perl: 26

Folder: flow2

d .. (parent)
d d rwxr-xr-x 78 flowexpression-scope
- - rw-r--r-- 965 AnnotationAliasing.java
- - rw-r--r-- 540 ArrayFlow.java
- - rw-r--r-- 5,311 Basic2.java
- - rw-r--r-- 4,498 ContractsOverriding.java
- - rw-r--r-- 2,351 ContractsOverridingSubtyping.java
- - rw-r--r-- 2,218 CustomContractWithArgs.java
- - rw-r--r-- 1,274 Equal.java
- - rw-r--r-- 1,262 FieldShadowing.java
- - rw-r--r-- 3,827 Issue951.java
- - rw-r--r-- 4,403 MetaPostcondition.java
- - rw-r--r-- 2,174 MetaPrecondition.java
- - rw-r--r-- 5,743 MethodCallFlowExpr.java
- - rw-r--r-- 1,131 Monotonic.java
- - rw-r--r-- 820 NonMethodCode.java
- - rw-r--r-- 788 ParamFlowExpr.java
- - rw-r--r-- 9,555 Postcondition.java
- - rw-r--r-- 4,819 Precondition.java
- - rw-r--r-- 5,917 Purity.java
- - rw-r--r-- 122 README
- - rw-r--r-- 4,560 StorePure.java
- - rw-r--r-- 441 Termination.java