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

Class VoidValue

java.lang.Object

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

de.uzl.its.swat.symbolic.value.VoidValue

public class VoidValue
extends Value

Field Summary

Fields

Modifier and Type	Field	Description
static final VoidValue	instance

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

concrete, context, formula, inc, name, symbol

Constructor Summary

Constructors

Constructor	Description
VoidValue()

Method Summary

Modifier and Type	Method	Description
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, asLongValue, 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

instance

public static final VoidValue instance

Constructor Details

VoidValue

public VoidValue()

Method Details

asObjectValue

public ObjectValue<?,?> asObjectValue()

Overrides:

asObjectValue 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