Class ConstantString

java.lang.Object

org.scandroid.prefixtransfer.InstanceKeySite

org.scandroid.prefixtransfer.modeledAllocations.ConstantString

public class ConstantString
extends InstanceKeySite

Constructor Summary

Constructors

Constructor	Description
ConstantString(int instanceID, String constantValue)

Method Summary

Modifier and Type	Method	Description
int	instanceID()
PrefixVariable	propagate(PrefixVariable input)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

ConstantString

public ConstantString(int instanceID,
 String constantValue)

Method Details

propagate

public PrefixVariable propagate(PrefixVariable input)

Specified by:

propagate in class InstanceKeySite

toString

public String toString()

Overrides:

toString in class Object

instanceID

public int instanceID()

Specified by:

instanceID in class InstanceKeySite