BooleanLiteral (R-GReQL): Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 1: Zeile 1:
BooleanLiteral stellt einen boolschen Wert dar. Der Knoten besitzt ein Attribut '''value''', in dem die Werte ''true'' oder ''false'' gespeichert werden können.
BooleanLiteral stellt einen boolschen Wert dar. Der Knoten besitzt ein Attribut '''value''', in dem die Werte ''true'' oder ''false'' gespeichert werden können. (Es ist zu beachten, dass bisher ausschließlich die expliziten Abfragen <code>TRUE</code> und <code>FALSE</code> möglich sind. <code>T</code> und <code>F</code> funktionieren damit aktuell noch nicht.) [[Datei:5Literals.png|mini|Abfrage auf dem Syntaxgraphen (rot)]]
Beachte, dass bisher ausschließlich die expliziten Abfragen <code>TRUE</code> und <code>FALSE</code> möglich sind. [[Datei:5Literals.png|mini|Abfrage auf dem Syntaxgraphen (rot)]]


Der Knoten ist Teil der [[R-GReQL-Grammatik|GReQL-Grammatik]] für den [[StaticRChecker]].
Der Knoten ist Teil der [[R-GReQL-Grammatik|GReQL-Grammatik]] für den [[StaticRChecker]].

Version vom 24. Juni 2017, 02:41 Uhr

BooleanLiteral stellt einen boolschen Wert dar. Der Knoten besitzt ein Attribut value, in dem die Werte true oder false gespeichert werden können. (Es ist zu beachten, dass bisher ausschließlich die expliziten Abfragen TRUE und FALSE möglich sind. T und F funktionieren damit aktuell noch nicht.)

Abfrage auf dem Syntaxgraphen (rot)

Der Knoten ist Teil der GReQL-Grammatik für den StaticRChecker.

Beispiel

var1 <- TRUE

<?xml version="1.0" encoding="iso-8859-1"?>
<rules>
  <rule type="presence" points="100">
    <query>                
      from lao1:V{LeftAssignmentOperator1}, var:V{Variable}, tr:V{BooleanLiteral}, lh:E{LeftHandSide}, rh:E{RightHandSide} with
      lao1 -- lh -> var and
      lao1 -- rh -> tr and
      var.name="var1" and
      tr.value=true
      report 0 end
    </query>
    <feedback>
      Leider nicht richtig!
    </feedback>
  </rule>
</rules>