False.st
author claus
Mon, 04 Oct 1993 11:32:33 +0100
changeset 2 6526dde5f3ac
parent 1 a27a279701f8
child 3 24d81bf47225
permissions -rw-r--r--
2.7.2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
a27a279701f8 Initial revision
claus
parents:
diff changeset
     1
"
a27a279701f8 Initial revision
claus
parents:
diff changeset
     2
 COPYRIGHT (c) 1988-92 by Claus Gittinger
a27a279701f8 Initial revision
claus
parents:
diff changeset
     3
	      All Rights Reserved
a27a279701f8 Initial revision
claus
parents:
diff changeset
     4
a27a279701f8 Initial revision
claus
parents:
diff changeset
     5
 This software is furnished under a license and may be used
a27a279701f8 Initial revision
claus
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
a27a279701f8 Initial revision
claus
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
a27a279701f8 Initial revision
claus
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
a27a279701f8 Initial revision
claus
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
a27a279701f8 Initial revision
claus
parents:
diff changeset
    10
 hereby transferred.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    11
"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    12
a27a279701f8 Initial revision
claus
parents:
diff changeset
    13
Boolean subclass:#False
a27a279701f8 Initial revision
claus
parents:
diff changeset
    14
       instanceVariableNames:''
a27a279701f8 Initial revision
claus
parents:
diff changeset
    15
       classVariableNames:''
a27a279701f8 Initial revision
claus
parents:
diff changeset
    16
       poolDictionaries:''
a27a279701f8 Initial revision
claus
parents:
diff changeset
    17
       category:'Kernel-Objects'
a27a279701f8 Initial revision
claus
parents:
diff changeset
    18
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    19
a27a279701f8 Initial revision
claus
parents:
diff changeset
    20
False comment:'
a27a279701f8 Initial revision
claus
parents:
diff changeset
    21
a27a279701f8 Initial revision
claus
parents:
diff changeset
    22
COPYRIGHT (c) 1988-92 by Claus Gittinger
a27a279701f8 Initial revision
claus
parents:
diff changeset
    23
	      All Rights Reserved
a27a279701f8 Initial revision
claus
parents:
diff changeset
    24
a27a279701f8 Initial revision
claus
parents:
diff changeset
    25
Class False has only one instance, false, representing logical falsehood.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    26
a27a279701f8 Initial revision
claus
parents:
diff changeset
    27
%W% %E%
a27a279701f8 Initial revision
claus
parents:
diff changeset
    28
'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    29
a27a279701f8 Initial revision
claus
parents:
diff changeset
    30
!False methodsFor:'logical operations'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    31
a27a279701f8 Initial revision
claus
parents:
diff changeset
    32
& aBoolean
a27a279701f8 Initial revision
claus
parents:
diff changeset
    33
    "return true, if both the receiver and the argument are true
a27a279701f8 Initial revision
claus
parents:
diff changeset
    34
     (since the receiver is false, return false)"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    35
a27a279701f8 Initial revision
claus
parents:
diff changeset
    36
    ^ false
a27a279701f8 Initial revision
claus
parents:
diff changeset
    37
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    38
a27a279701f8 Initial revision
claus
parents:
diff changeset
    39
| aBoolean
a27a279701f8 Initial revision
claus
parents:
diff changeset
    40
    "return true, if either the receiver or the argument is true
a27a279701f8 Initial revision
claus
parents:
diff changeset
    41
     (since the receiver is false, return the argument)"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    42
a27a279701f8 Initial revision
claus
parents:
diff changeset
    43
    ^ aBoolean
a27a279701f8 Initial revision
claus
parents:
diff changeset
    44
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    45
a27a279701f8 Initial revision
claus
parents:
diff changeset
    46
not
a27a279701f8 Initial revision
claus
parents:
diff changeset
    47
    "return true, if the receiver is false, false otherwise
a27a279701f8 Initial revision
claus
parents:
diff changeset
    48
     (since the receiver is false, return true)"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    49
a27a279701f8 Initial revision
claus
parents:
diff changeset
    50
    ^ true
a27a279701f8 Initial revision
claus
parents:
diff changeset
    51
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    52
a27a279701f8 Initial revision
claus
parents:
diff changeset
    53
eqv:aBoolean
a27a279701f8 Initial revision
claus
parents:
diff changeset
    54
    "return true, if the receiver and the argument are the same truth value
a27a279701f8 Initial revision
claus
parents:
diff changeset
    55
     (since the receiver is false, return true if the argument is also false)"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    56
a27a279701f8 Initial revision
claus
parents:
diff changeset
    57
    ^ aBoolean not
a27a279701f8 Initial revision
claus
parents:
diff changeset
    58
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    59
a27a279701f8 Initial revision
claus
parents:
diff changeset
    60
xor:aBoolean
a27a279701f8 Initial revision
claus
parents:
diff changeset
    61
    "return true, if the receiver and the argument are different truth values
a27a279701f8 Initial revision
claus
parents:
diff changeset
    62
     (since the receiver is false, return true, if the armument is not false)"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    63
a27a279701f8 Initial revision
claus
parents:
diff changeset
    64
    ^ aBoolean
a27a279701f8 Initial revision
claus
parents:
diff changeset
    65
! !
a27a279701f8 Initial revision
claus
parents:
diff changeset
    66
a27a279701f8 Initial revision
claus
parents:
diff changeset
    67
!False methodsFor:'conditional evaluation'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    68
a27a279701f8 Initial revision
claus
parents:
diff changeset
    69
and:aBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
    70
    "evaluate aBlock if the receiver is true.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    71
     (since the receiver is false return false).
a27a279701f8 Initial revision
claus
parents:
diff changeset
    72
     - open coded by compiler"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    73
a27a279701f8 Initial revision
claus
parents:
diff changeset
    74
    ^ self
a27a279701f8 Initial revision
claus
parents:
diff changeset
    75
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    76
a27a279701f8 Initial revision
claus
parents:
diff changeset
    77
or:aBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
    78
    "evaluate aBlock if the receiver is false.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    79
     (since the receiver is false return the value of evaluating aBlock).
a27a279701f8 Initial revision
claus
parents:
diff changeset
    80
     - open coded by compiler"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    81
a27a279701f8 Initial revision
claus
parents:
diff changeset
    82
    ^ aBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
    83
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    84
a27a279701f8 Initial revision
claus
parents:
diff changeset
    85
ifFalse:aBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
    86
    "return the value of evaluating aBlock if the receiver is false.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    87
     (since the receiver is known to be false always evaluate)
a27a279701f8 Initial revision
claus
parents:
diff changeset
    88
     - open coded by compiler"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    89
a27a279701f8 Initial revision
claus
parents:
diff changeset
    90
    ^ aBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
    91
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    92
a27a279701f8 Initial revision
claus
parents:
diff changeset
    93
ifTrue:aBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
    94
    "return the false alternative, nil (since the receiver is false)
a27a279701f8 Initial revision
claus
parents:
diff changeset
    95
     - open coded by compiler"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    96
a27a279701f8 Initial revision
claus
parents:
diff changeset
    97
    ^ nil
a27a279701f8 Initial revision
claus
parents:
diff changeset
    98
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    99
a27a279701f8 Initial revision
claus
parents:
diff changeset
   100
ifTrue:trueBlock ifFalse:falseBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
   101
    "return the value of evaluating falseBlock (since the receiver is false)
a27a279701f8 Initial revision
claus
parents:
diff changeset
   102
     - open coded by compiler"
a27a279701f8 Initial revision
claus
parents:
diff changeset
   103
a27a279701f8 Initial revision
claus
parents:
diff changeset
   104
    ^ falseBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
   105
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
   106
a27a279701f8 Initial revision
claus
parents:
diff changeset
   107
ifFalse:falseBlock ifTrue:trueBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
   108
    "return the value of evaluating falseBlock (since the receiver is false)
a27a279701f8 Initial revision
claus
parents:
diff changeset
   109
     - open coded by compiler"
a27a279701f8 Initial revision
claus
parents:
diff changeset
   110
a27a279701f8 Initial revision
claus
parents:
diff changeset
   111
    ^ falseBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
   112
! !
a27a279701f8 Initial revision
claus
parents:
diff changeset
   113
a27a279701f8 Initial revision
claus
parents:
diff changeset
   114
!False methodsFor: 'printing'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
   115
a27a279701f8 Initial revision
claus
parents:
diff changeset
   116
printString
a27a279701f8 Initial revision
claus
parents:
diff changeset
   117
    "return a Character sequence representing the receiver"
a27a279701f8 Initial revision
claus
parents:
diff changeset
   118
a27a279701f8 Initial revision
claus
parents:
diff changeset
   119
    ^ 'false'
a27a279701f8 Initial revision
claus
parents:
diff changeset
   120
! !
2
claus
parents: 1
diff changeset
   121
claus
parents: 1
diff changeset
   122
!False methodsFor: 'binary storage'!
claus
parents: 1
diff changeset
   123
claus
parents: 1
diff changeset
   124
storeBinaryOn: stream manager: manager
claus
parents: 1
diff changeset
   125
    stream nextPut: manager codeForFalse
claus
parents: 1
diff changeset
   126
! !