Package: org.overture.interpreter.values
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.interpreter.values |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
BUSValue |
|
|
|
|
|
|
||||||||||||||||||||||||
BooleanValue |
|
|
|
|
|
|
||||||||||||||||||||||||
CPUValue |
|
|
|
|
|
|
||||||||||||||||||||||||
CharacterValue |
|
|
|
|
|
|
||||||||||||||||||||||||
ClassInvariantListener |
|
|
|
|
|
|
||||||||||||||||||||||||
CompFunctionValue |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldMap |
|
|
|
|
|
|
||||||||||||||||||||||||
FieldValue |
|
|
|
|
|
|
||||||||||||||||||||||||
FunctionValue |
|
|
|
|
|
|
||||||||||||||||||||||||
GuardValueListener |
|
|
|
|
|
|
||||||||||||||||||||||||
IntegerValue |
|
|
|
|
|
|
||||||||||||||||||||||||
InvariantValue |
|
|
|
|
|
|
||||||||||||||||||||||||
InvariantValueListener |
|
|
|
|
|
|
||||||||||||||||||||||||
IterFunctionValue |
|
|
|
|
|
|
||||||||||||||||||||||||
MapValue |
|
|
|
|
|
|
||||||||||||||||||||||||
NameValuePair |
|
|
|
|
|
|
||||||||||||||||||||||||
NameValuePairList |
|
|
|
|
|
|
||||||||||||||||||||||||
NameValuePairMap |
|
|
|
|
|
|
||||||||||||||||||||||||
NaturalOneValue |
|
|
|
|
|
|
||||||||||||||||||||||||
NaturalValue |
|
|
|
|
|
|
||||||||||||||||||||||||
NilValue |
|
|
|
|
|
|
||||||||||||||||||||||||
NumericValue |
|
|
|
|
|
|
||||||||||||||||||||||||
ObjectValue |
|
|
|
|
|
|
||||||||||||||||||||||||
OperationValue |
|
|
|
|
|
|
||||||||||||||||||||||||
ParameterValue |
|
|
|
|
|
|
||||||||||||||||||||||||
Quantifier |
|
|
|
|
|
|
||||||||||||||||||||||||
QuantifierList |
|
|
|
|
|
|
||||||||||||||||||||||||
QuoteValue |
|
|
|
|
|
|
||||||||||||||||||||||||
RationalValue |
|
|
|
|
|
|
||||||||||||||||||||||||
RealValue |
|
|
|
|
|
|
||||||||||||||||||||||||
RecordValue |
|
|
|
|
|
|
||||||||||||||||||||||||
ReferenceValue |
|
|
|
|
|
|
||||||||||||||||||||||||
SeqValue |
|
|
|
|
|
|
||||||||||||||||||||||||
SetValue |
|
|
|
|
|
|
||||||||||||||||||||||||
State |
|
|
|
|
|
|
||||||||||||||||||||||||
TokenValue |
|
|
|
|
|
|
||||||||||||||||||||||||
TransactionValue |
|
|
|
|
|
|
||||||||||||||||||||||||
TupleValue |
|
|
|
|
|
|
||||||||||||||||||||||||
UndefinedValue |
|
|
|
|
|
|
||||||||||||||||||||||||
UpdatableValue |
|
|
|
|
|
|
||||||||||||||||||||||||
Value |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueFactory |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueList |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueListener |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueListenerList |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueMap |
|
|
|
|
|
|
||||||||||||||||||||||||
ValueSet |
|
|
|
|
|
|
||||||||||||||||||||||||
VoidReturnValue |
|
|
|
|
|
|
||||||||||||||||||||||||
VoidValue |
|
|
|
|
|
|