Sachverhalt

All Superinterfaces:: Iterable<Sachverhaltselement>

All Known Implementing Classes:: SachverhaltHashMap

public interface Sachverhalt extends Iterable<Sachverhaltselement>

Schnittstelle, über die auf Sachverhaltsdatenbanken zugegriffen werden kann

Author:: Till Menke

Method Summary

Modifier and Type

Method

Description

void

addElement(String key, Sachverhaltselement e)

fügt ein Sachverhaltselement mit dem angegebenen Schlüssel hinzu

<E extends Sachverhaltselement> E

getElement(String key, Class<E> typ, Invalidator invalidator)

liefert ein Sachverhaltselement mit dem angegebenen Schlüssel vom angegebenen Typ zurück

String

getText()

liefert eine textuelle Repräsentation des Sachverhalts

Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator

Method Details
- getElement
  
  <E extends Sachverhaltselement> E getElement(String key, Class<E> typ, Invalidator invalidator) throws SachverhaltsdetailFehltException
  
  liefert ein Sachverhaltselement mit dem angegebenen Schlüssel vom angegebenen Typ zurück
  
  Parameters:
  
  key - Schlüssel
  
  typ - Objekt, welches den angefragten Typ repräsentiert
  
  invalidator - Schnittstelle, über die von diesem Sachverhaltselement abhängige Teile invalidiert werden können
  
  Returns:
  
  Sachverhaltselement
  
  Throws:
  
  SachverhaltsdetailFehltException - wenn das angefragte Sachverhaltselement noch nicht gesetzt wurde
- addElement
  
  void addElement(String key, Sachverhaltselement e)
  
  fügt ein Sachverhaltselement mit dem angegebenen Schlüssel hinzu
  
  Parameters:
  
  key - Schlüssel
  
  e - Sachverhaltselement
- getText
  
  String getText()
  
  liefert eine textuelle Repräsentation des Sachverhalts
  
  Returns:
  
  Zeichenkette mit dem Sachverhalt