Numeric8BitSub (lisa-sdk 0.1b9 API)

java.lang.Object
- it.unive.lisa.symbolic.value.operator.binary.NumericOperation
- - it.unive.lisa.symbolic.value.operator.binary.Numeric8BitSub

All Implemented Interfaces:

Operator, ArithmeticOperator, BinaryOperator, OverflowingOperator, SubtractionOperator
```
public class Numeric8BitSub
extends NumericOperation
implements SubtractionOperator, OverflowingOperator, BinaryOperator
```
Given two expressions that both evaluate to numeric values, a BinaryExpression using this operator computes the arithmetic subtraction of those values. Both arguments and results are expected to be 8-bits numbers, and this operation thus can overflow/underflow.

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

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static Numeric8BitSub INSTANCE
  The singleton instance of this class.
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected Numeric8BitSub()
  Builds the operator.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  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
  - Methods inherited from interface it.unive.lisa.symbolic.value.operator.binary.BinaryOperator
    typeInference

- Field Detail
  - INSTANCE
```
public static final Numeric8BitSub INSTANCE
```
    The singleton instance of this class.
- Constructor Detail
  - Numeric8BitSub
```
protected Numeric8BitSub()
```
    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