sandmark.watermark.ct.encode.storage
Class Pointer

java.lang.Object
  |
  +--sandmark.watermark.ct.encode.storage.StorageClass
        |
        +--sandmark.watermark.ct.encode.storage.Pointer

public class Pointer

extends StorageClass

Field Summary

Fields inherited from class sandmark.watermark.ct.encode.storage.StorageClass

FORMAL, GLOBAL, storeLocation

Constructor Summary

Pointer(int storeLocation)

Method Summary

boolean	equals(java.lang.Object o)
static java.lang.String	globalName(Node node)
int	hashCode()
Statement	toJavaCreate(Graph graph, java.util.Properties props)
static Java	toJavaField(Graph graph, Node node, java.util.Properties props)
Expression	toJavaLoad(Node node, java.util.Properties props)
Statement	toJavaStore(Node node, java.util.Properties props)
java.lang.String	toString()
java.lang.String	typeName(java.util.Properties props)
java.lang.String	variableName(java.util.Properties props)

Methods inherited from class sandmark.watermark.ct.encode.storage.StorageClass

getStoreLocation, locationToString, toJavaFormal

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Pointer

public Pointer(int storeLocation)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class StorageClass

globalName

public static java.lang.String globalName(Node node)

typeName

public java.lang.String typeName(java.util.Properties props)

Specified by:

typeName in class StorageClass

variableName

public java.lang.String variableName(java.util.Properties props)

Specified by:

variableName in class StorageClass

toJavaStore

public Statement toJavaStore(Node node,
                             java.util.Properties props)

Specified by:

toJavaStore in class StorageClass

toJavaLoad

public Expression toJavaLoad(Node node,
                             java.util.Properties props)

Specified by:

toJavaLoad in class StorageClass

toJavaCreate

public Statement toJavaCreate(Graph graph,
                              java.util.Properties props)

Specified by:

toJavaCreate in class StorageClass

toJavaField

public static Java toJavaField(Graph graph,
                               Node node,
                               java.util.Properties props)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object