de.uka.ipd.sdq.ByCounter.execution
Class ArrayParameters

java.lang.Object
  extended by de.uka.ipd.sdq.ByCounter.execution.ArrayParameters

public class ArrayParameters
extends java.lang.Object

Recorded information about array creations; counts, dimension and types. All three arrays need to keep their indices in sync.

Author:
Martin Krogmann

Constructor Summary
ArrayParameters()
           
 
Method Summary
static ArrayParameters add(ArrayParameters left, ArrayParameters right)
          Add up two ArrayParameters.
static ArrayParameters copyFromCountingResult(CountingResult cr)
          Copies array specific parameters from the CountingResult
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ArrayParameters

public ArrayParameters()
Method Detail

copyFromCountingResult

public static ArrayParameters copyFromCountingResult(CountingResult cr)
Copies array specific parameters from the CountingResult

Parameters:
cr - CountingResult to copy from.
Returns:
A filled instance of ArrayParameters.

add

public static ArrayParameters add(ArrayParameters left,
                                  ArrayParameters right)
Add up two ArrayParameters.

Parameters:
left - First operand.
right - Second operand.
Returns:
The combined ArrayParameters.