search

panacekcz / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
0 stars 0 forks source link

Inequalities of sequence lengths #11

Closed panacekcz closed 6 years ago

panacekcz commented 7 years ago

In some cases, it might help to have information about inequalities between lengths of sequences. For equalities, @SameLen already exists. For example @LongerThanEq("shorter") String longer; would mean that @IndexFor("shorter") can be converted to @IndexFor("longer").

panacekcz commented 7 years ago

This would be a major addition to the index checker and probably wouldn't be enough to resolve the warnings encountered in the Daikon case study. I don't think this is currently worth pursuing.

panacekcz commented 6 years ago

The annotations for length inequalities are also discused in kelloggm#158.

panacekcz commented 6 years ago

Closed in favor of kelloggm#202.