InstanceKeySite (wala 1.6.13-SNAPSHOT API)

java.lang.Object

org.scandroid.prefixtransfer.InstanceKeySite

Direct Known Subclasses:: ConstantString, StringBuilderUseAnalysis.StringBuilderToStringInstanceKeySite, StringToLower, UriAppendString, UriParseString

public abstract class InstanceKeySite extends Object

Constructor Summary

Constructors

Constructor

Description

InstanceKeySite()
Method Summary

Modifier and Type

Method

Description

abstract int

instanceID()

abstract PrefixVariable

propagate(PrefixVariable input)

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- InstanceKeySite
  
  public InstanceKeySite()
Method Details
- instanceID
  
  public abstract int instanceID()
- propagate
  
  public abstract PrefixVariable propagate(PrefixVariable input)