Ist Gleich

Die rechts abgebildete Objekt-Feld-Regel kann in die Prüfende Regel einer Ereignisbehandlung oder in einer Wenn Dann Sonst-Ereignisaktion verwendet werden, um die kritische Operation bedingt auszuführen:

• Die Wert-Konfiguration für den Prüfwert (links) verwendet den Benutzereingabe-Wertauflöser, dessen Rückgabewert vom verketteten In Großbuchstaben-Wertauflöser in eine Sequenz von Großbuchstaben umgewandelt wird.

• In der Wert-Konfiguration für den Vergleichswert ist der Secret Code als Zeichenfolge chatGptMeIfYouCan statisch hinterlegt (s. Statische Werte). Der unterhalb verkettete In Großbuchstaben-Wertauflöser stellt sicher, dass auch der Vergleichswert im Vergleich nur als Sequenz von Großbuchstaben verglichen wird.
  
  

►ANMERKUNG◄ Die fehlerfreie Eingabe einer Zeichenfolge wie CHATGPTMEIFYOUCAN fällt Menschen wesentlich leichter, wenn die Sequenz durch den Wechsel zwischen Klein- und Großbuchstaben aufgelockert wird.

Die rechts abgebildete Objekt-Feld-Regel verrechnet die Eingangsgrößen, prüft die Bedingung ("Ladungsgewicht im Sollbereich") und speichert das Ladungsgewicht in einer Variablen weight für die weitere Verwendung ab:

• Der Prüfwert (links) definiert den statischen Vorgabewert für den Ganzzahl-Anteil des Ladungsgewichts in Tonnen.
  
  

• Der Vergleichswert (rechts) beinhaltet die Berechnung in einem Berechne Wert-Wertauflöser. Das Gewicht der Flüssigkeit (Anzahl Kubikmeter x Gewicht eines Kubikmeters) wird in Tonnen (t) umgerechnet zurückgegeben.
  
  

  • Die primär berechnete "Zahl mit Einheit" wird durch den verketteten Wert als Variable speichern-Wertauflöser der Variablen weight zugeordnet.
    
    

  • Der verkettete Objekt-Feld-Wertauflöser greift danach auf den "Wert" (value) der Zahl mit Einheit zu, der im BigDecimal-Format (Kommazahl) den Vergleichswert definiert.

►WICHTIG◄ Der Ist Gleich-Vergleichstyp versucht den Datentyp des Vergleichswerts (rechts) in den Typ des Prüfwerts (links) umzuwandeln. In der Konfiguration rechts erscheint der für den Vergleich maßgebliche Datentyp Long in dem sechseckigen Symbol für den Vergleichstypen (Matcher). Bei der Umwandlung von Dezimalzahlen in Ganzzahlen wir dabei nicht gerundet. Die Dezimalen werden schlicht abgeschnitten.

►ANMERKUNG◄ In der Konfiguration rechts sind "nur" die Wert-Konfigurationen für Prüfwert und Vergleichswert vertauscht.

Man könnte vermuten, dass ein solcher "Seitenwechsel" einem Ist Gleich-Vergleich nichts anhaben kann. "Gleichheit" klingt intuitiv schließlich nach "Symmetrie" und "Austauschbarkeit".

Das ist allerdings nicht in jedem Fall gegeben:

• Anders als in der oben abgebildeten Konfiguration ist in der Konfigurationsvariante rechts der Vergleichswert vom Typ Long und der Prüfwert vom Typ BigDecimal. Also erfolgt die Typumwandlung des Long-Werts 8 in den BigDecimal-Wert 8 während der Zahlenwert des berechneten Ladungsgewichts (links) anders als oben seine Nachkommastellen beibehält. Die Objekt-Feld-Regel ist also nun nicht mehr für Gewichte > 8t erfüllt.
  
  

• Selbst wenn der untere Grenzwert von 8t exakt getroffen würde (z. B. mit einem volume_in_cbm von 10 und einem weight_per_cbm von 800kg), ist nicht unbedingt gewährleistet, dass der Ist Gleich-Vergleich und damit die Objekt-Feld-Regel bestanden wird.

►WICHTIG◄ Auch wenn der berechnete Prüfwert (Anzahl Tonnen für das Ladungsgewicht im Feld "Wert" links) dem Vergleichswert mathematisch exakt entspricht, ergibt ein Ist Gleich-Vergleich der Werte als BigDecimal-Objekte eventuell keine Übereinstimmung, wie die Darstellung der im Vergleich tatsächlich gegenübergestellten Werte verdeutlicht:

{ "class": "java.math.BigDecimal", "value": "8.000"} /* berechneter Prüfwert */

{ "class": "java.math.BigDecimal", "value": "8" } /* BigDecimal-Umwandlung des Vergleichswerts */

Der berechnete Prüfwert enthält drei Nullen als angehängte Dezimalstellen, die für einen numerischen Vergleich nicht relevant sind aber dennoch die Übereinstimmung mit dem Vergleichswert stören, der denselben Zahlenwert ohne die angehängten "wertlosen" Dezimalen wiedergibt.

►ANMERKUNG◄ Ob im Zuge der Berechnung im Prüfwert Dezimalen angehängt werden, hängt von den konkreten Zahlenwerten und den ausgeführten Rechenoperationen ab. Im konkreten Fall wurde das Flüssigkeitsvolumen in der Einheit Liter (l) angegeben und dann in Kubikmeter (m3) umgerechnet (s. Volumeneinheit). Durch die Multiplikation mit 0.001 kommen hier die "wertlosen" Dezimalen ins Spiel.

Fazit:

Man könnte auf der linken Seite des Vergleichs unten an die Wertauflöserkette für den Prüfwert einen Eingabeobjekt (Typsicher)-Wertauflöser anhängen, der den "Wert" von BigDecimal in den Typ des Vergleichswerts (Long) umwandeln. Dann zeigt die Konfiguration das Laufzeitverhalten der Originalversion, obwohl Prüfwert und Vergleichswert vertauscht sind.

Der Einsatz der floor()-Funktion für die Rundung des Berechnungsergebnisses (in einer zusätzlichen Instanz des Berechne Wert-Wertauflösers hätte denselben Effekt für die Objekt-Feld-Regel.

Einen robusteren Vergleich von Zahlenwerten bietet in jedem Fall die Verwendung des Vergleiche mit (Vergleichstyp)-Vergleichstyps anstelle des Ist Gleich-Vergleichstyps.

Das rechts abgebildete Zuordnungskriterium definiert innerhalb einer UND-Verknüpfung (s. Verknüpfung) eine zweistufige Prüfung:

• Zunächst stellt eine Typprüfung sicher, dass im Kontext eine "Entität" als Bezugsobjekt vorliegt.
  
  

• Die unterhalb nachfolgende Objekt-Feld-Regel wird nur im Kontext einer "Entität" ausgewertet. Sie vergleicht jeweils das Listenfeld "Firmentypen" (types) der Besitzer-Firma und der Firma der Session über den Ist Gleich-Vergleichstyp.
  
  

  • Der Prüfwert (links) wird über eine Wertauflöserkette (s. Verketteter Wertauflöser) ermittelt. Ausgehend vom Feld "Besitzer" (ownerId) des Bezugsobjekts wird zunächst das betreffende Firmenkonto als Eingabeobjekt (Typsicher) herangezogen. Der verkettete Objekt-Feld-Wertauflöser liefert die Liste der dort zugeordneten "Firmentypen" (s. Firmentyp), die anschließend noch durch den Liste sortieren-Wertauflöser sortiert wird.
    
    

  • Als Vergleichswert (rechts) wird ausgehend von der Firma der Session das Listenfeld "Firmentypen" (types) analog verarbeitet.

►HINWEIS◄ Der Liste sortieren-Wertauflöser muss im Prüfwert und im Vergleichswert beiden Fällen ein gleichsinnig wirkendes Sortierkriterium verwenden. Nur dann ist sichergestellt, dass die verglichenen Firmentypen-Listen auch dann als übereinstimmend gewertet werden, wenn sie dieselben Einträge in unterschiedlicher Reihenfolge enthalten.

Laufzeitbeispiel: (Regel gilt als bestanden)

• "Firmentypen" der Besitzer-Firma:

  • "Rechnungsempfänger" (INV), "Empfänger" (CNE)

• "Firmentypen" der Firma der Session:
  

  • "Empfänger" (CNE) , "Rechnungsempfänger" (INV)

Die rechts abgebildete Wertauflöserkette untersucht die in per Variable tour bereitgestellte Liste von Client-Objekten, die Wegpunkte repräsentieren:

• Der verkettete Regel-Listen Resolver definiert die Prüfbedingung per Objekt-Feld-Regel:
  
  

  • Der Prüfwert (links) wird einer Variable candidateWpt entnommen. Diese enthält ein "Client-Objekt", das vorab erzeugt und mit den Daten eines zu prüfenden Zielorts gefüllt wurde.
    
    

  • Als Vegleichswert (rechts) soll der zu bewertende Listeneintrag der tour herangezogen werden, also das Datenobjekt das einen bereits enthaltenen Wegpunkt der Tour repräsentiert. Diesen liefert ein Objekt-Feld-Wertauflöser ohne Angabe eines Felds.

►WICHTIG◄ Für denIst Gleich-Vergleichstyp (unten) wurde hier die Option Objektinhalte vergleichen gesetzt, da die Frage nicht ist, ob das "Client-Objekt" in der Variable candidateWpt der tour-Liste bereits hinzugefügt wurde. Vielmehr geht es darum festzustellen, ob die tour-Liste einen Wegpunkt enthält, der inhaltlich in allen Feldern mit dem "Kandidaten" in der Variablen candidateWpt übereinstimmt (s. Laufzeitbeispiel unten).

►ANMERKUNG◄ Wenn sich die Prüfung darauf beschränkt, ob die tour-Liste mindestens ein zum "Kandidaten" passendes Wegpunkt-"Client-Objekt" enthält, könnte prinzipiell auch der In Liste-Vergleichstyp in einer einfachen Objekt-Feld-Regel (ohne den Regel-Listen Resolver) eingesetzt werden. Allerdings funktioniert dieser Ansatz nur im Server-Kontext, weil "Client-Objekte" serverseitig grundsätzlich per Objektinhalt vergleichen werden. Deshalb könnten man auch auf die Option Objektinhalte vergleichen in der obigen Konfiguration verzichten, wenn gesichert ist, dass die Konfiguration ausschließlich im Server-Kontext verwendet und niemals in einen Client Workflow kopiert wird. In einem Client Workflow akzeptiert der In Liste-Vergleichstyp (wie derIst Gleich-Matcher mit abgeschalteter Option Objektinhalte vergleichen) nur wirklich identische Objekte als Treffer, was für das vorliegende Beispiel nicht zielführend wäre.

... ausgeschaltet

... eingeschaltet

nicht bestanden

bestanden

Als Prüfwert und als Vergleichswert liefert je eine Instanz des Erzeuge Instanz-Wertauflösers eine jeweils "neue" Entität des Typs "Benutzer" (s. Benutzer). Obwohl sich diese direkt nach dem Erzeugen inhaltlich nicht unterscheiden, gelten sie für Ist Gleich als nicht übereinstimmend, solange die Option Objektinhalte vergleichen ausgeschaltet ist. Den mit eingeschalteter Option ausgeführten Vergleich der Objektinhalte bestehen sie dagegen.

nicht bestanden

bestanden

Als Prüfwert und als Vergleichswert liefert je ein Instanz des Rolle der Session-Wertauflösers einen individuellen "Klon" der in der Sitzung verwendeten Rolle (s. Rollen). Obwohl sich diese zwei Klone inhaltlich nicht unterscheiden, gelten sie für Ist Gleich als nicht übereinstimmend, solange die Option Objektinhalte vergleichen ausgeschaltet ist. Den mit eingeschalteter Option ausgeführten Vergleich des Objektinhalte bestehen sie dagegen.

bestanden

bestanden

Als Prüfwert wird die vom System bereitgestellte Variable entity angegeben, die auf das im Kontext aktuelle Bezugsobjekt verweist. Durch den verketteten Wert als Variable speichern-Wertauflöser wird eine Referenz auf dieses Bezugsobjekt einer zweiten Variablen entity2 als Wert zugewiesen.

Die Wert-Konfiguration für den Vergleichswert bezieht sich auf die Variable entity2. Da diese eine Referenz auf das Bezugsobjekt enthält und nicht etwa einen "Klon" des Bezugsobjekts wie im vorigen Beispiel, gelten Prüfwert und Vergleichswert unabhängig von der Option Objektinhalte vergleichen als übereinstimmend.

im Server-Kontext:
bestanden

im Client Workflow:
nicht bestanden

im Server-Kontext:
bestanden

im Client Workflow:
bestanden
aber nur zufällig
(s. Hinweis rechts)

Für Prüfwert und Vergleichswert wird zunächst auf die Rolle der Session zugegriffen. Da dieser Wertauflöser zwei "Klone" der eigentlichen Rolle liefert (s. oben), greifen wir per Verkettung auf das Feld "ID" (id) des jeweiligen Klons zu beziehen damit per Eingabeobjekt (Typsicher)-Wertauflöser die betreffende Rolle in den aktuellen Kontext ein, ohne dass sie geklont wird. Bei einer serverseitigen Ausführung (z. B. in Ereignisbehandlungen) gilt der Ist Gleich-Vergleich daher als bestanden.

►HINWEIS◄ Der Eingabeobjekt (Typsicher)-Wertauflöser liefert nur im Server-Kontext wirklich die Daten der per ID referenzierten Rolle. In einem Client Workflow liefert er stattdessen ein Datenobjekt, für das nur die Felder class und id gefüllt sind. Im konkreten Anwendungsfall gelten die verglichenen Datenobjekte also ausschließlich deshalb als identisch, weil deren ID übereinstimmt.

im Server-Kontext:
nicht bestanden
(wegen "Klon" links)

im Client Workflow:
nicht bestanden
(wegen "Klon" links)

im Server-Kontext:
nicht bestanden
(Details s. rechts)

im Client Workflow:
nicht bestanden
(Details s. rechts)

Im Prüfwert liefert der Rolle der Session-Wertauflöser einen "Klon" der in der Sitzung verwendeten Rolle.

Als Vergleichswert wird wie im vorigen Beispiel über die in der Rolle der Session vorgefundene ID dieselbe Rolle als "Eingabeobjekt" hinzugezogen.

Die Ist Gleich-Prüfung scheitert in dieser Konstellation in allen Fällen aus unterschiedlichen Gründen:

• Ohne den inhaltlichen Vergleich gelten Original und "Klon" für Server und Client als unterschiedlich.

• Der inhaltliche Vergleich stößt server- und clientseitig auf spezifische Unterschiede:

  • Der Rückgabewert der Rolle der Session beinhaltet keine Daten zu den Berechtigungen einer Rolle. Der serverseitig als "Eingabeobjekt" bereitgestellte Stand beinhaltet diese Daten.

  • Clientseitig gibt der Eingabeobjekt (Typsicher)-Wertauflöser nur das ID-Feld einer Rolle zurück.