MeasurementValue.st
author Claus Gittinger <cg@exept.de>
Wed, 14 Jan 2009 23:05:47 +0100
changeset 11457 5ff638783ee0
parent 11456 3ab3ea28c8f4
child 11459 01ad9aa9217d
permissions -rw-r--r--
double dispatch (actually coercing) support
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
 COPYRIGHT (c) 2007 by eXept Software AG
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
              All Rights Reserved
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
 This software is furnished under a license and may be used
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
 hereby transferred.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
"{ Package: 'stx:libbasic' }"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
Number subclass:#MeasurementValue
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    15
	instanceVariableNames:'value minValue maxValue'
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
	classVariableNames:''
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
	poolDictionaries:''
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
	category:'Magnitude-Numbers'
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
!MeasurementValue class methodsFor:'documentation'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
copyright
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    25
 COPYRIGHT (c) 2007 by eXept Software AG
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    26
              All Rights Reserved
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    27
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    28
 This software is furnished under a license and may be used
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    29
 only in accordance with the terms of that license and with the
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    30
 inclusion of the above copyright notice.   This software may not
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    31
 be provided or otherwise made available to, or used by, any
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    32
 other person.  No title to or ownership of the software is
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    33
 hereby transferred.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    34
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    35
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    36
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    37
documentation
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    38
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    39
    A MeasurementValue is a numeric value with an error, such as returned
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    40
    by measurement devices (Volt-Meter). For example, if a measurement-device has
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    41
    an error of 10%, a measured value of 20 could be any value between 18 and 22.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    42
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    43
    Arithmetic operations keep track of the error; if any operand is a MeasurementValue,
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    44
    the operation returns a MeasurementValue as result.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    45
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    46
    This class is possibly unfinished and needs more arithmetic methods.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    47
    For now, the stuff found here represents our needs and more might be added in the future.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    48
11456
3ab3ea28c8f4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 10825
diff changeset
    49
    Also notice, that instances do not keep the error as a fraction, but instead a min. and maxValue.
3ab3ea28c8f4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 10825
diff changeset
    50
    That means, that we can represent tha case where the absolute error values are different in
3ab3ea28c8f4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 10825
diff changeset
    51
    the positive and negative directions.
3ab3ea28c8f4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 10825
diff changeset
    52
    I am not sure if this is more flexibility than needed in the long run.
3ab3ea28c8f4 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 10825
diff changeset
    53
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
    [author:]
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
        Claus Gittinger
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
    [see also:]
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    58
        Number
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
        Float ShortFloat Fraction FixedPoint Integer Complex
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
        FloatArray DoubleArray
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    63
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    64
examples
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    65
"
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    66
    Notice, how the errors accumulate...
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    67
                                                                        [exBegin]
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    68
    |voltage current power|
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    69
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    70
    voltage := MeasurementValue value:10 error:0.05.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    71
    current := MeasurementValue value:2 error:0.1.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    72
    power := voltage * current.
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    73
    power.                   
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    74
    power minValue.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    75
    power maxValue.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    76
                                                                        [exEnd]
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    77
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    78
                                                                        [exBegin]
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    79
    |voltage current power|
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    80
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    81
    voltage := MeasurementValue value:10 error:0.05.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    82
    current := 2.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    83
    power := voltage * current.
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    84
    power
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    85
                                                                        [exEnd]
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    86
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    87
                                                                        [exBegin]
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    88
    |voltage doubleVoltage|
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    89
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    90
    voltage := MeasurementValue value:10 error:0.1.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    91
    doubleVoltage := 2 * voltage.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    92
    doubleVoltage
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
    93
                                                                        [exEnd]
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    94
"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    95
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    96
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    97
!MeasurementValue class methodsFor:'instance creation'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    98
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    99
value:arg1 error:arg2
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   100
    "return a new measurementValue with a given value and an error (fraction)"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   101
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   102
    ^ self new value:arg1 error:arg2
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   103
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   104
    "
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   105
     MeasurementValue value:10 error:0.2 
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   106
    "
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   107
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   108
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   109
value:arg1 minValue:arg2 maxValue:arg3
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   110
    "return a new measurementValue with a given value and an error given as min-max values.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   111
     Use this, if the error is not the same in both directions"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   112
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
    ^ self new value:arg1 minValue:arg2 maxValue:arg3
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   114
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   115
    "a power of 10 error:
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   116
     MeasurementValue value:5 minValue:1 maxValue:10   
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   117
    "
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   118
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   119
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   120
!MeasurementValue methodsFor:'accessing'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   121
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
maxValue
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   123
    "the maximum possible value, considerung what has been measured and what the measurement error is"
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   124
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
    ^ maxValue
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
minValue
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   129
    "the minimum possible value, considerung what has been measured and what the measurement error is"
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   130
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
    ^ minValue
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   132
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   133
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   134
value
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   135
    "the measured value"
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   136
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   137
    ^ value
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   140
!MeasurementValue methodsFor:'arithmetic'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   141
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   142
* aNumber
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   143
    ^ MeasurementValue new
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   144
        value:(value * aNumber value)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   145
        minValue:(minValue * aNumber minValue)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   146
        maxValue:(maxValue * aNumber maxValue)
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   147
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   148
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   149
+ aNumber
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   150
    ^ MeasurementValue new
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   151
        value:(value + aNumber value)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   152
        minValue:(minValue + aNumber minValue)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   153
        maxValue:(maxValue + aNumber maxValue)
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   154
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   155
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   156
- aNumber
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   157
    ^ MeasurementValue new
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   158
        value:(value - aNumber value)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   159
        minValue:(minValue - aNumber maxValue)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   160
        maxValue:(maxValue - aNumber minValue)
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   161
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   162
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   163
/ aNumber
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   164
    ^ MeasurementValue new
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   165
        value:(value / aNumber value)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   166
        minValue:(minValue / aNumber maxValue)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   167
        maxValue:(maxValue / aNumber minValue)
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   168
! !
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   169
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   170
!MeasurementValue methodsFor:'coercing & converting'!
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   171
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   172
+/- error
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   173
    "return a MeasurementValue with the given error."
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   174
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   175
    "/ what should I do here - take the new error,
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   176
    "/ or multiply them ????
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   177
    self error.
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   178
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   179
    minValue := value - error.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   180
    maxValue := value + error.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   181
!
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   182
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   183
coerce:aNumber
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   184
    ^ MeasurementValue value:aNumber minValue:aNumber maxValue:aNumber
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   185
        
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   186
!
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   187
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   188
generality
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   189
    "/ adding 1 has the subtle side effect of enforcing a call to cuerce:
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   190
    "/ for mixed type operaions (i.e. Int * MeasurementValue).
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   191
    "/ try it.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   192
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   193
    ^ value generality + 1 
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   194
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   195
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   196
!MeasurementValue methodsFor:'comparing'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   197
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   198
< aNumber
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   199
    ^ maxValue < aNumber
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   200
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   201
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   202
lessFromFloat:aFloat
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   203
    "aFloat < self ?"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   204
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   205
    ^ aFloat < minValue
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   206
!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   207
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   208
lessFromInteger:anInteger
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   209
    "anInteger < self ?"
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   210
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   211
    ^ anInteger < minValue
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   212
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   213
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   214
!MeasurementValue methodsFor:'printing & storing'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   215
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   216
printOn:aStream
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   217
    value printOn:aStream.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   218
    '(' printOn:aStream.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   219
    minValue printOn:aStream.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   220
    '..' printOn:aStream.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   221
    maxValue printOn:aStream.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   222
    ')' printOn:aStream.
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   223
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   224
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   225
!MeasurementValue methodsFor:'private accessing'!
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   226
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   227
value:valueArg error:errorFraction 
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   228
    self 
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   229
        value:valueArg
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   230
        minValue:(valueArg * (1-errorFraction))
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   231
        maxValue:(valueArg * (1+errorFraction)). 
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   232
!
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   233
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   234
value:valueArg minValue:minValueArg maxValue:maxValueArg 
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   235
    value := valueArg.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   236
    minValue := minValueArg.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   237
    maxValue := maxValueArg.
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   238
! !
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   239
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   240
!MeasurementValue methodsFor:'testing'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   241
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   242
between:min and:max
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   243
    minValue < min ifTrue:[^ false].
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   244
    maxValue > max ifTrue:[^ false].
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   245
    ^ true
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   246
! !
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   247
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   248
!MeasurementValue class methodsFor:'documentation'!
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   249
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   250
version
11457
5ff638783ee0 double dispatch (actually coercing) support
Claus Gittinger <cg@exept.de>
parents: 11456
diff changeset
   251
    ^ '$Header: /cvs/stx/stx/libbasic/MeasurementValue.st,v 1.3 2009-01-14 22:05:47 cg Exp $'
10825
332b3ea2f8d6 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   252
! !