BooleanLiteral (R-GReQL): Unterschied zwischen den Versionen

Aus JACK Wiki
Zur Navigation springen Zur Suche springen
Keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung
Zeile 13: Zeile 13:
     <query>                 
     <query>                 
       from lao1:V{LeftAssignmentOperator1}, var:V{Variable}, tr:V{BooleanLiteral}, lh:E{LeftHandSide}, rh:E{RightHandSide} with
       from lao1:V{LeftAssignmentOperator1}, var:V{Variable}, tr:V{BooleanLiteral}, lh:E{LeftHandSide}, rh:E{RightHandSide} with
       lao1 -- lh -&gt; var and
       lao1 -- lh -> var and
       lao1 -- rh -&gt; tr and
       lao1 -- rh -> tr and
       var.name="var" and
       var.name="var" and
       tr.value=true
       tr.value=true

Version vom 24. Juni 2017, 02:10 Uhr

BooleanLiteral stellt einen boolischen Wert dar. Der Knoten besitzt ein Attribut "value", in dem der Wert gespeichert ist. Der Knoten wird in der Abbildung in rot dargestellt.

var1 <- true; var2 <- 5 + 3i; var3 <- 10L

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

Beispiel

var <- 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="var" and
      tr.value=true
      report 0 end
    </query>
    <feedback>Leider nicht richtig!</feedback>
  </rule>
</rules>