org.softevo.jdynpur.eval
Class PurityTraceAnalyser.ParameterMutabilityInformation

java.lang.Object
  extended by org.softevo.jdynpur.eval.PurityTraceAnalyser.ParameterMutabilityInformation
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
PurityTraceAnalyser

public static class PurityTraceAnalyser.ParameterMutabilityInformation
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Constructor Summary
PurityTraceAnalyser.ParameterMutabilityInformation(org.softevo.util.asm.MethodIdentifier methodIdentifier)
           
 
Method Summary
 void addParameter(int parameterIndex)
           
 org.softevo.util.asm.MethodIdentifier getMethodIdentifier()
           
 java.util.HashSet<java.lang.Integer> getModifiedParameters()
           
 java.util.HashSet<java.lang.Integer> getParameters()
           
 java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.Integer>> getRuntimeClassNameToUnmodifiedParametersMap()
           
 java.util.HashSet<java.lang.Integer> getUnmodifiedParameters()
           
 void updateUnmodifiedParameters(java.lang.String runtimeClassName, java.util.HashSet<java.lang.Integer> unmodifiedParameters)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PurityTraceAnalyser.ParameterMutabilityInformation

public PurityTraceAnalyser.ParameterMutabilityInformation(org.softevo.util.asm.MethodIdentifier methodIdentifier)
Method Detail

getMethodIdentifier

public org.softevo.util.asm.MethodIdentifier getMethodIdentifier()

getModifiedParameters

public java.util.HashSet<java.lang.Integer> getModifiedParameters()

getUnmodifiedParameters

public java.util.HashSet<java.lang.Integer> getUnmodifiedParameters()

updateUnmodifiedParameters

public void updateUnmodifiedParameters(java.lang.String runtimeClassName,
                                       java.util.HashSet<java.lang.Integer> unmodifiedParameters)

addParameter

public void addParameter(int parameterIndex)

getParameters

public java.util.HashSet<java.lang.Integer> getParameters()

getRuntimeClassNameToUnmodifiedParametersMap

public java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.Integer>> getRuntimeClassNameToUnmodifiedParametersMap()


Copyright © 2007-2008 Software Engineering Group at Saarland University. All Rights Reserved.