Record Class GrammarTreeEngine.TreeInspection

java.lang.Object
java.lang.Record
com.knezevic.edaf.v3.repr.grammar.GrammarTreeEngine.TreeInspection
Enclosing class:
GrammarTreeEngine
public static record GrammarTreeEngine.TreeInspection(DerivationTree tree, List<Integer> decisionVector, List<Double> ercValues, String infix, String prefix, String latex, String dot, Map<String,Object> ast, String astJson, TreeMetrics.Summary metrics) extends Record
Tree inspection bundle.

  • Constructor Details

    • TreeInspection

      public TreeInspection(DerivationTree tree, List<Integer> decisionVector, List<Double> ercValues, String infix, String prefix, String latex, String dot, Map<String,Object> ast, String astJson, TreeMetrics.Summary metrics)
      Creates an instance of a TreeInspection record class.
      Parameters:
      tree - the value for the tree record component
      decisionVector - the value for the decisionVector record component
      ercValues - the value for the ercValues record component
      infix - the value for the infix record component
      prefix - the value for the prefix record component
      latex - the value for the latex record component
      dot - the value for the dot record component
      ast - the value for the ast record component
      astJson - the value for the astJson record component
      metrics - the value for the metrics record component

  • Method Details

    • 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. All components in this record class are compared with Objects::equals(Object,Object).
      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.

    • tree

      public DerivationTree tree()
      Returns the value of the tree record component.
      Returns:
      the value of the tree record component

    • decisionVector

      public List<Integer> decisionVector()
      Returns the value of the decisionVector record component.
      Returns:
      the value of the decisionVector record component

    • ercValues

      public List<Double> ercValues()
      Returns the value of the ercValues record component.
      Returns:
      the value of the ercValues record component

    • infix

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

    • prefix

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

    • latex

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

    • dot

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

    • ast

      public Map<String,Object> ast()
      Returns the value of the ast record component.
      Returns:
      the value of the ast record component

    • astJson

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

    • metrics

      public TreeMetrics.Summary metrics()
      Returns the value of the metrics record component.
      Returns:
      the value of the metrics record component