PathConditionWeight (boomerangPDS 3.1.2 API)

public class PathConditionWeight
extends wpds.impl.Weight

Nested Classes
Modifier and Type	Class and Description
`static class`	`PathConditionWeight.ConditionDomain`

Constructors
Constructor and Description
`PathConditionWeight(Statement ifStatement, Boolean condition)`
`PathConditionWeight(Statement callSite, Method callee)`
`PathConditionWeight(Val returnVal)`
`PathConditionWeight(Val val, PathConditionWeight.ConditionDomain c)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`wpds.impl.Weight`	`combineWith(wpds.impl.Weight o)`
`boolean`	`equals(Object obj)`
`wpds.impl.Weight`	`extendWith(wpds.impl.Weight o)`
`Map<Statement,PathConditionWeight.ConditionDomain>`	`getConditions()`
`Map<Val,PathConditionWeight.ConditionDomain>`	`getEvaluationMap()`
`int`	`hashCode()`
`static PathConditionWeight`	`one()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public PathConditionWeight(Statement callSite,
                           Method callee)

public PathConditionWeight(Val returnVal)

public PathConditionWeight(Statement ifStatement,
                           Boolean condition)

public PathConditionWeight(Val val,
                           PathConditionWeight.ConditionDomain c)

public static PathConditionWeight one()

public wpds.impl.Weight extendWith(wpds.impl.Weight o)

public Map<Statement,PathConditionWeight.ConditionDomain> getConditions()

public Map<Val,PathConditionWeight.ConditionDomain> getEvaluationMap()

Class PathConditionWeight