Uses of Interface
dev.civl.abc.ast.node.IF.expression.SizeableNode
Packages that use SizeableNode
Package
Description
Submodule ast.node defines every kind of
node in an AST.
The ast.node.expression submodule defines AST nodes
for representing expressions in a program.
The ast.node.type submodule defines AST nodes
for representing type constructs in a program.
-
Uses of SizeableNode in dev.civl.abc.ast.node.IF
Methods in dev.civl.abc.ast.node.IF with parameters of type SizeableNodeModifier and TypeMethodDescriptionNodeFactory.newSizeofNode(Source source, SizeableNode argument) Constrcts a newsizeofexpression. -
Uses of SizeableNode in dev.civl.abc.ast.node.IF.acsl
Subinterfaces of SizeableNode in dev.civl.abc.ast.node.IF.acslModifier and TypeInterfaceDescriptioninterfaceThis represents an ACSL extended quantification expression.interfaceConstant$nothing, argument of$assigns / $readscontract clauses.interfaceThis represents a$object_ofof$region_ofexpression. -
Uses of SizeableNode in dev.civl.abc.ast.node.IF.expression
Subinterfaces of SizeableNode in dev.civl.abc.ast.node.IF.expressionModifier and TypeInterfaceDescriptioninterfaceThe_Alignof(typename)operator.interfaceA CIVL-C array lambda expression, including three components, bound variable declaration list, (optional) restriction and expression.interfaceAn expression in which the operator is the C->(arrow) operator.interfaceA C cast expression has the form(typeName)expr.interfaceAn instance of this interface represents a single Unicode character occurring as a literal element in a C program.interfaceCompound literals are used to represent literal array, structure, and union values.interfaceA "constant" in the sense of the C11 Standard.interfaceA CIVL-C derivative expression is a function call to the partial derivative of an abstract function.interfaceA C expression in which the operator is the.(dot) operator, used to specify a member of a structure or union.interfaceAn enumeration constant node represents a use of an enumeration constant as an expression.interfaceA node representing any kind of C expression.interfaceA floating constant node represents an occurrence of a literal floating point number in a program.interfaceNode representing a function call.interfaceRepresents a C11 generic selection construct; see C11 Section 6.5.1.1.interfaceA 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).interfaceRepresents the use of an identifier as an expression.interfaceAn integer constant node represents the occurrence of a literal integer constant in a program.interfaceA lambda function, including two/three components, a bound variable declaration (optional) and the lambda term.interfaceA node that represents an expression built using an operator.interfaceRepresents the CIVL-C null process constant$proc_null, which is a constant of type$proc.interfaceA CIVL-C quantified expression, including three components, bound variable declaration list, (optional) restriction and expression.interfaceRepresents a CIVL-C regular range expression, which has the formlo ..interfaceA CIVL-C remote expression is used to reference a variable in another process.interfaceRepresents the CIVL-C built-in variable$result, which represents the value returned by a function.interfaceRepresents a CIVL-C scope-of expression, which has the form$scopeof(lhs), wherelhsis a left-hand-side expression.interfaceRepresents the CIVL-C built-in variable$self, which has type$scopeand evaluates to the dynamic scope in which the variable is being evaluated.interfaceRepresents a Csizeof(...)expression.interfaceRepresents a CIVL-C$spawnexpression, which has the form$spawn f(e1,...,en).interfaceThis represents a GNU C statement expression.interfaceRepresents the CIVL-C null state constant$state_null, which is a constant of type$state.interfaceRepresents an occurrence of a string literal in a program, which is a string surrounded by double quotes.interfaceMethods in dev.civl.abc.ast.node.IF.expression that return SizeableNodeModifier and TypeMethodDescriptionSizeableNode.copy()SizeofNode.getArgument()The object that we taking the size of.Methods in dev.civl.abc.ast.node.IF.expression with parameters of type SizeableNodeModifier and TypeMethodDescriptionvoidSizeofNode.setArgument(SizeableNode argument) Sets the value returned bySizeofNode.getArgument(). -
Uses of SizeableNode in dev.civl.abc.ast.node.IF.type
Subinterfaces of SizeableNode in dev.civl.abc.ast.node.IF.typeModifier and TypeInterfaceDescriptioninterfaceRepresents an array type.interfaceAn atomic type, specified by "_Atomic ( type-name )".interfaceinterfaceRepresents use of the CIVL-C domain type, either "$domain" alone, or one of the sub-types "$domain(n)" for some positive integer constant n.interfaceAn enumeration type.interfaceinterfaceATypeNoderepresenting a $lambda(free-var-type:func-type) typeinterfaceinterfaceinterfaceinterfaceinterfaceGNU C language reference 6.6 Referring to a Type with typeof Another way to refer to the type of an expression is with typeof.