Difference between revisions of "LSL Operators"
m (qualified "parentheses") |
m (caught two missing references to Wikipedia, added appropriate template) |
||
(13 intermediate revisions by 6 users not shown) | |||
Line 1: | Line 1: | ||
{{LSL Header|ml=*}} | {{LSL Header|ml=*}} | ||
Operators are used to cause an operation (or mathematical action) to be performed on one (such as !) or two operands. The easy and common example is 1 + 2 where 1 and 2 are operands, and the '''+''' is the operator. This concept can be extended much further with LSL since operands can be variables with the special case of the assignment operators requiring that the left hand side be a variable. | Operators are used to cause an operation (or mathematical action) to be performed on one (such as !) or two operands. The easy and common example is 1 + 2 where 1 and 2 are operands, and the '''+''' is the operator. This concept can be extended much further with LSL since operands can be variables with the special case of the assignment operators requiring that the left hand side be a variable. | ||
Line 12: | Line 12: | ||
| <code>()</code> | | <code>()</code> | ||
|| parentheses: grouping and evaluation precedence | || parentheses: grouping and evaluation precedence | ||
|| <code>a * (b + c)</code> | || <code>integer val = a * (b + c);</code> | ||
|- | |- | ||
| <code>[]</code> | | <code>[]</code> | ||
|| brackets: list constructor | || brackets: list constructor | ||
|| <code>[a, 2, "this", 0.01]</code> | || <code>list lst = [a, 2, "this", 0.01];</code> | ||
|- | |- | ||
| <code>(''type'')</code> | | <code>(''type'')</code> | ||
|| typecasting | || typecasting | ||
|| <code>message = "The result is:" + (string)result;</code> | || <code>string message = "The result is:" + (string)result;</code> | ||
|- | |- | ||
| <code>!</code> <code>~</code> <code>++</code> <code>--</code> | | <code>!</code> <code>~</code> <code>++</code> <code>--</code> | ||
Line 28: | Line 28: | ||
| <code>*</code> <code>/</code> <code>%</code> | | <code>*</code> <code>/</code> <code>%</code> | ||
|| multiply/dot product, divide, modulus/cross product | || multiply/dot product, divide, modulus/cross product | ||
|| <code>rollover = (count + 1) % 5;</code> | || <code>integer rollover = (count + 1) % 5;</code> | ||
|- | |- | ||
| <code>-</code> | | <code>-</code> | ||
|| subtraction, negation | || subtraction, negation | ||
|| <code>one = 3 - 2; | || <code>integer one = 3 - 2;</code> | ||
<code>integer neg_one = -1;</code> | |||
|- | |- | ||
| <code>+</code> | | <code>+</code> | ||
|| addition, string concatenation | || addition, string concatenation | ||
|| <code>two = 1 + 1; | || <code>integer two = 1 + 1;</code> | ||
text = "Hello" + " | <code>string text = "Hello" + " world";</code> | ||
|- | |- | ||
| <code>+</code> | | <code>+</code> | ||
|| list concatenation | || list concatenation | ||
|| <code>myList = [1, 2, 3] + [4, 5]; | || <code>list myList = [1, 2, 3] + [4, 5];</code> | ||
newList = oldList + addList;</code> | <code>list newList = oldList + addList;</code> | ||
|- | |- | ||
| <code><<</code> <code>>></code> | | <code><<</code> <code>>></code> | ||
|| left shift, right shift | || {{Wikipedia|Arithmetic_shift|arithmetic}} left shift, {{Wikipedia|Arithmetic_shift|arithmetic}} right shift | ||
|| <code>eight = 4 << 1;</code> | || <code>integer eight = 4 << 1;</code> | ||
<code>integer neg_one = -2 >> 1;</code> | |||
|- | |- | ||
| <code><</code> <code><=</code> <code>></code> <code>>=</code> | | <code><</code> <code><=</code> <code>></code> <code>>=</code> | ||
|| less than, less than or equal to, greater than, greater than or equal to | || less than, less than or equal to, greater than, greater than or equal to | ||
|| <code>isFalse = (6 <= 4);</code> | || <code>integer isFalse = (6 <= 4);</code> | ||
|- | |- | ||
| <code>==</code> <code>!=</code> | | <code>==</code> <code>!=</code> | ||
|| comparison: equal, not equal | || comparison: equal, not equal | ||
|| <code>isFalse = ("this" == "that");</code> | || <code>integer isFalse = ("this" == "that");</code> | ||
|- | |- | ||
| <code>&</code> | | <code>&</code> | ||
|| bitwise AND | || bitwise AND | ||
|| <code>zero = 4 & 2; | || <code>integer zero = 4 & 2;</code> | ||
four = 4 & 4;</code> | <code>integer four = 4 & 4;</code> | ||
|- | |- | ||
| <code>^</code> | | <code>^</code> | ||
|| bitwise XOR | || bitwise XOR | ||
|| <code>zero = 4 ^ 4; | || <code>integer zero = 4 ^ 4;</code> | ||
six = 4 ^ 2;</code> | <code>integer six = 4 ^ 2;</code> | ||
|- | |- | ||
| <code><nowiki>|</nowiki></code> | | <code><nowiki>|</nowiki></code> | ||
|| bitwise OR | || bitwise OR | ||
|| <code>four = 4 <nowiki>|</nowiki> 4; | || <code>integer four = 4 <nowiki>|</nowiki> 4;</code> | ||
six = 4 <nowiki>|</nowiki> 2;</code> | <code>integer six = 4 <nowiki>|</nowiki> 2;</code> | ||
|- | |- | ||
| <code><nowiki>||</nowiki></code> | | <code>&&</code> <code><nowiki>||</nowiki></code> | ||
|| logical OR | || logical AND, logical OR | ||
|| <code> | || <code>integer isFalse = (FALSE && TRUE);</code> | ||
<code>integer isTrue = (FALSE <nowiki>||</nowiki> TRUE);</code> | |||
|| < | |||
|- | |- | ||
| <code>=</code> <code>+=</code> <code>-=</code> <code>*=</code> <code>/=</code> <code>%=</code> | | <code>=</code> <code>+=</code> <code>-=</code> <code>*=</code> <code>/=</code> <code>%=</code> | ||
|| assignment | || assignment | ||
|| <code>four = 4;</code> | || <code>integer four = 4;</code> | ||
<code>integer eight = four; eight *= 2;</code> | |||
|} | |} | ||
'''Note:''' | '''Note:''' Unlike most other languages that use the C-style <code>&&</code> and <code>||</code> operators, '''both''' operands are '''always''' evaluated. For example, | ||
<syntaxhighlight lang="lsl2">if (TRUE || 1/0) llSay(PUBLIC_CHANNEL, "Aha!");</syntaxhighlight> | |||
: will cause a Math Error rather than say "Aha!" | |||
'''Note:''' | '''Note:''' The <code>++</code> (increment) and <code>--</code> (decrement) operators have two versions, pre- and post-. The ''pre''-increment (or ''pre''-decrement) operator increments (or decrements) its operand by 1; the value of the expression is the incremented (or decremented) value. The ''post''-increment (or ''post''-decrement) operator increases (or decreases) the value of its operand by 1, but the value of the expression is the operand's original value ''prior'' to the operation. | ||
<syntaxhighlight lang="lsl2">integer count = 0; | |||
if( ++count == 1 ) // 'count' is incremented then evaluated. | |||
llSay(PUBLIC_CHANNEL, "Aha"); // message will be said.</syntaxhighlight> | |||
< | <syntaxhighlight lang="lsl2">integer count = 0; | ||
if( count++ == 1 ) // 'count' is evaluated then incremented. | |||
llSay(PUBLIC_CHANNEL, "Aha"); // message will not be said.</syntaxhighlight> | |||
'''Note:''' In most programming languages, and in the LSL bitwise operators, the AND operator has greater precedence than the OR operator. However, the LSL logical operators <nowiki>||</nowiki> and <nowiki>&&</nowiki> have ''the same'' precedence. For example: | |||
<syntaxhighlight lang="lsl2">1 || 1 && 0 // result: 0 because it's the same as (1 || 1) && 0</syntaxhighlight> | |||
<syntaxhighlight lang="lsl2">1 | 1 & 0 // result: 1 because it's the same as 1 | (1 & 0)</syntaxhighlight> | |||
'''Note:''' The order of evaluation is from right to left. If the value of x starts as 1 then the first two conditions below evaluate false and the second two evaluate true: | |||
< | <syntaxhighlight lang="lsl2">(x && (x = 0) == 0 && x)</syntaxhighlight> | ||
<syntaxhighlight lang="lsl2">(x && (x = 0) == 0 && x == 0)</syntaxhighlight> | |||
<syntaxhighlight lang="lsl2">(x == 0 && (x = 0) == 0)</syntaxhighlight> | |||
<syntaxhighlight lang="lsl2">(x == 0 && (x = 0) == 0 && x)</syntaxhighlight> | |||
Both sides are evaluated regardless of the the truth of either side. | |||
==% Modulus== | |||
'''Note:''' | '''Note:''' Modulus (<code>%</code>), like division, cause a ''Script run-time error. Math Error'' when its second operand equals zero. | ||
< | '''Note:''' The <code>%</code> operator only accepts integer (<code>%</code> as modulus) and vector (<code>%</code> as cross product) operands. | ||
< | |||
< | |||
The modulus, also known as {{wikipedia|Modulo}}, produces the remainder after the first operand is divided by the second. Mathematically <code>a % b</code> is equivalent to <code>a - (a/b) * b</code>, since integer division <code>a/b</code> is truncated. This is also why the second operand cannot be zero. | |||
The operator can be confusing, even to veteran scripters. The following example(s) may prove useful in understanding how modulus can be used: | |||
* Determine if an integer '''''input''''' is even or odd: | |||
<syntaxhighlight lang="lsl2"> | |||
if (input % 2 == 0) // input is even | |||
{ | |||
// do even things | |||
} | |||
else // it's odd | |||
{ | |||
// do odd things | |||
} | |||
</syntaxhighlight> | |||
* In the LSL implementation, the result always has the same sign as the first operand. | |||
** -7 divided by 3 is -2 with a remainder of -1 (3 * -2 = -6, so the difference is -7 - -6 = -7 + 6 = -1), <code>-7 % 3 == -1</code>. | |||
** Conversely, 7 divided by -3 is -2 with a remainder of 1 (-3 * -2 = 6, so the difference is 7 - 6 = 1), <code>7 % -3 == 1</code>. | |||
* If the second operand is known to be a positive power of two, the modulus <code>a % b</code> can be replaced with the bitwise AND operator <code>a & (b-1)</code> which is more efficient. | |||
** <code>7 % 4</code> and <code>7 & 3</code> are both 3. | |||
** However, AND always returns a positive value: <code>-7 % 4 == -3</code>, but <code>-7 & 3 == 1</code>, which is 4 greater than the modulus putting it in the positive. This may or may not be desirable depending on the situation. | |||
* Sometimes taking a modulus of floating point numbers is useful. The formula from the introduction works as long as the quotient is cast to an integer: <code>a - (integer)(a/b) * b</code>. | |||
** Take the fractional part of <code>a</code> (<code>b</code> is 1.0 and can be left out): <code>7.8813 - (integer)(7.8813) == 0.8813</code>. | |||
** Limit an angle <code>a</code> within TWO_PI radians, i.e. a full circle: <code>7.8813 - (integer)(7.8813/TWO_PI) * TWO_PI == 1.598114</code>. | |||
==+ Operator== | |||
'''Note:''' Equality test on lists does not compare contents, only the length. | '''Note:''' Equality test on lists does not compare contents, only the length. | ||
{| {{Prettytable}} | {| {{Prettytable}} | ||
|+ | |+ | ||
<code>result = left + right</code> | <code>result = left + right</code> | ||
|-{{Hl2}} | |-{{Hl2}} | ||
Line 172: | Line 198: | ||
|} | |} | ||
==Shorthand Operators== | |||
{| {{Prettytable}} | {| {{Prettytable}} | ||
|+ | |+ | ||
Alternatives to the simple '=' operator... | Alternatives to the simple '=' operator... | ||
|-{{Hl2}} | |-{{Hl2}} | ||
Line 230: | Line 256: | ||
|} | |} | ||
Due to {{Wikipedia|De Morgan's laws|w=n}}, by row, code in the '''AND''' column is logically equivalent to code in the '''OR'''. '''a''' and '''b''' need not be variables, they can be expressions. In certain circumstances these equivalencies can be used to simplify complex code. It is important not to confuse the two sets when using them. The first two rows depict De Morgan's laws as it is formulated, the second two build upon it. | Due to {{Wikipedia|De Morgan's laws|w=n}}, by row, code in the '''AND''' column is logically equivalent to code in the '''OR'''. '''a''' and '''b''' need not be variables, they can be expressions. In certain circumstances these equivalencies can be used to simplify complex code. It is important not to confuse the two sets when using them. The first two rows depict De Morgan's laws as it is formulated, the second two build upon it. | ||
{{clear}} | |||
== Useful Snippets == | |||
Typecasting can also be used if you have to concatenate many parts into a string: | |||
<syntaxhighlight lang="lsl2"> | |||
// the following twp statements are equivalent: | |||
string message1 = (string)["I have ", 5, " children at the average age of ", 8.2, " years"]; | |||
string message2 = "I have 5 children at the average age of 8.200000 years"; | |||
</syntaxhighlight> | |||
{{LSLC|}}{{LSLC|Syntax}}{{LSLC|Keywords}} | {{LSLC|}}{{LSLC|Syntax}}{{LSLC|Keywords}} | ||
{{LSLC|FixMe}}<!-- This article is woefully incomplete, it needs more Operator tables --> |
Latest revision as of 08:15, 30 April 2024
LSL Portal | Functions | Events | Types | Operators | Constants | Flow Control | Script Library | Categorized Library | Tutorials |
Operators are used to cause an operation (or mathematical action) to be performed on one (such as !) or two operands. The easy and common example is 1 + 2 where 1 and 2 are operands, and the + is the operator. This concept can be extended much further with LSL since operands can be variables with the special case of the assignment operators requiring that the left hand side be a variable.
The following table lists the operators in descending order of evaluation, i.e. higher in the table means higher evaluation precedence. Multiple operators on the same line share evaluation precedence. Parenthesize an expression if you need to force an evaluation order.
Operator | Description | Usage Example |
---|---|---|
()
|
parentheses: grouping and evaluation precedence | integer val = a * (b + c);
|
[]
|
brackets: list constructor | list lst = [a, 2, "this", 0.01];
|
(type)
|
typecasting | string message = "The result is:" + (string)result;
|
! ~ ++ --
|
logical NOT, bitwise NOT, increment, decrement | counter++;
|
* / %
|
multiply/dot product, divide, modulus/cross product | integer rollover = (count + 1) % 5;
|
-
|
subtraction, negation | integer one = 3 - 2;
|
+
|
addition, string concatenation | integer two = 1 + 1;
|
+
|
list concatenation | list myList = [1, 2, 3] + [4, 5];
|
<< >>
|
arithmetic left shift, arithmetic right shift | integer eight = 4 << 1;
|
< <= > >=
|
less than, less than or equal to, greater than, greater than or equal to | integer isFalse = (6 <= 4);
|
== !=
|
comparison: equal, not equal | integer isFalse = ("this" == "that");
|
&
|
bitwise AND | integer zero = 4 & 2;
|
^
|
bitwise XOR | integer zero = 4 ^ 4;
|
|
|
bitwise OR | integer four = 4 | 4;
|
&& ||
|
logical AND, logical OR | integer isFalse = (FALSE && TRUE);
|
= += -= *= /= %=
|
assignment | integer four = 4;
|
Note: Unlike most other languages that use the C-style &&
and ||
operators, both operands are always evaluated. For example,
if (TRUE || 1/0) llSay(PUBLIC_CHANNEL, "Aha!");
- will cause a Math Error rather than say "Aha!"
Note: The ++
(increment) and --
(decrement) operators have two versions, pre- and post-. The pre-increment (or pre-decrement) operator increments (or decrements) its operand by 1; the value of the expression is the incremented (or decremented) value. The post-increment (or post-decrement) operator increases (or decreases) the value of its operand by 1, but the value of the expression is the operand's original value prior to the operation.
integer count = 0;
if( ++count == 1 ) // 'count' is incremented then evaluated.
llSay(PUBLIC_CHANNEL, "Aha"); // message will be said.
integer count = 0;
if( count++ == 1 ) // 'count' is evaluated then incremented.
llSay(PUBLIC_CHANNEL, "Aha"); // message will not be said.
Note: In most programming languages, and in the LSL bitwise operators, the AND operator has greater precedence than the OR operator. However, the LSL logical operators || and && have the same precedence. For example:
1 || 1 && 0 // result: 0 because it's the same as (1 || 1) && 0
1 | 1 & 0 // result: 1 because it's the same as 1 | (1 & 0)
Note: The order of evaluation is from right to left. If the value of x starts as 1 then the first two conditions below evaluate false and the second two evaluate true:
(x && (x = 0) == 0 && x)
(x && (x = 0) == 0 && x == 0)
(x == 0 && (x = 0) == 0)
(x == 0 && (x = 0) == 0 && x)
Both sides are evaluated regardless of the the truth of either side.
% Modulus
Note: Modulus (%
), like division, cause a Script run-time error. Math Error when its second operand equals zero.
Note: The %
operator only accepts integer (%
as modulus) and vector (%
as cross product) operands.
The modulus, also known as Modulo, produces the remainder after the first operand is divided by the second. Mathematically a % b
is equivalent to a - (a/b) * b
, since integer division a/b
is truncated. This is also why the second operand cannot be zero.
The operator can be confusing, even to veteran scripters. The following example(s) may prove useful in understanding how modulus can be used:
- Determine if an integer input is even or odd:
if (input % 2 == 0) // input is even
{
// do even things
}
else // it's odd
{
// do odd things
}
- In the LSL implementation, the result always has the same sign as the first operand.
- -7 divided by 3 is -2 with a remainder of -1 (3 * -2 = -6, so the difference is -7 - -6 = -7 + 6 = -1),
-7 % 3 == -1
. - Conversely, 7 divided by -3 is -2 with a remainder of 1 (-3 * -2 = 6, so the difference is 7 - 6 = 1),
7 % -3 == 1
.
- -7 divided by 3 is -2 with a remainder of -1 (3 * -2 = -6, so the difference is -7 - -6 = -7 + 6 = -1),
- If the second operand is known to be a positive power of two, the modulus
a % b
can be replaced with the bitwise AND operatora & (b-1)
which is more efficient.7 % 4
and7 & 3
are both 3.- However, AND always returns a positive value:
-7 % 4 == -3
, but-7 & 3 == 1
, which is 4 greater than the modulus putting it in the positive. This may or may not be desirable depending on the situation.
- Sometimes taking a modulus of floating point numbers is useful. The formula from the introduction works as long as the quotient is cast to an integer:
a - (integer)(a/b) * b
.- Take the fractional part of
a
(b
is 1.0 and can be left out):7.8813 - (integer)(7.8813) == 0.8813
. - Limit an angle
a
within TWO_PI radians, i.e. a full circle:7.8813 - (integer)(7.8813/TWO_PI) * TWO_PI == 1.598114
.
- Take the fractional part of
+ Operator
Note: Equality test on lists does not compare contents, only the length.
Left Type | Right Type | Result Type | Description |
---|---|---|---|
integer | integer | integer | Adds left and right |
integer | float | float | Adds left and right |
float | integer | float | Adds left and right |
string | string | string | Concatenates right onto the end of left. |
list | * | list | Concatenates right onto the end of left. |
* | list | list | Affixes left onto the start of right. |
vector | vector | vector | Adds left and right |
rotation | rotation | rotation | Adds left and right Not useful for combining rotations, use * or / instead. |
Shorthand Operators
Simple assignment operator | Shorthand operator |
---|---|
a = a + 1 | a += 1 |
a = a – 1 | a -= 1 |
a = a * (n+1) | a *= (n+1) |
a = a / (n+1) | a /= (n+1) |
a = a % b | a %= b |
De Morgan's laws
AND | OR |
---|---|
~(a & b) |
~a | ~b
|
~a & ~b |
~(a | b)
|
a & ~b |
~(~a | b)
|
~(a & ~b) |
~a | b
|
AND | OR |
---|---|
!(a && b) |
!a || !b
|
!a && !b |
!(a || b)
|
a && !b |
!(!a || b)
|
!(a && !b) |
!a || b
|
Due to De Morgan's laws, by row, code in the AND column is logically equivalent to code in the OR. a and b need not be variables, they can be expressions. In certain circumstances these equivalencies can be used to simplify complex code. It is important not to confuse the two sets when using them. The first two rows depict De Morgan's laws as it is formulated, the second two build upon it.
Useful Snippets
Typecasting can also be used if you have to concatenate many parts into a string:
// the following twp statements are equivalent:
string message1 = (string)["I have ", 5, " children at the average age of ", 8.2, " years"];
string message2 = "I have 5 children at the average age of 8.200000 years";