sandmark.watermark.ct.encode.storage
Class Array

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

public class Array

extends StorageClass

Field Summary

(package private) static java.lang.String

arrayName

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

FORMAL, GLOBAL, storeLocation

Constructor Summary

Array(int storeLocation)

Method Summary

boolean	equals(java.lang.Object o)
(package private) Expression	getContainer(java.util.Properties props)
int	hashCode()
Statement	toJavaCreate(Graph graph, 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

Field Detail

arrayName

static final java.lang.String arrayName

See Also:

Constant Field Values

Constructor Detail

Array

public Array(int storeLocation)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class StorageClass

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

getContainer

Expression getContainer(java.util.Properties props)

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

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