-
Notifications
You must be signed in to change notification settings - Fork 735
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Port nBallerina readonly and error types
- Loading branch information
1 parent
b5cbe0c
commit 06bb36c
Showing
10 changed files
with
120 additions
and
70 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
24 changes: 24 additions & 0 deletions
24
...ina-semtype-port-test/src/test/resources/test-src/type-rel/fixed-length-array-large-t.bal
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
|
||
type IntArray int[]; | ||
type Int5 int[5]; | ||
type ISTArray (1|2|3)[]; | ||
|
||
public const int MAX_VALUE = 9223372036854775807; | ||
|
||
public const int MAX_VALUE_M_1 = MAX_VALUE - 1; | ||
|
||
// -@type LargeArray < IntArray | ||
type LargeArray int[MAX_VALUE]; | ||
|
||
// @type LargeArray2 < IntArray | ||
// -@type LargeArray <> LargeArray2 | ||
type LargeArray2 int[MAX_VALUE_M_1]; | ||
|
||
// -@type Int5Intersection = Int5 | ||
type Int5Intersection int[5] & !LargeArray; | ||
|
||
type Int10000 int[100000]; | ||
|
||
// -@type ISTArray < I10000A | ||
type I10000A Int10000|(!Int10000 & IntArray); | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters