Package soot.dotnet.members

Class ArrayByReferenceWrapperGenerator

java.lang.Object

soot.dotnet.members.ArrayByReferenceWrapperGenerator

public class ArrayByReferenceWrapperGenerator
extends Object

Array elements in .NET can be loaded by reference. Since Jimple does not support this semantic, we generate Wrapper classes. Note that in .NET, array covariance is allowed for reference types: string[] strings = new string[10]; object[] objects = strings; However, for value types, this is not the case. So all the reference types may share one object[] wrapper, but value types need their own.

Author:

Marc Miltenberger

Field Summary

Fields

Modifier and Type	Field	Description
static String	WRAPPER_CLASS_NAME_START

Constructor Summary

Constructors

Constructor	Description
ArrayByReferenceWrapperGenerator()

Method Summary

Modifier and Type	Method	Description
static Value	createGet(Value holder)
static Unit	createSet(Value holder, Value newValue)
static SootClass	getWrapperClass(Type elementType)

Methods inherited from class java.lang.Object

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

Field Detail

WRAPPER_CLASS_NAME_START

public static final String WRAPPER_CLASS_NAME_START

See Also:

Constant Field Values

Constructor Detail

ArrayByReferenceWrapperGenerator

public ArrayByReferenceWrapperGenerator()

Method Detail

getWrapperClass

public static SootClass getWrapperClass(Type elementType)

createGet

public static Value createGet(Value holder)

createSet

public static Unit createSet(Value holder,
                             Value newValue)