/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_ParamFailure2(String source, String destination, String result) {
boolean ParamFailure2 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d*: Parameter (->array<- )?has incompatible array depth.\n(line 3:\\d+: (unexpected token: null|expecting TOK_RPAREN, found ';')\\n)?line 3:\\d+: (expecting Semicolon, found 'null'|expecting TOK_RPAREN, found 'to')\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
ParamFailure2 = match.matches();
return ParamFailure2;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_ParamFailure1(String source, String destination, String result) {
boolean ParamFailure1 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d*: Parameter ->array<- has been assigned value of different type..\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
ParamFailure1 = match.matches();
return ParamFailure1;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_Failure7(String source, String destination, String result) {
boolean Failure7 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d*: The rvalue has incompatible array depth.\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
Failure7 = match.matches();
return Failure7;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_ReturnFailure1(String source, String destination, String result) {
boolean ReturnFailure1 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d*: Invalid data type returned for operation.\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
ReturnFailure1 = match.matches();
return ReturnFailure1;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_Failure6(String source, String destination, String result) {
boolean Failure6 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d*: The rvalue contains an Array Index Out of Bounds.\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
Failure6 = match.matches();
return Failure6;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_Failure5(String source, String destination, String result) {
boolean Failure5 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d+: Negative Array Index value is not allowed.\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
Failure5 = match.matches();
return Failure5;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_ReturnFailure2(String source, String destination, String result) {
boolean ReturnFailure2 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d+: Return type has incompatible array depth.\nline 3:\\d+: expecting Semicolon, found 'null'\n:3:\\d+-\\d+: Return value required by ((class|interface) operation|function|bridge)\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
ReturnFailure2 = match.matches();
return ReturnFailure2;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_Failure4(String source, String destination, String result) {
boolean Failure4 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d+: (Variable|Attribute) ->array<- has an incompatible array length for dimension 0.\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
Failure4 = match.matches();
return Failure4;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_ParamFailure3(String source, String destination, String result) {
boolean ParamFailure3 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d+: Parameter (->array<- )?contains an Array Index Out of Bounds.\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
ParamFailure3 = match.matches();
return ParamFailure3;
}
/**
* This function verifies an expected result.
*
* @param source A model element instance aquired through a action taken on a column of the
* matrix.
* @param destination A model element instance aquired through a action taken taken on a row of
* the matrix.
* @param result TODO
* @return true if the test succeeds, false if it fails
*/
boolean checkResult_Failure2(String source, String destination, String result) {
boolean Failure2 = false;
Pattern resultPatten =
Pattern.compile(
":3:\\d+-\\d+: (Variable|Attribute) ->array<- has incompatible ((array depth)|(dimension size with the rvalue)).\nline 3:\\d+: expecting Semicolon, found 'null'\n");
java.util.regex.Matcher match = resultPatten.matcher(result);
Failure2 = match.matches();
return Failure2;
}