tip.node
Interface ITarget

All Superinterfaces:
NodeInterface
All Known Implementing Classes:
AMallocExp

public interface ITarget
extends NodeInterface


Method Summary
 int getMallocIndex()
          Returns the malloc_index field of this ITarget node.
 Type getType()
          Returns the type field of this ITarget node.
 void setMallocIndex(int value)
          Sets the malloc_index field of this ITarget node.
 void setType(Type value)
          Sets the type field of this ITarget node.
 
Methods inherited from interface tip.node.NodeInterface
apply, apply, apply, apply, checkOptionalInvariant, clone, clone, getAncestor, getAncestor, getAncestor, getChildren, getChildren, getChildren, getDescendants, getDescendants, getDescendants, getDescendants, isOptionalInvariant, parent, replaceBy, setOptionalInvariant
 

Method Detail

getMallocIndex

int getMallocIndex()
Returns the malloc_index field of this ITarget node.

Returns:
the malloc_index field of this ITarget node

setMallocIndex

void setMallocIndex(int value)
Sets the malloc_index field of this ITarget node.

Parameters:
value - the new malloc_index field of this ITarget node

getType

Type getType()
Returns the type field of this ITarget node.

Returns:
the type field of this ITarget node

setType

void setType(Type value)
Sets the type field of this ITarget node.

Parameters:
value - the new type field of this ITarget node