Record Class ProceduralConstraintResult

java.lang.Object
java.lang.Record
gov.nasa.jpl.aerie.merlin.server.models.ProceduralConstraintResult
Record Components:
violations - A List of EDSL Violations
constraintId - The constraint's metadata id
constraintRevision - The revision the constraint was on
constraintName - The name of the constraint
All Implemented Interfaces:
gov.nasa.jpl.aerie.constraints.model.ConstraintResult

public record ProceduralConstraintResult(List<gov.nasa.jpl.aerie.constraints.model.Violation> violations, long constraintId, long constraintRevision, String constraintName) extends Record implements gov.nasa.jpl.aerie.constraints.model.ConstraintResult
A ConstraintResult that is created from the output of running a Procedural Constraint.
  • Constructor Details

    • ProceduralConstraintResult

      public ProceduralConstraintResult(List<gov.nasa.jpl.aerie.constraints.model.Violation> violations, long constraintId, long constraintRevision, String constraintName)
      Creates an instance of a ProceduralConstraintResult record class.
      Parameters:
      violations - the value for the violations record component
      constraintId - the value for the constraintId record component
      constraintRevision - the value for the constraintRevision record component
      constraintName - the value for the constraintName record component
  • Method Details

    • toJSON

      public javax.json.JsonObject toJSON()
      Specified by:
      toJSON in interface gov.nasa.jpl.aerie.constraints.model.ConstraintResult
    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object
    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object
    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.
    • violations

      public List<gov.nasa.jpl.aerie.constraints.model.Violation> violations()
      Returns the value of the violations record component.
      Returns:
      the value of the violations record component
    • constraintId

      public long constraintId()
      Returns the value of the constraintId record component.
      Returns:
      the value of the constraintId record component
    • constraintRevision

      public long constraintRevision()
      Returns the value of the constraintRevision record component.
      Returns:
      the value of the constraintRevision record component
    • constraintName

      public String constraintName()
      Returns the value of the constraintName record component.
      Returns:
      the value of the constraintName record component