org.sonar.javascript.se.points

Class BinaryProgramPoint

java.lang.Object

org.sonar.javascript.se.points.BinaryProgramPoint

All Implemented Interfaces:

ProgramPoint

Direct Known Subclasses:

BitwiseBinaryProgramPoint, PlusProgramPoint, StrictlyArithmeticBinaryProgramPoint

public abstract class BinaryProgramPoint
extends Object
implements ProgramPoint

Constructor Summary

Constructors

Constructor and Description
BinaryProgramPoint()

Method Summary

Modifier and Type	Method and Description
Optional<ProgramState>	execute(ProgramState state)
Constraint	firstOperandConstraint() NOTE This method should be called only after resultingConstraint(ProgramState) or execute(ProgramState)
protected abstract SymbolicValue	resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
Constraint	resultingConstraint(ProgramState currentState)
Constraint	secondOperandConstraint() NOTE This method should be called only after resultingConstraint(ProgramState) or execute(ProgramState)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.sonar.javascript.se.points.ProgramPoint

create

Constructor Detail

BinaryProgramPoint

public BinaryProgramPoint()

Method Detail

execute

public final Optional<ProgramState> execute(ProgramState state)

Specified by:

execute in interface ProgramPoint

resultingConstraint

public Constraint resultingConstraint(ProgramState currentState)

resolveValue

protected abstract SymbolicValue resolveValue(Constraint firstOperandConstraint,
                                              Constraint secondOperandConstraint,
                                              @Deprecated
                                              SymbolicValue firstOperandValue,
                                              @Deprecated
                                              SymbolicValue secondOperandValue)

firstOperandConstraint

public Constraint firstOperandConstraint()

NOTE This method should be called only after resultingConstraint(ProgramState) or execute(ProgramState)

secondOperandConstraint

public Constraint secondOperandConstraint()

NOTE This method should be called only after resultingConstraint(ProgramState) or execute(ProgramState)