Uses of Package
dev.civl.abc.ast.node.IF.expression
Packages that use dev.civl.abc.ast.node.IF.expression
Package
Description
The analysis module provides various algorithms which
analyze an AST, leaving behind information about the AST.
Module ast defines an Abstract Syntax Tree
representation of a program, the
AST.Submodule ast.conversion provides classes for representing
to C's "implicit conversions".
Submodule ast.node defines every kind of
node in an AST.
The ast.node.compound submodule
defines nodes and related classes for representing
compound initializers.
The ast.node.declaration submodule defines nodes
and other object deadling with declarations in a program.
The ast.node.expression submodule defines AST nodes
for representing expressions in a program.
The ast.node.label submodule defines AST nodes for representing labels
in a program, including ordinary labels, and the
case and default
labels used in switch statements.The ast.node.omp submodule defines AST nodes for representing
OpenMP constructs, which are specified in
omp pragmas.The ast.node.statement submodule defines AST
nodes for representing statements in a program.
The ast.node.type submodule defines AST nodes
for representing type constructs in a program.
The ast.type submodule defines the (abstract) types
that can be specified in a program.
The ast.value submodule defines classes for representing
constant values that can occur in a program, such as numeric literals,
characters, strings, pointer constants, and so on.
Module transform defines various kinds of transformations
of an AST.
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.analysis.IF
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.analysis.pointsTo.IF
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.IFClassDescriptionRepresents an occurrence of a string literal in a program, which is a string surrounded by double quotes.
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.conversion.IF
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IFClassDescriptionThe
_Alignof(typename)operator.A CIVL-C array lambda expression, including three components, bound variable declaration list, (optional) restriction and expression.An expression in which the operator is the C->(arrow) operator.A C cast expression has the form(typeName)expr.An instance of this interface represents a single Unicode character occurring as a literal element in a C program.Compound literals are used to represent literal array, structure, and union values.A "constant" in the sense of the C11 Standard.A CIVL-C derivative expression is a function call to the partial derivative of an abstract function.A C expression in which the operator is the.(dot) operator, used to specify a member of a structure or union.An enumeration constant node represents a use of an enumeration constant as an expression.A node representing any kind of C expression.A floating constant node represents an occurrence of a literal floating point number in a program.Node representing a function call.Represents a C11 generic selection construct; see C11 Section 6.5.1.1.Represents the use of an identifier as an expression.An integer constant node represents the occurrence of a literal integer constant in a program.A lambda function, including two/three components, a bound variable declaration (optional) and the lambda term.A node that represents an expression built using an operator.An enumerated type for all the different operators that can occur in anOperatorNode.A CIVL-C quantified expression, including three components, bound variable declaration list, (optional) restriction and expression.An enumerated type for the different quantifiers.Represents a CIVL-C regular range expression, which has the formlo ..A CIVL-C remote expression is used to reference a variable in another process.Represents a CIVL-C scope-of expression, which has the form$scopeof(lhs), wherelhsis a left-hand-side expression.An interface indicating that this object can be used as an argument to the Csizeofoperator.Represents a Csizeof(...)expression.Represents a CIVL-C$spawnexpression, which has the form$spawn f(e1,...,en).This represents a GNU C statement expression.Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes. -
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.acslClassDescriptionA node representing any kind of C expression.Represents the use of an identifier as an expression.An interface indicating that this object can be used as an argument to the C
sizeofoperator. -
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.compound
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.declarationClassDescriptionA node representing any kind of C expression.Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes.
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.expressionClassDescriptionThe
_Alignof(typename)operator.An expression in which the operator is the C->(arrow) operator.A C cast expression has the form(typeName)expr.An instance of this interface represents a single Unicode character occurring as a literal element in a C program.Compound literals are used to represent literal array, structure, and union values.A "constant" in the sense of the C11 Standard.A CIVL-C derivative expression is a function call to the partial derivative of an abstract function.A C expression in which the operator is the.(dot) operator, used to specify a member of a structure or union.An enumeration constant node represents a use of an enumeration constant as an expression.A node representing any kind of C expression.An enumerated type used to categorize the different kinds of expression nodes.A floating constant node represents an occurrence of a literal floating point number in a program.Node representing a function call.Represents a C11 generic selection construct; see C11 Section 6.5.1.1.A node representing one of the two CIVL-C constant expressions of type$scope:$here(the dynamic scope in which the expression is evaluated), or$root(representing the root dynamic scope).Represents the use of an identifier as an expression.An integer constant node represents the occurrence of a literal integer constant in a program.A node that represents an expression built using an operator.An enumerated type for all the different operators that can occur in anOperatorNode.Represents the CIVL-C null process constant$proc_null, which is a constant of type$proc.An enumerated type for the different quantifiers.A CIVL-C remote expression is used to reference a variable in another process.Represents the CIVL-C built-in variable$result, which represents the value returned by a function.Represents the CIVL-C built-in variable$self, which has type$scopeand evaluates to the dynamic scope in which the variable is being evaluated.An interface indicating that this object can be used as an argument to the Csizeofoperator.Represents a Csizeof(...)expression.Represents a CIVL-C$spawnexpression, which has the form$spawn f(e1,...,en).Represents the CIVL-C null state constant$state_null, which is a constant of type$state.Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes. -
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.label
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.ompClassDescriptionA "constant" in the sense of the C11 Standard.A node representing any kind of C expression.Node representing a function call.Represents the use of an identifier as an expression.
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.statementClassDescriptionA node representing any kind of C expression.Node representing a function call.
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.node.IF.typeClassDescriptionA node representing any kind of C expression.An interface indicating that this object can be used as an argument to the C
sizeofoperator. -
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.type.IF
-
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.ast.value.IFClassDescriptionA node representing any kind of C expression.An enumerated type for all the different operators that can occur in an
OperatorNode. -
Classes in dev.civl.abc.ast.node.IF.expression used by dev.civl.abc.transform.IFClassDescriptionRepresents an occurrence of a string literal in a program, which is a string surrounded by double quotes.