jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
jmlparser-parent
stat
/
io.github.jmltoolkit.stat
/
StatisticKey
/
IntSumKey
Int
Sum
Key
open
class
IntSumKey
:
StatisticKey
<
Int
>
(
source
)
Inheritors
ArbitraryIntSumKey
TOTALCLASSES
TOTAL_METHODS
TOTAL_FIELDS
SPECIFIED_METHODS
REQUIRES
ASSIGNABLES
INVARIANTS
GHOST_FIELDS
totalModelMethods
pureMethods
helperMethods
totalQuantifiers
CONTRACT_METHOD
CONTRACT_LAMBDA
CONTRACT_STATEMENT
CONTRACT_BLOCK
CONTRACT_LOOP
CONTRACT_LOOPINV
JML_CLAUSE
JML_BODY_DECLARATION
BODY_ACCESSIBLE
LET
Members
Constructors
Int
Sum
Key
Link copied to clipboard
constructor
(
)
Properties
def
Value
Link copied to clipboard
val
defValue
:
Any
name
Link copied to clipboard
open
val
name
:
String
?
Functions
aggregate
Link copied to clipboard
open
override
fun
aggregate
(
a
:
Any
,
b
:
Any
)
:
Int
inc
Link copied to clipboard
open
override
fun
inc
(
any
:
Any
)
:
Any
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String
?
open
override
fun
toString
(
a
:
Any
)
:
String