ManualRefinementPolicy.Factory (API Reference for wala 1.3.9)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

java.lang.Object
- com.ibm.wala.demandpa.alg.refinepolicy.ManualRefinementPolicy.Factory

All Implemented Interfaces:: RefinementPolicyFactory

Enclosing class:: ManualRefinementPolicy

public static class ManualRefinementPolicy.Factory
extends Object
implements RefinementPolicyFactory

- Constructor Summary
  
  Constructors
  Constructor and Description
  
  Factory(IClassHierarchy cha)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method and Description
  
  RefinementPolicy make()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - Factory
```
public Factory(IClassHierarchy cha)
```
- Method Detail
  - make
```
public RefinementPolicy make()
```
    Specified by:
    
    make in interface RefinementPolicyFactory

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method