BooleanLiteral (R-GReQL): Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 4: Zeile 4:
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]].


=== Beispiel ===
== Beispiel ==


<code>var1 <- <u>TRUE</u></code>
<code>var1 <- <u>TRUE</u></code>

Version vom 6. Juli 2017, 19:28 Uhr

BooleanLiteral stellt einen booleschen Wert dar. Der Knoten besitzt das Attribut value, in dem die Werte true oder false angegeben werden können.

Abfrage auf dem Syntaxgraphen (rot)

Bei der Verwendung ist zu beachten, dass bisher ausschließlich die expliziten Abfragen TRUE und FALSE möglich sind. T und F funktionieren damit aktuell noch nicht.

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>