soot.jimple.spark.geom.geomPA
Class ContextTranslator

java.lang.Object
  extended by soot.jimple.spark.geom.geomPA.ContextTranslator

public class ContextTranslator
extends Object

It provides the utilities to translate our numbering context representation to other commonly used representation. For example, k-cfa, etc.

Author:
richardxx

Constructor Summary
ContextTranslator()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ContextTranslator

public ContextTranslator()