/**
  * 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;
 }