org.sonar.java.symexec

Class SymbolicEvaluator.PackedStates

java.lang.Object

org.sonar.java.symexec.SymbolicEvaluator.PackedStates

Enclosing class:

SymbolicEvaluator

public static class SymbolicEvaluator.PackedStates
extends Object

Constructor Summary

Constructors

Constructor and Description
SymbolicEvaluator.PackedStates()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(SymbolicEvaluator.PackedStates that)
SymbolicBooleanConstraint	getBooleanConstraint()
boolean	isAlwaysFalse()
boolean	isAlwaysTrue()
boolean	isUnknown()

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicEvaluator.PackedStates

public SymbolicEvaluator.PackedStates()

Method Detail

add

public void add(SymbolicEvaluator.PackedStates that)

isAlwaysFalse

public boolean isAlwaysFalse()

isAlwaysTrue

public boolean isAlwaysTrue()

isUnknown

public boolean isUnknown()

getBooleanConstraint

public SymbolicBooleanConstraint getBooleanConstraint()