Package 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 Description DotnetTypeFactory()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static ValueinitType(Local variable)Return a initial value for the given type of the variablestatic ValueinitType(Type t)static List<String>listOfCilPrimitives()static TypetoSootType(String type)static TypetoSootType(ProtoAssemblyAllTypes.TypeDefinition dotnetType)static TypetoSootType(Type type)Convert RefType System.Int32 to IntType, etc.static List<Type>toSootTypeList(List<String> types)
-
-
-
Method Detail
-
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:
-
initType
public static Value initType(Local variable)
Return a initial value for the given type of the variable- Parameters:
variable-- Returns:
-
-