Package edu.udel.cis.vsl.abc.ast.node.IF.statement
package edu.udel.cis.vsl.abc.ast.node.IF.statement
The ast.node.statement submodule defines AST
nodes for representing statements in a program.
-
ClassDescriptionAn atomic node represents a CIVL-C
$atomic
statement.An item that can appear in a "block".A "choose" statement has the form "choose { s1 ...Represents a CIVL$for
or$parfor
statement.A compound statement is a sequence of statements and declarations within curly braces: "{ ...A list of variable declarations, such as might occur as an initializer in afor
loop.A marker interface indicating this construct can be used as the first clause in afor
loop.A for loop, in addition to the expression and body that all loops possess, has an initializer and incrementer.Represents a C "goto labelName;" statement.Root of type hierarchy for every kind of loop statement.A null statement: ";".Represents a CIVL-C$run
expression, which has the form$run statement
.The statement s can be any singleStatementNode
or aCompoundStatementNode
which is wrapped by a pair of curly braces.Represents a Cswitch
statement.This node represents an expression$update($collator c) f()
.Represents a CIVL-C guarded command.Syntax