The Fortress Language Specification - CiteSeerX

opr =(self,other: Boolean):Boolean
getter hashCode(): N64
toString():String
end
test testData[ ] = {false,true }
24.1.1 coercion bool b(x:BooleanLiteralb)
A boolean literal can always serve as a Boolean value.
24.1.2 oprjuxtaposition (self,other: Boolean):Boolean
Juxtaposition of boolean expressions is equivalent to using the logical AND operator ∧ .
24.1.3 opr ∧(self,other: Boolean):Boolean
24.1.4 opr ∧(self,other: () → Boolean):Boolean
The logical AND operator ∧ ( AND ) returns true if both arguments are true ; otherwise it returns false .
The conditional logical AND operator ∧ : ( AND: ) examines its first argument; if it is false , the result is false , and
the second argument (a thunk) is not evaluated. But if the first argument is true , the second argument is evaluated and
its result becomes the result of the conditional logical AND operator expression.
24.1.5 opr ∨(self,other: Boolean):Boolean
24.1.6 opr ∨(self,other: () → Boolean):Boolean
The logical OR operator ∨ ( OR ) returns false if both arguments are false ; otherwise it returns true .
The conditional logical OR operator ∨ : ( OR: ) examines its first argument; if it is true , the result is true , and the
second argument (a thunk) is not evaluated. But if the first argument is false , the second argument is evaluated and its
result becomes the result of the conditional logical OR operator expression.
24.1.7 opr ¬(self): Boolean
The logical NOT operator ¬ ( NOT ) returns true if its argument is false ; it returns false if its argument is true .
24.1.8 opr ∨(self,other: Boolean):Boolean
24.1.9 opr ⊕(self,other: Boolean):Boolean
The logical exclusive OR operator ∨ ( XOR ) returns true if the arguments are different, one being true and the other
false ; it returns false if both arguments are true or both arguments are false .
The operator ⊕ ( OPLUS ) does the same thing as ∨ .
183