org.sonar.javascript.se

Class Relation

java.lang.Object

org.sonar.javascript.se.Relation

public class Relation
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Relation.Operator

Constructor Summary

Constructors

Constructor and Description
Relation(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)

Method Summary

Modifier and Type	Method and Description
Optional<Boolean>	applyNumericComparison(ProgramState state)
boolean	equals(Object obj)
int	hashCode()
boolean	isCompatibleWith(Relation other)
SymbolicValue	leftOperand()
Relation	not()
Set<SymbolicValue>	operands()
Relation.Operator	operator()
SymbolicValue	rightOperand()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Relation

public Relation(Tree.Kind kind,
                SymbolicValue leftOperand,
                SymbolicValue rightOperand)

Method Detail

not

public Relation not()

isCompatibleWith

public boolean isCompatibleWith(Relation other)

operands

public Set<SymbolicValue> operands()

leftOperand

public SymbolicValue leftOperand()

rightOperand

public SymbolicValue rightOperand()

operator

public Relation.Operator operator()

applyNumericComparison

public Optional<Boolean> applyNumericComparison(ProgramState state)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object