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

Class Numeric32BitMod

java.lang.Object

it.unive.lisa.symbolic.value.operator.binary.NumericOperation

it.unive.lisa.symbolic.value.operator.binary.Numeric32BitMod

All Implemented Interfaces:

Operator, ArithmeticOperator, BinaryOperator, ModuloOperator, OverflowingOperator

public class Numeric32BitMod
extends NumericOperation
implements ModuloOperator, OverflowingOperator

Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic modulo (Euclidean modulo between the two operands and taking the sign of the divisor) of those values. Both arguments and results are expected to be 32-bits numbers, and this operation thus can overflow/underflow.

First argument expression type: NumericType (32-bit)
Second argument expression type: NumericType (32-bit)
Computed expression type: NumericType (32-bit)

Field Summary

Fields

Modifier and Type	Field	Description
static Numeric32BitMod	INSTANCE	The singleton instance of this class.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Numeric32BitMod()	Builds the operator.

Method Summary

Modifier and Type	Method	Description
java.lang.String	toString()

Methods inherited from class it.unive.lisa.symbolic.value.operator.binary.NumericOperation

typeInference

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

INSTANCE

public static final Numeric32BitMod INSTANCE

The singleton instance of this class.

Constructor Detail

Numeric32BitMod

protected Numeric32BitMod()

Builds the operator. This constructor is visible to allow subclassing: instances of this class should be unique, and the singleton can be retrieved through field INSTANCE.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object