Package edu.udel.cis.vsl.abc.ast.node.IF.expression

package edu.udel.cis.vsl.abc.ast.node.IF.expression
The ast.node.expression submodule defines AST nodes for representing expressions in a program.
  • Class
    Description
    AlignOfNode
    The _Alignof(typename) operator.
    ArrayLambdaNode
    A CIVL-C array lambda expression, including three components, bound variable declaration list, (optional) restriction and expression.
    ArrowNode
    An expression in which the operator is the C -> (arrow) operator.
    CastNode
    A C cast expression has the form (typeName)expr.
    CharacterConstantNode
    An instance of this interface represents a single Unicode character occurring as a literal element in a C program.
    CompoundLiteralNode
    Compound literals are used to represent literal array, structure, and union values.
    ConstantNode
    A "constant" in the sense of the C11 Standard.
    ConstantNode.ConstantKind
     
    DerivativeExpressionNode
    A CIVL-C derivative expression is a function call to the partial derivative of an abstract function.
    DotNode
    A C expression in which the operator is the . (dot) operator, used to specify a member of a structure or union.
    EnumerationConstantNode
    An enumeration constant node represents a use of an enumeration constant as an expression.
    ExpressionNode
    A node representing any kind of C expression.
    ExpressionNode.ExpressionKind
    An enumerated type used to categorize the different kinds of expression nodes.
    FloatingConstantNode
    A floating constant node represents an occurrence of a literal floating point number in a program.
    FunctionCallNode
    Node representing a function call.
    GenericSelectionNode
    Represents a C11 generic selection construct; see C11 Section 6.5.1.1.
    HereOrRootNode
    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).
    IdentifierExpressionNode
    Represents the use of an identifier as an expression.
    IntegerConstantNode
    An integer constant node represents the occurrence of a literal integer constant in a program.
    LambdaNode
    A lambda function, including two/three components, a bound variable declaration (optional) and the lambda term.
    OperatorNode
    A node that represents an expression built using an operator.
    OperatorNode.Operator
    An enumerated type for all the different operators that can occur in an OperatorNode.
    ProcnullNode
    Represents the CIVL-C null process constant $proc_null, which is a constant of type $proc.
    QuantifiedExpressionNode
    A CIVL-C quantified expression, including three components, bound variable declaration list, (optional) restriction and expression.
    QuantifiedExpressionNode.Quantifier
    An enumerated type for the different quantifiers.
    RegularRangeNode
    Represents a CIVL-C regular range expression, which has the form lo ..
    RemoteOnExpressionNode
    A CIVL-C remote expression is used to reference a variable in another process.
    ResultNode
    Represents the CIVL-C built-in variable $result, which represents the value returned by a function.
    ScopeOfNode
    Represents a CIVL-C scope-of expression, which has the form $scopeof(lhs), where lhs is a left-hand-side expression.
    SelfNode
    Represents the CIVL-C built-in variable $self, which has type $scope and evaluates to the dynamic scope in which the variable is being evaluated.
    SizeableNode
    An interface indicating that this object can be used as an argument to the C sizeof operator.
    SizeofNode
    Represents a C sizeof(...) expression.
    SpawnNode
    Represents a CIVL-C $spawn expression, which has the form $spawn f(e1,...,en).
    StatementExpressionNode
    This represents a GNU C statement expression.
    StatenullNode
    Represents the CIVL-C null state constant $state_null, which is a constant of type $state.
    StringLiteralNode
    Represents an occurrence of a string literal in a program, which is a string surrounded by double quotes.
    ValueAtNode
    The CIVL-C $value_at(state, PID, expr) expression, evaluating the given expression expr at the given state ($state).
    WildcardNode