soot.dotnet.types

Class DotnetTypeFactory

java.lang.Object

soot.dotnet.types.DotnetTypeFactory

public class DotnetTypeFactory
extends Object

Factory class for generating SootTypes of .NET types

Constructor Summary

Constructors

Constructor and Description
DotnetTypeFactory()

Method Summary

Modifier and Type	Method and Description
static Value	initType(Local variable) Return a initial value for the given type of the variable
static Value	initType(Type t)
static List<String>	listOfCilPrimitives()
static Type	toSootType(ProtoAssemblyAllTypes.TypeDefinition dotnetType)
static Type	toSootType(String type)
static Type	toSootType(Type type) Convert RefType System.Int32 to IntType, etc.
static List<Type>	toSootTypeList(List<String> types)

Methods inherited from class java.lang.Object

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

Constructor Detail

DotnetTypeFactory

public DotnetTypeFactory()

Method Detail

toSootType

public static Type toSootType(String type)

toSootType

public static Type toSootType(ProtoAssemblyAllTypes.TypeDefinition dotnetType)

toSootType

public static Type toSootType(Type type)

Convert RefType System.Int32 to IntType, etc. Could happen that in method body sth such as System.Int32 occur; convert this to inttype, and so on

Parameters:

type -

Returns:

toSootTypeList

public static List<Type> toSootTypeList(List<String> types)

initType

public static Value initType(Local variable)

Return a initial value for the given type of the variable

Parameters:

variable -

Returns:

initType

public static Value initType(Type t)

listOfCilPrimitives

public static List<String> listOfCilPrimitives()