Operators: Difference between revisions

From Kolmafia
Jump to navigation Jump to search
imported>StDoodle
mNo edit summary
→‎Relational Operators: Add info on string comparisons, add approximately equal operator
 
(40 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{TOCright}}
==Mathematical Operators==
==Mathematical Operators==


The following operators are used in KoLmafia:
The following mathematical operators are used in KoLmafia:
{{
eztable|
{{eztr|{{eztd| + |Addition|Performs addition and string concatenation}}}}
{{eztr|{{eztd| - |Subtraction|Performs subtraction}}}}
{{eztr|{{eztd| * |Multiplication|Performs multiplication}}}}
{{eztr|{{eztd| / |Division|Performs division}}}}
{{eztr|{{eztd| % |Modulo|Returns the remainder after division}}}}
{{eztr|{{eztd| ** |Exponent|Performs exponentiation}}}}
}}
Note that, with the exception of using <nowiki>"+"</nowiki> for string concatenation, these operators can only be used on int or float datatypes.


{| style="width: 50%; text-align: center; border: solid 1px black;" cellpadding="0" cellspacing="0"
==Bitwise Operators==
|-
| style="border: solid 1px gray;" | +
| style="border: solid 1px gray;" | Addition
|-
| style="border: solid 1px gray;" | -
| style="border: solid 1px gray;" | Subtraction
|-
| style="border: solid 1px gray;" | *
| style="border: solid 1px gray;" | Multiplication
|-
| style="border: solid 1px gray;" | /
| style="border: solid 1px gray;" | Division
|-
| style="border: solid 1px gray;" | %
| style="border: solid 1px gray;" | Modulo
|}


{| class="wikitable"
The following mathematical operators are used for operating on the bits of integers. The logical operators (&, |, ^) work either with booleans or integers while the others operate upon integers only. If the operands are booleans, then result will also be a boolean.
|-
{{
| +  
eztable|
| Addition
{{eztr|{{eztd| <nowiki>&</nowiki> |and|a & b}}}}
|-
{{eztr|{{eztd| <nowiki>|</nowiki> |or|a <nowiki>|</nowiki> b}}}}
| -
{{eztr|{{eztd| <nowiki>^</nowiki> |XOR|a <nowiki>^</nowiki> b}}}}
| Subtraction
{{eztr|{{eztd| ~ |not|~a}}}}
|}
{{eztr|{{eztd| << |left shift|a << b}}}}
{{eztr|{{eztd| >> |right shift|a >> b}}}}
{{eztr|{{eztd| <nowiki>&=</nowiki> |and|<nowiki>a &= b --> a = a & b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>|=</nowiki> |or|<nowiki>a |= b --> a = a | b</nowiki>}}}}
{{eztr|{{eztd| >>> |unsigned right shift|a >>> b}}}}
}}
 
==Assignment Operators==
The following assignment operators are used in KoLmafia (let a = left operand, b = right operand):
{{
eztable|
{{eztr|{{eztd| <nowiki>=</nowiki> |<nowiki>a = b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>+=</nowiki> |<nowiki>a = a + b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>-=</nowiki> |<nowiki>a = a - b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>*=</nowiki> |<nowiki>a = a * b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>/=</nowiki> |<nowiki>a = a / b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>%=</nowiki> |<nowiki>a = a % b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>**=</nowiki> |<nowiki>a = a ** b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>^=</nowiki> |<nowiki>a = a ^ b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>>>=</nowiki> |<nowiki>a = a >> b</nowiki>}}}}
{{eztr|{{eztd| <nowiki>>>>=</nowiki> |<nowiki>a = a >>> b</nowiki>}}}}
}}
Of these, only += and = are usable for strings.  See [[Operators#Mathematical Operators|Mathematical Operators]] for information regarding the basic Mathematical Operators.


==Relational Operators==
==Relational Operators==
Line 35: Line 52:


In order to create more complex if statements, we need to understand the basic relational operators:
In order to create more complex if statements, we need to understand the basic relational operators:
{{
eztable|
{{eztr|{{eztd| <nowiki>==</nowiki> |equal to}}}}
{{eztr|{{eztd| <nowiki>!=</nowiki> |not equal to}}}}
{{eztr|{{eztd| <nowiki><</nowiki> |less than}}}}
{{eztr|{{eztd| <nowiki>></nowiki> |greater than}}}}
{{eztr|{{eztd| <nowiki><=</nowiki> |less than or equal to}}}}
{{eztr|{{eztd| <nowiki>>=</nowiki> |greater than or equal to}}}}
{{eztr|{{eztd| <nowiki>≈</nowiki> |approximately equal to}}}}
}}
Note that you cannot mix most datatypes within a comparison or KoLmafia will abort with an error, with the exception of mixing types int and float, where KoLmafia will do a transparent type conversion behind-the-scenes. If you need to compare different datatypes, use one or more of the [[Datatype Conversions|Datatype Conversion]] functions.
{{
CodeSample|
code=
<syntaxhighlight>
if ( true == true )
{
  print( "This line DOES get printed." );
}
if ( true == false )
{
  print( "This line does NOT get printed." );
}
if ( 1 == 1.0 )
{
  print( "This line DOES get printed." );
}
if ( 1 == 2 )
{
  print( "This line does NOT get printed." );
}
if ( "Hello" == "hello" )
{
  print( "This line does NOT get printed." );
}
</syntaxhighlight>}}
As of [https://kolmafia.us/threads/16180-when-parsing-a-bounty-object-in-ash-make-case-insensitive-string-compariso.18981/ r16180], the equality (<code>==</code>) and inequality (<code>!=</code>) operators compare strings case-sensitively.
The "approximately equal" operator (<code>≈</code>) was introduced in [https://kolmafia.us/threads/16284-add-an-ash-operator-to-perform-an-approximately-equal-comparison.19116/ r16284]. When comparing two strings, it compares them case-insensitively. When comparing other data types, it behaves like the equality operator (<code>==</code>).


  <table width=95%  cellspacing=0 cellpadding=0>
{{CodeSample|
    <tr>
description=Another exception is with strings. If the '''first''' datatype is a string, and the second isn't, the latter will be silently converted into a string. Remember that strings are compared alphabetically (with the alphabet here being the characters' [https://www.asciitable.com/ ASCII value]), just like in a dictionary, in which "smaller" means "would come before".|
      <td><center><b>Relational operators</b></center></td>
code=
      <table width=100%  cellspacing=0 cellpadding=1>
<syntaxhighlight>
        <tr>
if ( "a" < "b" )
          <td><center><b> Operator </b></center></td>
{
          <td><center><b> Operation </b></center></td>
  print( "This line DOES get printed." );
          <td><center><b> acceptable variable types </b></center></td>
}
        </tr>
if ( "apple" < "b" )
        <tr>
{
          <td><center> == </center></td>
  print( "This line DOES get printed." );
          <td><center> equal to </center></td>
}
          <td><center> any </center></td>
if ( "1" < 2 )
        </tr>
{
        <tr>
  print( "This line DOES get printed." );
          <td><center> != </center></td>
}
          <td><center> not equal to </center></td>
if ( "1487" < 2 )
          <td><center> any </center></td>
{
        </tr>
  print( "This line DOES get printed." );
        <tr>
}
          <td><center> < </center></td>
if ( "a" < 2 )
          <td><center> less than </center></td>
{
          <td><center> integer or float </center></td>
  print( "This line does NOT get printed." );
        </tr>
}
        <tr>
          <td><center> > </center></td>
          <td><center> greater than </center></td>
          <td><center> integer or float </center></td>
        </tr>
        <tr>
          <td><center> <= </center></td>
          <td><center> less than or equal to </center></td>
          <td><center> integer or float </center></td>
        </tr>
        <tr>
          <td><center> >= </center></td>
          <td><center> greater than or equal to </center></td>
          <td><center> integer or float </center></td>
        </tr>
      </table>
    </tr>
  </table>


The variable (or function results) on the right must be of the same type as is on the left. The exception to this is integer and float in which you can test an integer against a float. See [[(ASHRM) Datatype Conversions ]] for methods allowing cross type checking.
if ( "3" == 3 )
{
  print( "This line DOES get printed." );
}
if ( "3.0" == 3 )
{
  print( "This line does NOT get printed." );
}
if ( 3 == "3" )
{
  print( "This GENERATES AN ERROR!" );
}


<code>
if ( "true" == true )
  if(true == true)
{
    {
  print( "This line DOES get printed." );
    print("this line gets printed");
}
    }
</syntaxhighlight>|
  if(false == true)
moreinfo=Take the habit of always converting your datatypes to avoid unexpected problems.}}
    {
    print("this line never gets printed");
    }
  if(1 == 1)
    {
    print("this line gets printed");
    }
  if(1 == 2)
    {
    print("this line never gets printed");
    }
</code>


==Boolean Operators==
==Boolean Operators==
{{
eztable|
{{eztr|{{eztd| <nowiki>&&</nowiki> |and}}}}
{{eztr|{{eztd| <nowiki>||</nowiki> |or}}}}
{{eztr|{{eztd| <nowiki>!</nowiki> |not}}}}
}}
Note that the above operators only work with boolean values & datatypes. To make use of them with other datatypes, you will either need to first perform a [[Datatype Conversions|Datatype Conversion]], or you will need to nest your operations such that a boolean value is used with the boolean operators.
{{
CodeSample|
code=
<syntaxhighlight>
if ( true && true )
{
  print( "This line DOES get printed (both possibilities proved true)." );
}
if ( true && false )
{
  print( "This line does NOT get printed (only one possibility proved true)." );
}
if ( true || false )
{
  print( "This line DOES get printed (since at least one of the possibilities proved true)." );
}
if ( ! false )
{
  print( "This line DOES get printed (since the not operator converted false to true)." );
}
</syntaxhighlight>}}
====Notes====
ASH uses [https://en.wikipedia.org/wiki/Short-circuit_evaluation Short-circuit_evaluation].<br>
What this means is that in both of these examples, expensive_function() is not evaluated (i.e. is skipped):


We also need to understand Basic Boolean operators. These only work with boolean:
{{
CodeSample|
code=
<syntaxhighlight>
if ( false && expensive_function() ) {
  ...
}
</syntaxhighlight>}}
{{
CodeSample|
code=
<syntaxhighlight>
if ( true || expensive_function() ) {
  ...
}
</syntaxhighlight>}}


  <table width=95%  cellspacing=0 cellpadding=0> 
==Operator Precedence==
    <tr>
      <td><center><b>Boolean operators</b></center></td>
      <table width=100%  cellspacing=0 cellpadding=1>
        <tr>
          <td><center><b> Operator </b></center></td>
          <td><center><b> Operation </b></center></td>
        </tr>
        <tr>
          <td><center> && </center></td>
          <td><center> and </center></td>
        </tr>
        <tr>
          <td><center> || </center></td>
          <td><center> or </center></td>
        </tr>
        <tr>
          <td><center> ! </center></td>
          <td><center> not </center></td>
        </tr>
      </table>
    </tr>
  </table>


KoLmafia follows [http://download.oracle.com/javase/tutorial/java/nutsandbolts/operators.html Java's Operator Precedence rules] with a few exceptions.


<code>
(The exceptions being operators that exist in only one or the other; operators that exist in both have the same precedence in both.)
  if(true && true)
    {
    print("this line gets printed because both possibilities proved true");
    }
  if(false && true)
    {
    print("this line never gets printed");
    }
  if(false || true)
    {
    print("This line gets printed because 1 of the possibilities was true");
    }
  if(!false)
    {
    print("This line gets printed because the not operator converted false to true.");
    }
</code>
<br />
We also need to understand operator precedence. Statements inside a () pair are always evaluated first, then from left to right.


<code>
{{
  if(true || false && true)
eztable|
    {
{{eztr|{{eztd|14| <nowiki>(reserved for postfix ++ and --)</nowiki> }}}}
    print("This line gets printed");
{{eztr|{{eztd|13| <nowiki>! ~ contains remove (reserved for prefix ++ and --)</nowiki> }}}}
    //true or false is true
{{eztr|{{eztd|12| <nowiki>**</nowiki> }}}}
    //true(from true or false) and true equals true
{{eztr|{{eztd|11| <nowiki>* / %</nowiki> }}}}
    }
{{eztr|{{eztd|10| <nowiki>+ -</nowiki> }}}}
  if(true && (false && true))
{{eztr|{{eztd| 9| <nowiki><< >> >>></nowiki> }}}}
    {
{{eztr|{{eztd|8| <nowiki>< > <= >=</nowiki> }}}}
    print("this line never gets printed");
{{eztr|{{eztd|7| <nowiki>== !=</nowiki> }}}}
    //false && true is inside () so it's first and evaluates to false
{{eztr|{{eztd|6| <nowiki>&</nowiki> }}}}
    //true && false(from true && false) is false
{{eztr|{{eztd|5| <nowiki>^</nowiki> (xor) }}}}
    }
{{eztr|{{eztd|5| <nowiki>|</nowiki> }}}}
  if(true && !(false && true))
{{eztr|{{eztd|3| <nowiki>&&</nowiki> }}}}
    {
{{eztr|{{eztd|2| <nowiki>||</nowiki> }}}}
    print("This line gets printed");
{{eztr|{{eztd|1|(reserved for <nowiki>?:</nowiki>(ternary conditional))}}}}
    //false && true is inside () so it's first and evaluates to false
{{eztr|{{eztd|0| (reserved for assignments)}}}}
    //the ! operator converts the false (from (true && false)) to true
}}
    //true && true(from !(true && false)) is true
    }
</code>
<Br/>
Using '''else''' we can have a code block which executes when the if statement evaluates to true, and another code block which executes when the if statement evaluates to false.
<code>
    if(false)
      {
      print("this line never gets printed");
      }
      else
      {
      print("this line gets printed");
      }  
</code>
<Br/>
<Br/>
We also need to understand nesting if statements.


<code>
Statements inside a () pair are always evaluated first, then in order of precedence as listed above (highest number precedence first), then left-to-right.
  if(true)
{{
    {
CodeSample|
    if(true)
code=
      {
<syntaxhighlight>
      print("this line gets printed");
if ( true || true && false )
      }
{
      else
  print( "This line DOES get printed." );
      {
  // && has highest precedence
      print("this line never gets printed");  
  // true or (true && false) returns true
      }    
}
    print("this line gets printed also");
if ( ( true && false ) && true )
    }
{
  if(false)
  print( "This line does NOT get printed." );
    {
   // ( true && false ) is evaluated first since it is inside of parentheses
    if(true)
  // so we end up evaluating ( false && true ) which returns false
      {
}
      print("this line never gets printed");
if ( true && ! ( true && false ) )
      //though inside an if(true) statement,
{
      //the outer if(false) stops the code from ever getting here.
  print( "This line DOES get printed." );
      }
  // ( true && false ) is evaluated first since it is inside of parentheses
      else
  // the ! operator converts the false from ( true && false ) to true
      {
  // ( true && true ) returns true
      print("this line never gets printed");
}
      }
</syntaxhighlight>}}
    print("this line never gets printed");
[[Category:Scripting]]
    }
</code>
<Br/>
<Br/>
Now you only need to put it all together as needed for your situation.

Latest revision as of 06:30, 28 July 2021

Mathematical Operators

The following mathematical operators are used in KoLmafia:

+ AdditionPerforms addition and string concatenation
- SubtractionPerforms subtraction
* MultiplicationPerforms multiplication
/ DivisionPerforms division
 % ModuloReturns the remainder after division
** ExponentPerforms exponentiation

Note that, with the exception of using "+" for string concatenation, these operators can only be used on int or float datatypes.

Bitwise Operators

The following mathematical operators are used for operating on the bits of integers. The logical operators (&, |, ^) work either with booleans or integers while the others operate upon integers only. If the operands are booleans, then result will also be a boolean.

& anda & b
| ora | b
^ XORa ^ b
~ not~a
<< left shifta << b
>> right shifta >> b
&= anda &= b --> a = a & b
|= ora |= b --> a = a | b
>>> unsigned right shifta >>> b


Assignment Operators

The following assignment operators are used in KoLmafia (let a = left operand, b = right operand):

= a = b
+= a = a + b
-= a = a - b
*= a = a * b
/= a = a / b
 %= a = a % b
**= a = a ** b
^= a = a ^ b
>>= a = a >> b
>>>= a = a >>> b

Of these, only += and = are usable for strings. See Mathematical Operators for information regarding the basic Mathematical Operators.

Relational Operators

To follow these examples, a basic understanding of the concepts found on Control Structures would be helpful.

In order to create more complex if statements, we need to understand the basic relational operators:

== equal to
 != not equal to
< less than
> greater than
<= less than or equal to
>= greater than or equal to
approximately equal to

Note that you cannot mix most datatypes within a comparison or KoLmafia will abort with an error, with the exception of mixing types int and float, where KoLmafia will do a transparent type conversion behind-the-scenes. If you need to compare different datatypes, use one or more of the Datatype Conversion functions.

if ( true == true )
{
   print( "This line DOES get printed." );
}
if ( true == false )
{
   print( "This line does NOT get printed." );
}
if ( 1 == 1.0 )
{
   print( "This line DOES get printed." );
}
if ( 1 == 2 )
{
   print( "This line does NOT get printed." );
}
if ( "Hello" == "hello" )
{
   print( "This line does NOT get printed." );
}


As of r16180, the equality (==) and inequality (!=) operators compare strings case-sensitively.

The "approximately equal" operator () was introduced in r16284. When comparing two strings, it compares them case-insensitively. When comparing other data types, it behaves like the equality operator (==).

Another exception is with strings. If the first datatype is a string, and the second isn't, the latter will be silently converted into a string. Remember that strings are compared alphabetically (with the alphabet here being the characters' ASCII value), just like in a dictionary, in which "smaller" means "would come before".

if ( "a" < "b" )
{
   print( "This line DOES get printed." );
}
if ( "apple" < "b" )
{
   print( "This line DOES get printed." );
}
if ( "1" < 2 )
{
   print( "This line DOES get printed." );
}
if ( "1487" < 2 )
{
   print( "This line DOES get printed." );
}
if ( "a" < 2 )
{
   print( "This line does NOT get printed." );
}

if ( "3" == 3 )
{
   print( "This line DOES get printed." );
}
if ( "3.0" == 3 )
{
   print( "This line does NOT get printed." );
}
if ( 3 == "3" )
{
   print( "This GENERATES AN ERROR!" );
}

if ( "true" == true )
{
   print( "This line DOES get printed." );
}

Take the habit of always converting your datatypes to avoid unexpected problems.


Boolean Operators

&& and
|| or
 ! not

Note that the above operators only work with boolean values & datatypes. To make use of them with other datatypes, you will either need to first perform a Datatype Conversion, or you will need to nest your operations such that a boolean value is used with the boolean operators.

if ( true && true )
{
   print( "This line DOES get printed (both possibilities proved true)." );
}
if ( true && false )
{
   print( "This line does NOT get printed (only one possibility proved true)." );
}
if ( true || false )
{
   print( "This line DOES get printed (since at least one of the possibilities proved true)." );
}
if ( ! false )
{
   print( "This line DOES get printed (since the not operator converted false to true)." );
}


Notes

ASH uses Short-circuit_evaluation.
What this means is that in both of these examples, expensive_function() is not evaluated (i.e. is skipped):


if ( false && expensive_function() ) {
   ...
}


if ( true || expensive_function() ) {
   ...
}


Operator Precedence

KoLmafia follows Java's Operator Precedence rules with a few exceptions.

(The exceptions being operators that exist in only one or the other; operators that exist in both have the same precedence in both.)

14 (reserved for postfix ++ and --)
13 ! ~ contains remove (reserved for prefix ++ and --)
12 **
11 * / %
10 + -
9 << >> >>>
8 < > <= >=
7 == !=
6 &
5 ^ (xor)
5 |
3 &&
2 ||
1(reserved for ?:(ternary conditional))
0 (reserved for assignments)


Statements inside a () pair are always evaluated first, then in order of precedence as listed above (highest number precedence first), then left-to-right.

if ( true || true && false )
{
   print( "This line DOES get printed." );
   // && has highest precedence
   // true or (true && false) returns true
}
if ( ( true && false ) && true )
{
   print( "This line does NOT get printed." );
   // ( true && false ) is evaluated first since it is inside of parentheses
   // so we end up evaluating ( false && true ) which returns false
}
if ( true && ! ( true && false ) )
{
   print( "This line DOES get printed." );
   // ( true && false ) is evaluated first since it is inside of parentheses
   // the ! operator converts the false from ( true && false ) to true
   // ( true && true ) returns true
}