Class FailedElementDetails


  • public class FailedElementDetails
    extends java.lang.Object
    Class for storing Failed elements details.
    Author:
    Sizonenko
    • Field Detail

      • problemConstraint

        private Constraint problemConstraint
      • errorClassifier

        private java.lang.Integer errorClassifier
    • Constructor Detail

      • FailedElementDetails

        public FailedElementDetails()
        Main constructor.
    • Method Detail

      • setProblemConstraintPart

        public void setProblemConstraintPart​(ConstraintSyntaxTree problemConstraintPart)
        Method for adding a part of failed Constraints ConstraintSyntaxTree.
        Parameters:
        problemConstraintPart - Part of failed constraint.
      • setProblemConstraint

        public void setProblemConstraint​(Constraint problemConstraint)
        Method for adding the failed Constraints Constraint.
        Parameters:
        problemConstraint - The failed constraint.
      • setErrorClassifier

        public void setErrorClassifier​(java.lang.Integer classifier)
        Method for adding error classifier.
        Parameters:
        classifier - error classifier.
      • getProblemConstraint

        public Constraint getProblemConstraint()
        Method for returning the failed Constraint Constraint.
        Returns:
        The failed constraint.
      • getErrorClassifier

        public java.lang.Integer getErrorClassifier()
        Method for returning error classifier.
        Returns:
        error classifier.