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

Class Numeric16BitMod

java.lang.Object

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

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

All Implemented Interfaces:

Operator, ArithmeticOperator, BinaryOperator, ModuloOperator, OverflowingOperator

public class Numeric16BitMod
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 16-bits numbers, and this operation thus can overflow/underflow.

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

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Numeric16BitMod()	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 Numeric16BitMod INSTANCE

The singleton instance of this class.

Constructor Detail

Numeric16BitMod

protected Numeric16BitMod()

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