Package crypto.extractparameter

Class CallSiteWithExtractedValue

java.lang.Object

crypto.extractparameter.CallSiteWithExtractedValue

public class CallSiteWithExtractedValue
extends Object

Creates CallSiteWithExtractedValue a constructor with CallSiteWithParamIndex and ExtractedValue as parameter CallSiteWithParamIndex gives position of the location index of the error ExtractedValue gives the value of the call site

Constructor Summary

Constructors

Constructor	Description
CallSiteWithExtractedValue(CallSiteWithParamIndex cs, ExtractedValue val)

Method Summary

Modifier and Type	Method	Description
CallSiteWithParamIndex	getCallSite()
ExtractedValue	getVal()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CallSiteWithExtractedValue

public CallSiteWithExtractedValue(CallSiteWithParamIndex cs,
                                  ExtractedValue val)

Method Detail

getCallSite

public CallSiteWithParamIndex getCallSite()

getVal

public ExtractedValue getVal()

toString

public String toString()

Overrides:

toString in class Object