LogicalOperation (lisa-sdk 0.1 API)

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

All Implemented Interfaces:

Operator, BinaryOperator, LogicalOperator, NegatableOperator

Direct Known Subclasses:

LogicalAnd, LogicalOr
```
public abstract class LogicalOperation
extends java.lang.Object
implements LogicalOperator, BinaryOperator
```
A common implementation for classes implementing BinaryOperator and LogicalOperator, providing a typeInference(TypeSystem, Set, Set) implementation that returns an empty set if no BooleanType can be found in one of the arguments, and a singleton set containing TypeSystem.getBooleanType() otherwise.

Constructor Summary

Constructors
Constructor Description

LogicalOperation()

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
  - LogicalOperation
```
public LogicalOperation()
```
- 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