My favorites
▼
|
Sign in
pluralism
Modular object protocol checking for Java
Project Home
Wiki
Issues
Source
READ-ONLY: This project has been
archived
. For more information see
this post
.
Search
Search within:
All issues
Open issues
New issues
Issues to verify
for
Advanced search
Search tips
Subscriptions
List
Grid
15 issues of 15 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
6
Accepted
PLURAL: Warn user that they need frame permission to change state
12
Assigned
Check initializers of static fields
13
Assigned
For immutable permissions, make state guarantees and stateInfo interchangable.
21
Assigned
Default permissions for un-annotated fields and methods
24
Assigned
Linear connectives in method pre- and post-conditions, and in invariants
27
Assigned
Check that marker states are indeed fixed through the object lifetime
28
Assigned
Default field values for not explicitly initialized fields
29
Assigned
Access inherited fields and fields of other objects than the reciever
38
Assigned
Array bounds checks and integer tracking
39
Assigned
Default null checks (optional)
40
Assigned
Correlated ifs
41
Assigned
Use exceptions / regular returns (also null etc.) to indicate states or even permissions
42
Assigned
Reference equality invariants / method pre-/post-conditions
74
New
Calling a method that defines Varargs with no arguments results in a run-time exception.
75
Accepted
Calling private methods from static methods does not work
Powered by
Google Project Hosting