Package de.uzl.its.swat.symbolic.value

Class PlaceHolder

java.lang.Object

de.uzl.its.swat.symbolic.value.Value

de.uzl.its.swat.symbolic.value.PlaceHolder

public class PlaceHolder
extends Value

Author: Koushik Sen (ksen@cs.berkeley.edu) Date: 6/17/12 Time: 6:05 PM

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	PlaceHolder.ValueOrigin

Field Summary

Fields

Modifier and Type	Field	Description
static final PlaceHolder	instance
final boolean	isSymbolic
final PlaceHolder.ValueOrigin	origin
static final Map<String,PlaceHolder.ValueOrigin>	prefixValueOriginMap
static final PlaceHolder	symbolicInstance
static final Map<PlaceHolder.ValueOrigin,String>	valueOriginPrefixMap

Fields inherited from class de.uzl.its.swat.symbolic.value.Value

concrete, context, formula, inc, name, symbol

Constructor Summary

Constructors

Constructor	Description
PlaceHolder(boolean isSymbolic)
PlaceHolder(boolean isSymbolic, PlaceHolder.ValueOrigin origin)

Method Summary

Modifier and Type	Method	Description
LongValue	asLongValue()
ObjectValue<?,?>	asObjectValue()
String	toString()	Returns the string representation of the value.

Methods inherited from class de.uzl.its.swat.symbolic.value.Value

asBooleanValue, asByteValue, asCharValue, asDoubleValue, asFloatValue, asIntValue, asNumericalValue, asShortValue, asStringValue, getBounds, getConcrete, getConcreteEncoded, getName, getType, initSymbolic, initSymbolic, MAKE_SYMBOLIC, MAKE_SYMBOLIC, MAKE_SYMBOLIC, reset

Methods inherited from class java.lang.Object

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

Field Details

valueOriginPrefixMap

public static final Map<PlaceHolder.ValueOrigin,String> valueOriginPrefixMap

prefixValueOriginMap

public static final Map<String,PlaceHolder.ValueOrigin> prefixValueOriginMap

isSymbolic

public final boolean isSymbolic

origin

public final PlaceHolder.ValueOrigin origin

instance

public static final PlaceHolder instance

symbolicInstance

public static final PlaceHolder symbolicInstance

Constructor Details

PlaceHolder

public PlaceHolder(boolean isSymbolic)

PlaceHolder

public PlaceHolder(boolean isSymbolic,
 PlaceHolder.ValueOrigin origin)

Method Details

asObjectValue

public ObjectValue<?,?> asObjectValue()

Overrides:

asObjectValue in class Value

asLongValue

public LongValue asLongValue()

Overrides:

asLongValue in class Value

toString

public String toString()

Description copied from class: Value

Returns the string representation of the value. Should be implemented by each inheriting class.

Overrides:

toString in class Value

Returns:

the string representation of the value