Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add BBE for byte and expression equality #5654

Merged
merged 13 commits into from
Sep 19, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions examples/binary-data/binary_data.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,5 @@ Binary data is represented by arrays of byte values. It is a special syntax for

## Related links
- [Arrays](/learn/by-example/arrays)
- [Byte type](/learn/by-example/byte-type)
- [Integers](/learn/by-example/integers)

[comment]: # (Add byte type BBE link)
12 changes: 12 additions & 0 deletions examples/byte-type/byte_type.bal
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
import ballerina/io;

public function main() {
// The `byte` type consists of integers ranging from `0` to `255`.
byte b = 255;
io:println(b);

// Since the set of possible `byte` values is a subset of `int` values,
// the `byte` type is a subtype of the `int` type.
int i = b;
io:println(i);
}
7 changes: 7 additions & 0 deletions examples/byte-type/byte_type.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# Byte type

The byte type in Ballerina represents an 8-bit unsigned integer, with values ranging from 0 to 255.

::: code byte_type.bal :::

::: out byte_type.out :::
2 changes: 2 additions & 0 deletions examples/byte-type/byte_type.metatags
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
description: This BBE introduces the Ballerina byte type.
keywords: ballerina, ballerina by example, bbe, bytes, byte, byte type
3 changes: 3 additions & 0 deletions examples/byte-type/byte_type.out
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
$ bal run byte_type.bal
255
255
51 changes: 51 additions & 0 deletions examples/expression-equality/expression_equality.bal
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
import ballerina/io;

public function main() {
map<string> student = {"name": "John", "age": "25"};
map<anydata> student2 = {"name": "John", "age": "25"};

// The `==` check evaluates to `true` since the values are considered equal based on the
// equality of members.
io:println(student == student2);

// The `!=` check evaluates to `false` since the values are considered equal based on the
// equality of members.
io:println(student != student2);

// The `===` check evaluates to `false` since references are different.
io:println(student === student2);

// Assign the value assigned to the `student` variable to the `student3` variable.
map<string> student3 = student;

// The `===` check evaluates to `true` since references are same.
io:println(student3 === student);

// The `!==` check evaluates to `false` since references are same.
io:println(student3 !== student);

// Since values of simple types do not have storage identity
// `===` and `==` return the same result, except for floating point values.
int a = 1;
anydata b = 1;

// The `==` and `===` checks evaluates to `true` since the values are equal.
io:println(a == b);
io:println(a === b);

decimal c = 1.0;
decimal d = 1.00;

// The `==` check evaluates to `true` since the values are equal.
io:println(c == d);
// The `===` check evaluates to `false` since `c` and `d` are distinct values with different precision.
io:println(c === d);

string s1 = "Hello";
string s2 = "Hello";

// String values also do not have storage identity, and `===` checks are
// the same as `==` checks for string values also.
io:println(s1 == s2);
io:println(s1 === s2);
}
12 changes: 12 additions & 0 deletions examples/expression-equality/expression_equality.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
# Expression equality

Expression equality is determined using two operators: `==` for value equality and `===` for reference equality. The `==` operator checks for deep equality between two values by comparing the actual data. In contrast, the `===` operator checks whether two values share the same storage identity, meaning it checks if the values reference the same memory location.

Values with storage identity, such as structured types like maps and arrays, have an identity that comes from the location where the value is stored. For such values, the `===` check determines if two references point to the same location. For simple types such as integers and booleans, which do not have storage identity, `===` behaves the same as `==` except for floating point values.

::: code expression_equality.bal :::

::: out expression_equality.out :::

## Related links
- [Maps](/learn/by-example/maps)
2 changes: 2 additions & 0 deletions examples/expression-equality/expression_equality.metatags
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
description: This BBE demonstrates expression equality checks in Ballerina.
keywords: ballerina, ballerina by example, bbe, ==, !=, ===, !==, equality
12 changes: 12 additions & 0 deletions examples/expression-equality/expression_equality.out
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
$ bal run expression_equality.bal
true
false
false
true
false
true
true
true
false
true
true
21 changes: 21 additions & 0 deletions examples/index.json
Original file line number Diff line number Diff line change
Expand Up @@ -103,6 +103,13 @@
"verifyBuild": true,
"verifyOutput": true,
"isLearnByExample": true
},
{
"name": "Byte type",
"url": "byte-type",
"verifyBuild": true,
"verifyOutput": true,
"isLearnByExample": true
}
]
},
Expand Down Expand Up @@ -415,6 +422,20 @@
}
]
},
{
"title": "Equality",
"column": 0,
"category": "Language concepts",
"samples": [
{
"name": "Expression equality",
"url": "expression-equality",
"verifyBuild": true,
"verifyOutput": true,
"isLearnByExample": true
}
]
},
{
"title": "Lists",
"column": 0,
Expand Down
3 changes: 1 addition & 2 deletions examples/list-equality/list_equality.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,5 @@ You can use `==` and `!=` on lists to check the deep equality of two lists: two
## Related links
- [Tuples](/learn/by-example/tuples)
- [Arrays](/learn/by-example/arrays)
- [Expression equality](/learn/by-example/expression-equality)
- [List sub typing](/learn/by-example/list-subtyping)

[comment]: # (Add equality expression link)
2 changes: 1 addition & 1 deletion examples/security-crypto/security_crypto.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,4 +13,4 @@ Run the program by executing the command below.
::: out security_crypto.out :::

## Related links
- [Binary data](/learn/by-example/binary-data/)
- [Binary data](/learn/by-example/binary-data/)
Loading