joeq.Compiler.Analysis.Primitive
Class PrimitivePA.ObjectPathSelector

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitivePA.ObjectPathSelector

All Implemented Interfaces:

jwutil.graphs.PathNumbering.Selector

Enclosing class:

PrimitivePA

public class PrimitivePA.ObjectPathSelector
extends Object
implements jwutil.graphs.PathNumbering.Selector

Method Summary

boolean	isImportant(Object p, Object o, BigInteger num)
boolean	isImportant(jwutil.graphs.SCComponent scc1, jwutil.graphs.SCComponent scc2, BigInteger num)

Methods inherited from class java.lang.Object

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

Method Detail

isImportant

public boolean isImportant(Object p,
                           Object o,
                           BigInteger num)

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector

isImportant

public boolean isImportant(jwutil.graphs.SCComponent scc1,
                           jwutil.graphs.SCComponent scc2,
                           BigInteger num)

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector