NumericComparison (lisa-sdk 0.1b6 API)

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

All Implemented Interfaces:

Operator, BinaryOperator, ComparisonOperator, NegatableOperator

Direct Known Subclasses:

ComparisonGe, ComparisonGt, ComparisonLe, ComparisonLt
```
public abstract class NumericComparison
extends java.lang.Object
implements ComparisonOperator, BinaryOperator
```
A common implementation for classes implementing BinaryOperator and ComparisonOperator, providing a typeInference(TypeSystem, Set, Set) implementation that returns an empty set if no NumericType can be found in one of the arguments or if NumericType.commonNumericalType(Set, Set) returns an empty set, and a singleton set containing TypeSystem.getBooleanType() otherwise.

Constructor Summary

Constructors
Constructor Description

NumericComparison()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Set<Type>`	`typeInference(TypeSystem types, java.util.Set<Type> left, java.util.Set<Type> right)`	Computes the runtime types of this expression (i.e., of the result of this expression) assuming that the arguments of this expression have the given types.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface it.unive.lisa.symbolic.value.operator.NegatableOperator
opposite

- Constructor Detail
  - NumericComparison
```
public NumericComparison()
```
- Method Detail
  - typeInference
```
public java.util.Set<Type> typeInference(TypeSystem types,
                                         java.util.Set<Type> left,
                                         java.util.Set<Type> right)
```
    Description copied from interface: BinaryOperator
    
    Computes the runtime types of this expression (i.e., of the result of this expression) assuming that the arguments of this expression have the given types.
    
    Specified by:
    
    typeInference in interface BinaryOperator
    
    Parameters:
    
    types - the type system knowing about the types of the current program
    
    left - the set of types of the left-most argument of this expression
    
    right - the set of types of the right-most argument of this expression
    
    Returns:
    
    the runtime types of this expression