Java Modeling Language (JML) / Things to Do / #63 Constant folding for \bigint expressions with big values

#63 Constant folding for \bigint expressions with big values

Milestone: user_reported

Status: open

Owner: Patrice Chalin

Labels: checker (i.e., the jml tool) (12)

Module:

Priority: 1

Updated: 2006-05-19

Created: 2004-06-21

Creator: Patrice Chalin

Private: No

Currently in JML constant folding for \bigint
expressions is supported as long as the values that are
computed fall within the range Long.MIN_VALUE to
Long.MAX_VALUE. If the computed value is outside of
this range then the expression is no longer considered
constant. This has proven sufficient for now. This
report serves to track this "limitation".

Discussion

Yoonsik Cheon - 2004-09-19

assigned_to: cheon --> chalin
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Gary T. Leavens - 2006-05-19

labels: 477027 --> checker (i.e., the jml tool)

milestone: 294346 --> user_reported
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Constant folding for \bigint expressions with big values

Milestone

Searches

Help

#63 Constant folding for \bigint expressions with big values

Discussion