Interface JustificationElement

All Superinterfaces:
ElementView
All Known Subinterfaces:
CommonElement
All Known Implementing Classes:
AbstractSupport, Conclusion, Evidence, Strategy, SubConclusion
public sealed interface JustificationElement extends ElementView permits CommonElement, AbstractSupport
Sealed root of the element hierarchy. Permits only CommonElement and AbstractSupport, ensuring exhaustive pattern matching over all element types.

  • Method Summary

    Modifier and Type
    Method
    Description
    default <R> R
    accept(JustificationVisitor<R> visitor)
     
    String
    kind()
    The kebab-case name of this element's kind, as used in user-facing output: conclusion, sub-conclusion, strategy, evidence, abstract-support.

    Methods inherited from interface ElementView

    id, label

  • Method Details

    • kind

      String kind()
      The kebab-case name of this element's kind, as used in user-facing output: conclusion, sub-conclusion, strategy, evidence, abstract-support.
      Returns:
      the kind name of this element.

    • accept

      default <R> R accept(JustificationVisitor<R> visitor)