joeq.Compiler.Analysis.IPSSA
Class SSAValue.Predicate

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSAValue.Predicate

Enclosing class:

SSAValue

public static class SSAValue.Predicate
extends Object

The representation of predicates is yet to be determined. It's currently pretty lame.

Field Summary

static String

UNKNOWN

Constructor Summary

SSAValue.Predicate(String predicate)

Method Summary

String	toString()
static SSAValue.Predicate	True()

Methods inherited from class java.lang.Object

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

Field Detail

UNKNOWN

public static String UNKNOWN

Constructor Detail

SSAValue.Predicate

public SSAValue.Predicate(String predicate)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

True

public static SSAValue.Predicate True()