joeq.Compiler.Analysis.Primitive
Class PrimitivePA.StringMethodSelector

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

All Implemented Interfaces:

jwutil.graphs.PathNumbering.Selector

Enclosing class:

PrimitivePA

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

Method Summary

boolean	isImportant(Object a, Object b, BigInteger num) Return true if the edge a->b is important.
boolean	isImportant(jwutil.graphs.SCComponent scc1, jwutil.graphs.SCComponent scc2, BigInteger num) Return true if the edge scc1->scc2 is important.

Methods inherited from class java.lang.Object

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

Method Detail

isImportant

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

Return true if the edge scc1->scc2 is important.

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector

isImportant

public boolean isImportant(Object a,
                           Object b,
                           BigInteger num)

Return true if the edge a->b is important.

Specified by:

isImportant in interface jwutil.graphs.PathNumbering.Selector