org.hava.engine
Class HParameters

java.lang.Object
  org.hava.engine.HParameters

public class HParameters
extends java.lang.Object

Definition of a variable's indexes or a structure's fields.

Method Summary

HValue	getFieldGranularityValue(int i) Returns the grain associated with this field (or null, if none).
java.lang.String	getFieldIdentifier(int i) Returns the identifier for the i-th parameters of this symbol.
int	getFieldIndex(java.lang.String name) Returns the relative position of the field whose name is provided.
int	getNumFields() Returns the number of parameters defined for this symbol.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getFieldGranularityValue

public HValue getFieldGranularityValue(int i)

Returns the grain associated with this field (or null, if none).

getFieldIdentifier

public java.lang.String getFieldIdentifier(int i)

Returns the identifier for the i-th parameters of this symbol.

getFieldIndex

public int getFieldIndex(java.lang.String name)

Returns the relative position of the field whose name is provided.

getNumFields

public int getNumFields()

Returns the number of parameters defined for this symbol.