public class Filtering
extends java.lang.Object
Constructor and Description |
---|
Filtering(GenericSolver.SolverInterface c) |
Modifier and Type | Method and Description |
---|---|
boolean |
assumeFalsy(int reg)
Assumes the value of the given register is falsy.
|
boolean |
assumeFunction(int reg)
Assumes the value of the given register is a function.
|
boolean |
assumeFunction(int basereg,
java.util.Set<ObjectLabel> baseobjs,
java.lang.String propname)
Variant of
assumeFunction(int) for call nodes where the function is given as a property read. |
boolean |
assumeNotNullUndef(int reg)
Assumes the value of the given register is not null and not undefined.
|
boolean |
assumeTruthy(int reg)
Assumes the value of the given register is truthy.
|
public Filtering(GenericSolver.SolverInterface c)
public boolean assumeFalsy(int reg)
public boolean assumeFunction(int reg)
public boolean assumeFunction(int basereg, java.util.Set<ObjectLabel> baseobjs, java.lang.String propname)
assumeFunction(int)
for call nodes where the function is given as a property read.public boolean assumeNotNullUndef(int reg)
public boolean assumeTruthy(int reg)
Copyright © 2009-2019 Aarhus University