Add @pattern support for constraint package

[TharmiganK]

Purpose

$Subject

Fixes : Add @pattern support for constraint package #3179

Examples

import ballerina/log;
import ballerina/constraint;

string:RegExp regExp = re `([0-9]{10})|(\+[0-9]{11})`;

@constraint:String {pattern: regExp}
type PhoneNumber string;

type User record {|
    string name;
    @constraint:String {pattern: re `male|female`}
    string gender?;
    int age;
    @constraint:String {pattern: re `([0-9]{9}[v|V]|[0-9]{12})`}
    string nic;
|};

type UserAdvanced record {|
    *User;
    PhoneNumber contactNumber;
    @constraint:String {pattern: re `([a-zA-Z0-9._%\-]+@[a-zA-Z0-9.\-]+\.[a-zA-Z]{2,6})*`}
    string email;
|};

public function main() {
    PhoneNumber phoneNumber = "0774563957";
    do {
        phoneNumber = check constraint:validate(phoneNumber);
        log:printInfo("phone number is valid");
    } on fail error err {
        log:printError("error occurred while checking phone number", err);
    }

    User user = {
        name: "John",
        age: 36,
        gender: "male",
        nic: "198654673682"
    };
    do {
        user = check constraint:validate(user);
        log:printInfo("user is valid");
    } on fail error err {
        log:printError("error occurred while checking user", err);
    }

    UserAdvanced userAdvanced = {
        ... user,
        contactNumber: phoneNumber,
        email: "[email protected]"
    };
    do {
        userAdvanced = check constraint:validate(userAdvanced);
        log:printInfo("userAdvanced is valid");
    } on fail error err {
        log:printError("error occurred while checking userAdvanced", err);
    }
}

Checklist

• Linked to an issue
• Updated the changelog
• Added tests
• Updated the spec
• Checked native-image compatibility

[codecov]

Codecov Report

Base: 89.51% // Head: 90.11% // Increases project coverage by +0.60% 🎉

Coverage data is based on head (5352f0c) compared to base (ecce026).
Patch coverage: 100.00% of modified lines in pull request are covered.

Additional details and impacted files

@@             Coverage Diff              @@
##               main      #29      +/-   ##
============================================
+ Coverage     89.51%   90.11%   +0.60%     
- Complexity      121      126       +5     
============================================
  Files            17       18       +1     
  Lines           248      253       +5     
  Branches         43       43              
============================================
+ Hits            222      228       +6     
  Misses           13       13              
+ Partials         13       12       -1     

Impacted Files	Coverage Δ
ballerina/constraint.bal	100.00% <ø> (ø)
...java/io/ballerina/stdlib/constraint/Constants.java	0.00% <ø> (ø)
...stdlib/constraint/InternalValidationException.java	100.00% <ø> (ø)
...onstraint/validators/ArrayConstraintValidator.java	100.00% <100.00%> (ø)
...onstraint/validators/FloatConstraintValidator.java	100.00% <100.00%> (ø)
.../constraint/validators/IntConstraintValidator.java	100.00% <100.00%> (ø)
...nstraint/validators/NumberConstraintValidator.java	100.00% <100.00%> (ø)
...nstraint/validators/StringConstraintValidator.java	100.00% <100.00%> (ø)
...straint/validators/interfaces/LengthValidator.java	100.00% <100.00%> (ø)
...traint/validators/interfaces/PatternValidator.java	100.00% <100.00%> (ø)
... and 1 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

[shafreenAnfar]

Didn't go through the code but the functionality looks good to me!

Hope @chamil321 will validate the tests and the code. Also lets make sure tooling side is ready when it comes to regex.

[TharmiganK]

Didn't go through the code but the functionality looks good to me!

Hope @chamil321 will validate the tests and the code. Also lets make sure tooling side is ready when it comes to regex.

There are still some pending issues regarding the tooling support for regexp from lang side such as :

• Can't we have a filler value for regexp type ballerina-spec#1188
• [Task]: Add code action support for regular expressions ballerina-lang#38568
• [Bug]: Create variable code action is not suggesting for "re ``" expression ballerina-lang#39249