joeq.Compiler.Analysis.IPSSA
Class SSALocation.Unique.FACTORY

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSALocation.Unique.FACTORY

Enclosing class:

SSALocation.Unique

public static class SSALocation.Unique.FACTORY
extends Object

Constructor Summary

SSALocation.Unique.FACTORY()

Method Summary

static SSALocation.Unique

get()

Methods inherited from class java.lang.Object

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

Constructor Detail

SSALocation.Unique.FACTORY

public SSALocation.Unique.FACTORY()

Method Detail

get

public static SSALocation.Unique get()