Interface ElementView

All Known Subinterfaces:
CommonElement, ElementCreationCommand, JustificationElement
All Known Implementing Classes:
AbstractSupport, Conclusion, CreateAbstractSupport, CreateConclusion, CreateEvidence, CreateStrategy, CreateSubConclusion, Evidence, SourcedElement, Strategy, SubConclusion
public interface ElementView
Read-only view of an element's identity: its id and label.

Implemented by JustificationElement (live model elements) and ElementCreationCommand (construction commands), allowing equivalence relations and partition utilities to operate uniformly over both without requiring one to wrap the other.

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    id()
    Unique identifier of this element within its containing model.
    String
    label()
    Human-readable display label.

  • Method Details

    • id

      String id()
      Unique identifier of this element within its containing model.

    • label

      String label()
      Human-readable display label.