Package it.unive.lisa.symbolic.value.operator.unary

Interface Summary

Interface	Description
UnaryOperator	A unary Operator that can be applied to a single SymbolicExpression.

Class Summary

Class	Description
BitwiseNegation	Given an expression that evaluates to a numeric value, a UnaryExpression using this operator computes the bitwise negation (i.e., flipping every single bit independently) of that value. Argument expression type: NumericType Computed expression type: NumericType (same as argument)
LogicalNegation	Given an expression that evaluates to a Boolean value, a UnaryExpression using this operator computes the logical negation of the expression: if it evaluates to true, it is transformed to false, and vice versa. Argument expression type: BooleanType Computed expression type: BooleanType
NumericNegation	Given an expression that evaluates to a numeric value, a UnaryExpression using this operator computes the arithmetic negation (i.e., multiplication by -1) of that value. Argument expression type: NumericType Computed expression type: NumericType (same of the argument, but signed)
StringLength	Given an expression that evaluates to a string value, a UnaryExpression using this operator computes an integral value, from 0 upwards, representing the length of that value. Argument expression type: StringType Computed expression type: NumericType (integral)
TypeOf	Given any expression, a UnaryExpression using this operator computes the type(s) of that expression. Argument expression type: any Type Computed expression type: TypeTokenType containing all types of argument