public static tMetaData *GetResolutionScopeMetaData(tMetaData *pMetaData, /*IDX_TABLE*/ uint resolutionScopeToken,
tMD_TypeDef **ppInNestedType)
{
switch (MetaData.TABLE_ID(resolutionScopeToken))
{
case MetaDataTable.MD_TABLE_ASSEMBLYREF:
{
tMD_AssemblyRef *pAssemblyRef;
pAssemblyRef = (tMD_AssemblyRef *)MetaData.GetTableRow(pMetaData, resolutionScopeToken);
*ppInNestedType = null;
return(CLIFile.GetMetaDataForAssembly(pAssemblyRef->name));
}
case MetaDataTable.MD_TABLE_TYPEREF:
{
tMD_TypeDef *pTypeDef;
pTypeDef = MetaData.GetTypeDefFromDefRefOrSpec(pMetaData, resolutionScopeToken, null, null);
*ppInNestedType = pTypeDef;
return(pTypeDef->pMetaData);
}
default:
Sys.Crash("MetaData.GetResolutionScopeMetaData(): Cannot resolve token: 0x%08x", resolutionScopeToken);
return(null);
}
}
public static tMD_TypeDef *GetGenericTypeFromSig(tMetaData *pMetaData, /*SIG*/ byte **pSig,
tMD_TypeDef **ppCallingClassTypeArgs, tMD_TypeDef **ppCallingMethodTypeArgs)
{
tMD_TypeDef * pCoreType;
tMD_TypeDef * pRet;
uint numTypeArgs, i;
tMD_TypeDef **ppTypeArgs;
Mem.heapcheck();
pCoreType = Type.GetTypeFromSig(pMetaData, pSig, ppCallingClassTypeArgs, ppCallingMethodTypeArgs, null);
MetaData.Fill_TypeDef(pCoreType, ppCallingClassTypeArgs, ppCallingMethodTypeArgs, Type.TYPE_FILL_PARENTS); //null, null);
numTypeArgs = MetaData.DecodeSigEntry(pSig);
ppTypeArgs = (tMD_TypeDef **)Mem.malloc((SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
for (i = 0; i < numTypeArgs; i++)
{
ppTypeArgs[i] = Type.GetTypeFromSig(pMetaData, pSig, ppCallingClassTypeArgs, ppCallingMethodTypeArgs);
if (ppTypeArgs[i] != null)
{
MetaData.Fill_TypeDef(ppTypeArgs[i], null, null, Type.TYPE_FILL_PARENTS);
}
}
pRet = GetGenericTypeFromCoreType(pCoreType, numTypeArgs, ppTypeArgs);
Mem.free(ppTypeArgs);
Mem.heapcheck();
return(pRet);
}
public static tMD_MethodDef *GetMethodDefFromSpec(tMD_MethodSpec *pMethodSpec,
tMD_TypeDef **ppCallingClassTypeArgs, tMD_TypeDef **ppCallingMethodTypeArgs)
{
tMD_MethodDef *pCoreMethod;
tMD_MethodDef *pMethod;
/*SIG*/ byte * sig;
uint argCount, i;
tMD_TypeDef ** ppTypeArgs;
Mem.heapcheck();
pCoreMethod = MetaData.GetMethodDefFromDefRefOrSpec(pMethodSpec->pMetaData, pMethodSpec->method,
null, null);//ppCallingClassTypeArgs, ppCallingMethodTypeArgs);
//ppClassTypeArgs = pCoreMethod->pParentType->ppClassTypeArgs;
sig = MetaData.GetBlob(pMethodSpec->instantiation, null);
MetaData.DecodeSigEntry(&sig); // always 0x0a
argCount = MetaData.DecodeSigEntry(&sig);
ppTypeArgs = (tMD_TypeDef **)Mem.malloc((SIZE_T)(argCount * sizeof(tMD_TypeDef *)));
for (i = 0; i < argCount; i++)
{
tMD_TypeDef *pArgType;
pArgType = Type.GetTypeFromSig(pMethodSpec->pMetaData, &sig, ppCallingClassTypeArgs, ppCallingMethodTypeArgs, null);
ppTypeArgs[i] = pArgType;
}
pMethod = Generics.GetMethodDefFromCoreMethod(pCoreMethod, pCoreMethod->pParentType, argCount, ppTypeArgs);
Mem.free(ppTypeArgs);
Mem.heapcheck();
return(pMethod);
}
public static void Fill_Defer(tMD_TypeDef *pTypeDef, tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
if (typesToFill != null && pTypeDef->fillState < Type.TYPE_FILL_ALL && !typesToFill.ContainsKey((PTR)pTypeDef))
{
typesToFill.Add((PTR)pTypeDef, new FillState {
pTypeDef = pTypeDef,
ppClassTypeArgs = ppClassTypeArgs,
ppMethodTypeArgs = ppMethodTypeArgs
});
}
}
public static void Fill_FieldDef(tMD_TypeDef *pParentType, FieldInfo fieldInfo, tMD_FieldDef *pFieldDef,
uint memOffset, uint *pAlignment, tMD_TypeDef **ppClassTypeArgs)
{
tMetaData *pMetaData;
uint fieldSize;
uint fieldAlignment;
if (pFieldDef->isFilled == 1)
{
return;
}
pFieldDef->isFilled = 1;
pFieldDef->pParentType = pParentType;
pFieldDef->pType = MonoType.GetTypeForMonoType(fieldInfo.FieldType, ppClassTypeArgs, null);
if (pFieldDef->pType == null)
{
// If the field is a core generic type definition, then we can't do anything more
return;
}
if (pFieldDef->pType->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pFieldDef->pType, null, null);
}
else if (pFieldDef->pType->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pFieldDef->pType, null, null);
}
if (pFieldDef->pType->isValueType != 0)
{
fieldSize = pFieldDef->pType->instanceMemSize;
fieldAlignment = (pFieldDef->pType->isValueType == 0 || pFieldDef->pType->alignment == 0) ? sizeof(PTR) : pFieldDef->pType->alignment;
}
else
{
fieldSize = fieldAlignment = sizeof(PTR);
}
if (pAlignment != null && *pAlignment < fieldAlignment)
{
*pAlignment = fieldAlignment;
}
pFieldDef->memOffset = (memOffset + fieldAlignment - 1) & ~(fieldAlignment - 1);
pFieldDef->memSize = fieldSize;
pFieldDef->pFieldDef = pFieldDef;
pFieldDef->monoFieldInfo = new H(fieldInfo);
pFieldDef->monoGetter = new H(GetFieldTrampoline);
pFieldDef->monoSetter = new H(SetFieldTrampoline);
pMetaData = pFieldDef->pMetaData;
}
public static tMD_FieldDef *GetFieldDefFromDefOrRef(tMetaData *pMetaData, /*IDX_TABLE*/ uint token,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
void *pTableEntry;
pTableEntry = MetaData.GetTableRow(pMetaData, token);
if (((tMDC_ToFieldDef *)pTableEntry)->pFieldDef != null)
{
return(((tMDC_ToFieldDef *)pTableEntry)->pFieldDef);
}
switch (MetaData.TABLE_ID(token))
{
case MetaDataTable.MD_TABLE_FIELDDEF:
((tMDC_ToFieldDef *)pTableEntry)->pFieldDef = (tMD_FieldDef *)pTableEntry;
return((tMD_FieldDef *)pTableEntry);
case MetaDataTable.MD_TABLE_MEMBERREF:
{
tMD_MemberRef *pMemberRef;
pMemberRef = (tMD_MemberRef *)pTableEntry;
switch (MetaData.TABLE_ID(pMemberRef->class_))
{
case MetaDataTable.MD_TABLE_TYPEREF:
case MetaDataTable.MD_TABLE_TYPESPEC:
{
tMD_TypeDef * pTypeDef;
tMD_FieldDef *pFieldDef;
pTypeDef = MetaData.GetTypeDefFromDefRefOrSpec(pMetaData, pMemberRef->class_, ppClassTypeArgs, ppMethodTypeArgs);
pFieldDef = FindFieldInType(pTypeDef, pMemberRef->name);
if (MetaData.TABLE_ID(pMemberRef->class_) == MetaDataTable.MD_TABLE_TYPEREF)
{
// Can't do this for TypeSpec because the resulting TypeDef will change
// depending on what the class type arguments are.
((tMDC_ToFieldDef *)pTableEntry)->pFieldDef = pFieldDef;
}
return(pFieldDef);
}
default:
Sys.Crash("MetaData.GetMethodDefFromMethodDefOrRef(): Cannot handle pMemberRef->class_=0x%08x", pMemberRef->class_);
break;
}
return(null);
}
}
Sys.Crash("MetaData.GetFieldDefFromDefOrRef(): Cannot handle token: 0x%08x", token);
return(null);
}
public static void Fill_GetDeferredTypeArgs(tMD_TypeDef *pTypeDef, ref tMD_TypeDef **ppClassTypeArgs, ref tMD_TypeDef **ppMethodTypeArgs)
{
FillState state = new FillState();
if (typesToFill != null)
{
if (typesToFill.TryGetValue((PTR)pTypeDef, out state))
{
ppClassTypeArgs = state.ppClassTypeArgs;
ppMethodTypeArgs = state.ppMethodTypeArgs;
}
}
}
public static tMD_TypeDef *GetGenericTypeFromCoreType(tMD_TypeDef *pCoreType, uint numTypeArgs,
tMD_TypeDef **ppTypeArgs)
{
tGenericInstance *pInst;
tMD_TypeDef * pTypeDef;
uint i;
byte * name = stackalloc byte[NAME_BUF_SIZE];
byte * namePos, nameEnd;
tMetaData *pMetaData;
Mem.heapcheck();
pMetaData = pCoreType->pMetaData;
MetaData.Fill_TypeDef(pCoreType, null, null, Type.TYPE_FILL_PARENTS);
// See if we have already built an instantiation of this type with the given type args.
pInst = pCoreType->pGenericInstances;
while (pInst != null)
{
if (pInst->numTypeArgs == numTypeArgs &&
Mem.memcmp(pInst->ppTypeArgs, ppTypeArgs, (SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *))) == 0)
{
return(pInst->pInstanceTypeDef);
}
pInst = pInst->pNext;
}
// This has not already been instantiated, so instantiate it now.
pInst = (tGenericInstance *)Mem.mallocForever((SIZE_T)sizeof(tGenericInstance));
// Insert this into the chain of instantiations.
pInst->pNext = pCoreType->pGenericInstances;
pCoreType->pGenericInstances = pInst;
// Copy the type args into the instantiation.
pInst->numTypeArgs = numTypeArgs;
pInst->ppTypeArgs = (tMD_TypeDef **)Mem.malloc((SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
Mem.memcpy(pInst->ppTypeArgs, ppTypeArgs, (SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
Mem.heapcheck();
// Create the new instantiated type
pInst->pInstanceTypeDef = pTypeDef = ((tMD_TypeDef *)Mem.mallocForever((SIZE_T)sizeof(tMD_TypeDef)));
Mem.memset(pTypeDef, 0, (SIZE_T)sizeof(tMD_TypeDef));
// Make the name of the instantiation.
namePos = name;
nameEnd = namePos + NAME_BUF_SIZE - 1;
namePos = S.scatprintf(namePos, nameEnd, "%s", (PTR)pCoreType->name);
namePos = S.scatprintf(namePos, nameEnd, "[");
for (i = 0; i < numTypeArgs; i++)
{
if (i > 0)
{
namePos = S.scatprintf(namePos, nameEnd, ",");
}
if (ppTypeArgs[i] != null)
{
namePos = S.scatprintf(namePos, nameEnd, "%s.%s", (PTR)ppTypeArgs[i]->nameSpace, (PTR)ppTypeArgs[i]->name);
}
else
{
tMD_GenericParam *pGenericParam = FindGenericParam(pCoreType, i);
if (pGenericParam != null)
{
namePos = S.scatprintf(namePos, nameEnd, "%s", (PTR)pGenericParam->name);
}
else
{
namePos = S.scatprintf(namePos, nameEnd, "???");
}
}
}
namePos = S.scatprintf(namePos, nameEnd, "]");
// Fill in the basic bits of the new type def.
pTypeDef->pTypeDef = pTypeDef;
pTypeDef->pMetaData = pMetaData;
pTypeDef->flags = pCoreType->flags;
pTypeDef->pGenericDefinition = pCoreType;
for (i = 0; i < numTypeArgs; i++)
{
if (ppTypeArgs[i] == null)
{
pTypeDef->isGenericDefinition = 1;
break;
}
}
pTypeDef->nameSpace = pCoreType->nameSpace;
int nameLen = S.strlen(name) + 1;
pTypeDef->name = (/*STRING*/ byte *)Mem.mallocForever((SIZE_T)nameLen);
S.strncpy(pTypeDef->name, name, nameLen);
pTypeDef->ppClassTypeArgs = pInst->ppTypeArgs;
pTypeDef->extends = pCoreType->extends;
pTypeDef->tableIndex = pCoreType->tableIndex;
pTypeDef->fieldList = pCoreType->fieldList;
pTypeDef->methodList = pCoreType->methodList;
pTypeDef->numFields = pCoreType->numFields;
pTypeDef->numMethods = pCoreType->numMethods;
pTypeDef->numVirtualMethods = pCoreType->numVirtualMethods;
pTypeDef->pNestedIn = pCoreType->pNestedIn;
pTypeDef->isPrimed = 1;
MetaData.Fill_TypeDef(pTypeDef, pInst->ppTypeArgs, null, Type.TYPE_FILL_PARENTS);
Mem.heapcheck();
return(pTypeDef);
}
public static tMD_MethodDef *GetMethodDefFromCoreMethod(tMD_MethodDef *pCoreMethod,
tMD_TypeDef *pParentType, uint numTypeArgs, tMD_TypeDef **ppTypeArgs,
HashSet <PTR> resolveTypes = null)
{
tGenericMethodInstance *pInst;
tMD_MethodDef * pMethod;
Mem.heapcheck();
// See if we already have an instance with the given type args
pInst = pCoreMethod->pGenericMethodInstances;
while (pInst != null)
{
if (pInst->numTypeArgs == numTypeArgs &&
Mem.memcmp(pInst->ppTypeArgs, ppTypeArgs, (SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *))) == 0)
{
return(pInst->pInstanceMethodDef);
}
pInst = pInst->pNext;
}
// We don't have an instance so create one now.
pInst = (tGenericMethodInstance *)Mem.mallocForever((SIZE_T)(sizeof(tGenericMethodInstance)));
pInst->pNext = pCoreMethod->pGenericMethodInstances;
pCoreMethod->pGenericMethodInstances = pInst;
pInst->numTypeArgs = numTypeArgs;
pInst->ppTypeArgs = (tMD_TypeDef **)Mem.malloc((SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
Mem.memcpy(pInst->ppTypeArgs, ppTypeArgs, (SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
pInst->pInstanceMethodDef = pMethod = ((tMD_MethodDef *)Mem.mallocForever((SIZE_T)sizeof(tMD_MethodDef)));
Mem.memset(pMethod, 0, (SIZE_T)sizeof(tMD_MethodDef));
pMethod->pMethodDef = pMethod;
pMethod->pMetaData = pCoreMethod->pMetaData;
pMethod->pCIL = pCoreMethod->pCIL;
pMethod->implFlags = pCoreMethod->implFlags;
pMethod->flags = pCoreMethod->flags;
pMethod->name = pCoreMethod->name;
pMethod->signature = pCoreMethod->signature;
pMethod->vTableOfs = pCoreMethod->vTableOfs;
pMethod->ppMethodTypeArgs = pInst->ppTypeArgs;
if (pCoreMethod->monoMethodInfo != null)
{
System.Reflection.MethodInfo methodInfo = H.ToObj(pCoreMethod->monoMethodInfo) as System.Reflection.MethodInfo;
System.Type[] typeArgs = new System.Type[(int)numTypeArgs];
for (uint i = 0; i < numTypeArgs; i++)
{
typeArgs[i] = MonoType.GetMonoTypeForType(ppTypeArgs[i]);
if (typeArgs[i] == null)
{
Sys.Crash("Unable to find mono type for type arg %s.%s in for generic method %s",
(PTR)ppTypeArgs[i]->nameSpace, (PTR)ppTypeArgs[i]->name, (PTR)pCoreMethod->name);
}
}
System.Reflection.MethodInfo genericMethodInfo = methodInfo.MakeGenericMethod(typeArgs);
MonoType.Fill_MethodDef(pParentType, genericMethodInfo, pMethod, pParentType->ppClassTypeArgs, pInst->ppTypeArgs);
}
else
{
MetaData.Fill_MethodDef(pParentType, pMethod, pParentType->ppClassTypeArgs, pInst->ppTypeArgs);
}
Mem.heapcheck();
return(pMethod);
}
static tMD_MethodDef *FindMethodInType(tMD_TypeDef *pTypeDef, /*STRING*/ byte *name, tMetaData *pSigMetaData,
/*BLOB_*/ byte *sigBlob, tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
uint i;
tMD_TypeDef *pLookInType = pTypeDef;
if (pLookInType->fillState < Type.TYPE_FILL_MEMBERS)
{
MetaData.Fill_TypeDef(pTypeDef, ppClassTypeArgs, ppMethodTypeArgs, Type.TYPE_FILL_MEMBERS);
}
do
{
for (i = 0; i < pLookInType->numMethods; i++)
{
if (MetaData.CompareNameAndSig(name, sigBlob, pSigMetaData, ppClassTypeArgs, ppMethodTypeArgs,
pLookInType->ppMethods[i], pLookInType->ppClassTypeArgs, null) != 0)
{
return(pLookInType->ppMethods[i]);
}
}
pLookInType = pLookInType->pParent;
} while (pLookInType != null);
{
// Error reporting!!
uint entry, numParams, j;
/*SIG*/ byte * sig;
/*char**/ byte *pMsg, pMsgPos, pMsgEnd;
tMD_TypeDef * pParamTypeDef;
pMsgPos = pMsg = (byte *)Mem.malloc(MSG_BUF_SIZE);
pMsgEnd = pMsg + MSG_BUF_SIZE;
*pMsg = 0;
sig = MetaData.GetBlob(sigBlob, &j);
entry = MetaData.DecodeSigEntry(&sig);
if ((entry & SIG_METHODDEF_HASTHIS) == 0)
{
pMsgPos = S.scatprintf(pMsgPos, pMsgEnd, "static ");
}
if ((entry & SIG_METHODDEF_GENERIC) != 0)
{
// read number of generic type args - don't care what it is
MetaData.DecodeSigEntry(&sig);
}
numParams = MetaData.DecodeSigEntry(&sig);
pParamTypeDef = Type.GetTypeFromSig(pSigMetaData, &sig, ppClassTypeArgs, ppMethodTypeArgs, null); // return type
if (pParamTypeDef != null)
{
pMsgPos = S.scatprintf(pMsgPos, pMsgEnd, "%s ", (PTR)pParamTypeDef->name);
}
pMsgPos = S.scatprintf(pMsgPos, pMsgEnd, "%s.%s.%s(", (PTR)pTypeDef->nameSpace, (PTR)pTypeDef->name, (PTR)name);
for (j = 0; j < numParams; j++)
{
pParamTypeDef = Type.GetTypeFromSig(pSigMetaData, &sig, ppClassTypeArgs, ppMethodTypeArgs, null);
if (j > 0)
{
pMsgPos = S.scatprintf(pMsgPos, pMsgEnd, ",");
}
if (pParamTypeDef != null)
{
pMsgPos = S.scatprintf(pMsgPos, pMsgEnd, "%s", (PTR)pParamTypeDef->name);
}
else
{
pMsgPos = S.scatprintf(pMsgPos, pMsgEnd, "???");
}
}
Sys.Crash("FindMethodInType(): Cannot find method %s)", (PTR)pMsg);
}
return(null);
}
// Return pointer to the relevant Def structure.
// pObjectType returns:
// 0 - tMD_TypeDef
// 1 - tMD_MethodDef
// 2 - tMD_FieldDef
// (These link up with the JitOps.JIT_LOADTOKEN_* opcodes)
public static byte *GetTypeMethodField(tMetaData *pMetaData, /*IDX_TABLE*/ uint token, uint *pObjectType,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
switch (MetaData.TABLE_ID(token))
{
case MetaDataTable.MD_TABLE_TYPEDEF:
case MetaDataTable.MD_TABLE_TYPEREF:
case MetaDataTable.MD_TABLE_TYPESPEC:
{
tMD_TypeDef *pTypeDef;
pTypeDef = MetaData.GetTypeDefFromDefRefOrSpec(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
//MetaData.Fill_TypeDef(pTypeDef, null, null);
*pObjectType = 0;
return((byte *)pTypeDef);
}
case MetaDataTable.MD_TABLE_METHODDEF:
method:
{
tMD_MethodDef *pMethodDef;
pMethodDef = MetaData.GetMethodDefFromDefRefOrSpec(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
if (pMethodDef->isFilled == 0)
{
tMD_TypeDef *pTypeDef;
pTypeDef = MetaData.GetTypeDefFromMethodDef(pMethodDef);
//MetaData.Fill_TypeDef(pTypeDef, null, null);
}
*pObjectType = 1;
return((byte *)pMethodDef);
}
case MetaDataTable.MD_TABLE_FIELDDEF:
field:
{
tMD_FieldDef *pFieldDef;
pFieldDef = MetaData.GetFieldDefFromDefOrRef(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
if (pFieldDef->pParentType == null)
{
tMD_TypeDef *pTypeDef;
pTypeDef = MetaData.GetTypeDefFromFieldDef(pFieldDef);
//MetaData.Fill_TypeDef(pTypeDef, null, null);
}
*pObjectType = 2;
return((byte *)pFieldDef);
}
case MetaDataTable.MD_TABLE_MEMBERREF:
{
tMD_MemberRef *pMemberRef;
/*SIG*/ byte * sig;
pMemberRef = (tMD_MemberRef *)MetaData.GetTableRow(pMetaData, token);
sig = MetaData.GetBlob(pMemberRef->signature, null);
if (*(byte *)sig == 0x06)
{
// Field
goto field;
}
else
{
// Method
goto method;
}
}
}
Sys.Crash("MetaData.GetTypeMethodField(): Cannot handle token: 0x%08x", token);
return(null);
}
public static tMD_MethodDef *GetMethodDefFromDefRefOrSpec(tMetaData *pMetaData, /*IDX_TABLE*/ uint token,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
void *pTableEntry;
pTableEntry = MetaData.GetTableRow(pMetaData, token);
if (((tMDC_ToMethodDef *)pTableEntry)->pMethodDef != null)
{
return(((tMDC_ToMethodDef *)pTableEntry)->pMethodDef);
}
switch (MetaData.TABLE_ID(token))
{
case MetaDataTable.MD_TABLE_METHODDEF:
((tMDC_ToMethodDef *)pTableEntry)->pMethodDef = (tMD_MethodDef *)pTableEntry;
return((tMD_MethodDef *)pTableEntry);
case MetaDataTable.MD_TABLE_MEMBERREF:
{
tMD_MemberRef *pMemberRef;
pMemberRef = (tMD_MemberRef *)pTableEntry;
switch (MetaData.TABLE_ID(pMemberRef->class_))
{
case MetaDataTable.MD_TABLE_TYPEREF:
case MetaDataTable.MD_TABLE_TYPESPEC:
{
tMD_TypeDef * pTypeDef;
tMD_MethodDef *pMethodDef;
pTypeDef = MetaData.GetTypeDefFromDefRefOrSpec(pMetaData, pMemberRef->class_, ppClassTypeArgs, ppMethodTypeArgs);
MetaData.Fill_TypeDef(pTypeDef, null, null);
pMethodDef = FindMethodInType(pTypeDef, pMemberRef->name, pMetaData, pMemberRef->signature, pTypeDef->ppClassTypeArgs, ppMethodTypeArgs);
//pMethodDef->pMethodDef = pMethodDef;
return(pMethodDef);
}
default:
Sys.Crash("MetaData.GetMethodDefFromMethodDefOrRef(): Cannot handle pMemberRef->class_=0x%08x", pMemberRef->class_);
return(null);
}
}
case MetaDataTable.MD_TABLE_METHODSPEC:
{
tMD_MethodSpec *pMethodSpec;
tMD_MethodDef * pMethodDef;
pMethodSpec = (tMD_MethodSpec *)pTableEntry;
pMethodDef = Generics.GetMethodDefFromSpec(pMethodSpec, ppClassTypeArgs, ppMethodTypeArgs);
// Note: Cannot cache the MethodDef from the MethodSpec, as class generic arguments
// may be different.
return(pMethodDef);
}
}
Sys.Crash("MetaData.GetMethodDefFromMethodDefOrRef(): Cannot handle token: 0x%08x", token);
return(null);
}
public static tMD_TypeDef *GetTypeDefFromDefRefOrSpec(tMetaData *pMetaData, /*IDX_TABLE*/ uint token,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
void *pTableEntry;
pTableEntry = MetaData.GetTableRow(pMetaData, token);
if (pTableEntry == null)
{
return(null);
}
if (((tMDC_ToTypeDef *)pTableEntry)->pTypeDef != null)
{
if (((tMDC_ToTypeDef *)pTableEntry)->pTypeDef->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(((tMDC_ToTypeDef *)pTableEntry)->pTypeDef, null, null);
}
return(((tMDC_ToTypeDef *)pTableEntry)->pTypeDef);
}
switch (MetaData.TABLE_ID(token))
{
case MetaDataTable.MD_TABLE_TYPEDEF:
((tMDC_ToTypeDef *)pTableEntry)->pTypeDef = (tMD_TypeDef *)pTableEntry;
return((tMD_TypeDef *)pTableEntry);
case MetaDataTable.MD_TABLE_TYPEREF:
{
tMetaData * pTypeDefMetaData;
tMD_TypeRef *pTypeRef;
tMD_TypeDef *pTypeDef;
tMD_TypeDef *pInNestedClass;
pTypeRef = (tMD_TypeRef *)pTableEntry;
pTypeDefMetaData = MetaData.GetResolutionScopeMetaData(pMetaData, pTypeRef->resolutionScope, &pInNestedClass);
pTypeDef = MetaData.GetTypeDefFromName(pTypeDefMetaData, pTypeRef->nameSpace, pTypeRef->name, pInNestedClass, /* assertExists */ 1);
if (pTypeDef->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pTypeDef, null, null);
}
pTypeRef->pTypeDef = pTypeDef;
return(pTypeDef);
}
case MetaDataTable.MD_TABLE_TYPESPEC:
{
tMD_TypeSpec *pTypeSpec;
tMD_TypeDef * pTypeDef;
/*SIG*/ byte *sig;
pTypeSpec = (tMD_TypeSpec *)pTableEntry;
sig = MetaData.GetBlob(pTypeSpec->signature, null);
pTypeDef = Type.GetTypeFromSig(pTypeSpec->pMetaData, &sig, ppClassTypeArgs, ppMethodTypeArgs, null);
// Note: Cannot cache the TypeDef for this TypeSpec because it
// can change depending on class arguemnts given.
return(pTypeDef);
}
default:
Sys.Crash("MetaData.GetTypeDefFromDefRefOrSpec(): Cannot handle token: 0x%08x", token);
return(null);
}
}
public static uint CompareNameAndSig(/*STRING*/ byte *name, /*BLOB_*/ byte *sigBlob, tMetaData *pSigMetaData,
tMD_TypeDef **ppSigClassTypeArgs, tMD_TypeDef **ppSigMethodTypeArgs, tMD_MethodDef *pMethod, tMD_TypeDef **ppMethodClassTypeArgs,
tMD_TypeDef **ppMethodMethodTypeArgs)
{
if (S.strcmp(name, pMethod->name) == 0)
{
if (pMethod->signature != null)
{
/*SIG*/ byte *sig, thisSig;
uint e, thisE, paramCount, i;
sig = MetaData.GetBlob(sigBlob, null);
thisSig = MetaData.GetBlob(pMethod->signature, null);
e = MetaData.DecodeSigEntry(&sig);
thisE = MetaData.DecodeSigEntry(&thisSig);
// Check method call type (static, etc...)
if (e != thisE)
{
return(0);
}
// If method has generic arguments, check the generic type argument count
if ((e & SIG_METHODDEF_GENERIC) != 0)
{
e = MetaData.DecodeSigEntry(&sig);
thisE = MetaData.DecodeSigEntry(&thisSig);
// Generic argument count
if (e != thisE)
{
return(0);
}
}
e = MetaData.DecodeSigEntry(&sig);
thisE = MetaData.DecodeSigEntry(&thisSig);
// check parameter count
if (e != thisE)
{
return(0);
}
paramCount = e + 1; // +1 to include the return type
// check all parameters
for (i = 0; i < paramCount; i++)
{
tMD_TypeDef *pParamType;
tMD_TypeDef *pThisParamType;
pParamType = Type.GetTypeFromSig(pSigMetaData, &sig,
ppSigClassTypeArgs, ppSigMethodTypeArgs, null);
pThisParamType = Type.GetTypeFromSig(pMethod->pMetaData, &thisSig,
ppMethodClassTypeArgs, ppMethodMethodTypeArgs, null);
if (pParamType != pThisParamType)
{
return(0);
}
}
// All parameters the same, so found the right method
return(1);
}
else if (pMethod->monoMethodInfo != null)
{
/*SIG*/
byte * sig;
uint e, paramCount, i;
MethodBase methodBase = H.ToObj(pMethod->monoMethodInfo) as MethodBase;
sig = MetaData.GetBlob(sigBlob, null);
e = MetaData.DecodeSigEntry(&sig);
// Check method call type (static, etc...)
if (methodBase.IsStatic && (e & (SIG_METHODDEF_HASTHIS | SIG_METHODDEF_EXPLICITTHIS)) != 0)
{
return(0);
}
// If method has generic arguments, check the generic type argument count
if ((e & SIG_METHODDEF_GENERIC) != 0)
{
if (!methodBase.IsGenericMethod)
{
return(0);
}
e = MetaData.DecodeSigEntry(&sig);
// Generic argument count
if (e != methodBase.GetGenericArguments().Length)
{
return(0);
}
}
paramCount = MetaData.DecodeSigEntry(&sig);
System.Reflection.ParameterInfo[] paramInfos = methodBase.GetParameters();
if (paramCount != paramInfos.Length)
{
return(0);
}
tMD_TypeDef *pReturnType = Type.GetTypeFromSig(pSigMetaData, &sig,
ppSigClassTypeArgs, ppSigMethodTypeArgs, null);
if (methodBase is MethodInfo)
{
tMD_TypeDef *pThisReturnType = MonoType.GetTypeForMonoType(((MethodInfo)methodBase).ReturnType,
ppMethodClassTypeArgs, ppMethodMethodTypeArgs);
if (pReturnType == null)
{
if (pThisReturnType != Type.types[Type.TYPE_SYSTEM_VOID])
{
return(0);
}
}
else if (pReturnType != pThisReturnType)
{
return(0);
}
}
// check all parameters
for (i = 0; i < paramCount; i++)
{
tMD_TypeDef *pParamType;
tMD_TypeDef *pThisParamType;
pParamType = Type.GetTypeFromSig(pSigMetaData, &sig,
ppSigClassTypeArgs, ppSigMethodTypeArgs, null);
pThisParamType = MonoType.GetTypeForMonoType(paramInfos[i].ParameterType,
ppMethodClassTypeArgs, ppMethodMethodTypeArgs);
if (pParamType != pThisParamType)
{
return(0);
}
}
// All parameters the same, so found the right method
return(1);
}
else
{
Sys.Crash("Method with no sig or methodInfo");
}
}
return(0);
}
public static void Fill_FieldDef(tMD_TypeDef *pParentType, tMD_FieldDef *pFieldDef, uint memOffset,
uint *pAlignment, tMD_TypeDef **ppClassTypeArgs)
{
uint sigLength;
byte * sig;
tMetaData *pMetaData;
uint fieldSize, fieldAlignment;
if (pFieldDef->isFilled == 1)
{
return;
}
// Note: parent type can be null for module level fields (frequently seen with auto-gen RVA init fields)
pFieldDef->pParentType = pParentType;
pFieldDef->pFieldDef = pFieldDef;
pFieldDef->isFilled = 1;
sig = MetaData.GetBlob(pFieldDef->signature, &sigLength);
MetaData.DecodeSigEntry(&sig); // First entry always 0x06
pFieldDef->pType = Type.GetTypeFromSig(pFieldDef->pMetaData, &sig, ppClassTypeArgs, null, null);
if (pFieldDef->pType == null)
{
// If the field is a core generic type definition, then we can't do anything more
return;
}
if (pFieldDef->pType->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pFieldDef->pType, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pFieldDef->pType->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pFieldDef->pType, null, null);
}
if (pFieldDef->pType->isValueType != 0)
{
fieldSize = pFieldDef->pType->instanceMemSize;
fieldAlignment = (pFieldDef->pType->isValueType == 0 || pFieldDef->pType->alignment == 0) ? sizeof(PTR) : pFieldDef->pType->alignment;
}
else
{
fieldSize = fieldAlignment = sizeof(PTR);
}
if (pAlignment != null && *pAlignment < fieldAlignment)
{
*pAlignment = fieldAlignment;
}
pFieldDef->memOffset = (memOffset + fieldAlignment - 1) & ~(fieldAlignment - 1);
pFieldDef->memSize = fieldSize;
pMetaData = pFieldDef->pMetaData;
if (MetaData.FIELD_HASFIELDRVA(pFieldDef))
{
uint i, top;
// Field has RVA, so load it from FieldRVA
top = pMetaData->tables.numRows[MetaDataTable.MD_TABLE_FIELDRVA];
for (i = 1; i <= top; i++)
{
tMD_FieldRVA *pFieldRVA;
pFieldRVA = (tMD_FieldRVA *)MetaData.GetTableRow(pMetaData, MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_FIELDRVA, i));
if (pFieldRVA->field == pFieldDef->tableIndex)
{
pFieldDef->pMemory = (byte *)pFieldRVA->rva;
break;
}
}
}
else if (MetaData.FIELD_ISLITERAL(pFieldDef))
{
// Field is literal, so make pMemory point to the value signature
uint i, top;
top = pMetaData->tables.numRows[MetaDataTable.MD_TABLE_CONSTANT];
for (i = 1; i <= top; i++)
{
tMD_Constant *pConst;
pConst = (tMD_Constant *)MetaData.GetTableRow(pMetaData, MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_CONSTANT, i));
if (pConst->parent == pFieldDef->tableIndex)
{
// Found the field
pFieldDef->pMemory = (byte *)pConst;
break;
}
}
}
}
public static tMD_MethodDef *GetMethodDefFromCoreMethod(tMD_MethodDef *pCoreMethod,
tMD_TypeDef *pParentType, uint numTypeArgs, tMD_TypeDef **ppTypeArgs,
HashSet <PTR> resolveTypes = null)
{
tGenericMethodInstance *pInst;
tMD_MethodDef * pMethod;
int i;
Mem.heapcheck();
// See if we already have an instance with the given type args
pInst = pCoreMethod->pGenericMethodInstances;
while (pInst != null)
{
if (pInst->numTypeArgs == numTypeArgs &&
Mem.memcmp(pInst->ppTypeArgs, ppTypeArgs, (SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *))) == 0)
{
return(pInst->pInstanceMethodDef);
}
pInst = pInst->pNext;
}
// We don't have an instance so create one now.
pInst = (tGenericMethodInstance *)Mem.mallocForever((SIZE_T)(sizeof(tGenericMethodInstance)));
pInst->pNext = pCoreMethod->pGenericMethodInstances;
pCoreMethod->pGenericMethodInstances = pInst;
pInst->numTypeArgs = numTypeArgs;
pInst->ppTypeArgs = (tMD_TypeDef **)Mem.malloc((SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
Mem.memcpy(pInst->ppTypeArgs, ppTypeArgs, (SIZE_T)(numTypeArgs * sizeof(tMD_TypeDef *)));
pInst->pInstanceMethodDef = pMethod = ((tMD_MethodDef *)Mem.mallocForever((SIZE_T)sizeof(tMD_MethodDef)));
Mem.memset(pMethod, 0, (SIZE_T)sizeof(tMD_MethodDef));
pMethod->pMethodDef = pMethod;
pMethod->pMetaData = pCoreMethod->pMetaData;
pMethod->pCIL = pCoreMethod->pCIL;
pMethod->implFlags = pCoreMethod->implFlags;
pMethod->flags = pCoreMethod->flags;
pMethod->name = pCoreMethod->name;
pMethod->signature = pCoreMethod->signature;
pMethod->vTableOfs = pCoreMethod->vTableOfs;
pMethod->ppMethodTypeArgs = pInst->ppTypeArgs;
MetaData.Fill_MethodDef(pParentType, pMethod, pParentType->ppClassTypeArgs, pInst->ppTypeArgs);
Mem.heapcheck();
return(pMethod);
}
public static void Fill_MethodDef(tMD_TypeDef *pParentType, tMD_MethodDef *pMethodDef,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
/*SIG*/ byte *sig;
uint i, entry, totalSize, start;
if (pMethodDef->isFilled == 1)
{
return;
}
// Note: parent type can be null for module level methods (not typical in C# assemblies)
pMethodDef->pParentType = pParentType;
pMethodDef->pMethodDef = pMethodDef;
pMethodDef->isFilled = 1;
if (pMethodDef->isGenericDefinition != 0)
{
// Generic definition method, so can't do any more.
//Sys.log_f("Method<>: %s.%s.%s()\n", pParentType->nameSpace, pParentType->name, pMethodDef->name);
return;
}
sig = MetaData.GetBlob(pMethodDef->signature, null);
entry = MetaData.DecodeSigEntry(&sig);
if ((entry & SIG_METHODDEF_GENERIC) != 0)
{
// Has generic parameters. Read how many, but don't care about the answer
MetaData.DecodeSigEntry(&sig);
}
pMethodDef->numberOfParameters = (ushort)(MetaData.DecodeSigEntry(&sig) + (MetaData.METHOD_ISSTATIC(pMethodDef)?0:1));
pMethodDef->pReturnType = Type.GetTypeFromSig(pMethodDef->pMetaData, &sig, ppClassTypeArgs, ppMethodTypeArgs, null);
if (pMethodDef->pReturnType != null && pMethodDef->pReturnType->fillState < Type.TYPE_FILL_ALL)
{
Fill_Defer(pMethodDef->pReturnType, ppClassTypeArgs, ppMethodTypeArgs);
}
pMethodDef->pParams = (tParameter *)Mem.malloc((SIZE_T)(pMethodDef->numberOfParameters * sizeof(tParameter)));
totalSize = 0;
start = 0;
if (!MetaData.METHOD_ISSTATIC(pMethodDef))
{
// Fill in parameter info for the 'this' pointer
pMethodDef->pParams->offset = 0;
if (pParentType->isValueType != 0)
{
// If this is a value-type then the 'this' pointer is actually an IntPtr to the value-type's location
pMethodDef->pParams->size = sizeof(PTR);
pMethodDef->pParams->pStackTypeDef = Type.types[Type.TYPE_SYSTEM_INTPTR];
}
else
{
pMethodDef->pParams->size = sizeof(PTR);
pMethodDef->pParams->pStackTypeDef = pParentType;
}
totalSize = sizeof(PTR);
start = 1;
}
for (i = start; i < pMethodDef->numberOfParameters; i++)
{
tMD_TypeDef *pStackTypeDef;
tMD_TypeDef *pByRefTypeDef;
uint size;
pByRefTypeDef = null;
pStackTypeDef = Type.GetTypeFromSig(pMethodDef->pMetaData, &sig, ppClassTypeArgs, ppMethodTypeArgs, &pByRefTypeDef);
if (pStackTypeDef != null)
{
if (pStackTypeDef->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pStackTypeDef, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pStackTypeDef->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pStackTypeDef, null, null);
}
size = pStackTypeDef->stackSize;
}
else
{
size = 0;
}
if (pByRefTypeDef != null)
{
if (pByRefTypeDef->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pByRefTypeDef, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pByRefTypeDef->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pByRefTypeDef, null, null);
}
}
pMethodDef->pParams[i].pStackTypeDef = pStackTypeDef;
pMethodDef->pParams[i].pByRefTypeDef = pByRefTypeDef;
pMethodDef->pParams[i].offset = totalSize;
pMethodDef->pParams[i].size = size;
totalSize += size;
}
pMethodDef->parameterStackSize = totalSize;
}
public static void Fill_TypeDef(tMD_TypeDef *pTypeDef, tMD_TypeDef **ppClassTypeArgs,
tMD_TypeDef **ppMethodTypeArgs, uint resolve = Type.TYPE_FILL_ALL)
{
uint instanceMemSize, staticMemSize, virtualOfs, isDeferred, i, j;
int lastPeriod;
tMetaData * pMetaData;
tMD_TypeDef *pParent;
System.Type monoType;
tMD_FieldDef * pFieldDefs;
tMD_MethodDef *pMethodDefs;
FieldInfo[] fieldInfos = null;
FieldInfo fieldInfo;
MethodInfo[] methodInfos = null;
ConstructorInfo[] constructorInfos = null;
MethodBase methodBase;
tMD_MethodDef * pMethodDef;
if (pTypeDef->fillState >= resolve)
{
return;
}
if (pTypeDef->monoType == null)
{
MetaData.Fill_TypeDef(pTypeDef, ppClassTypeArgs, ppMethodTypeArgs, resolve);
return;
}
//Sys.printf("FILLING TYPE: %s\n", (PTR)pTypeDef->name);
if (MetaData.typesToFill == null)
{
MetaData.Fill_StartDefer();
isDeferred = 1;
}
else
{
isDeferred = 0;
}
if (resolve < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pTypeDef, ppClassTypeArgs, ppMethodTypeArgs);
}
MetaData.Fill_GetDeferredTypeArgs(pTypeDef, ref ppClassTypeArgs, ref ppMethodTypeArgs);
monoType = H.ToObj(pTypeDef->monoType) as System.Type;
pMetaData = pTypeDef->pMetaData;
if (pTypeDef->fillState < Type.TYPE_FILL_PARENTS)
{
pTypeDef->fillState = Type.TYPE_FILL_PARENTS;
// For Methods, we get only public if sealed, or public/protected if not sealed
methodInfos = GetMethods(monoType);
// For fields, we only get private fields for value types
fieldInfos = GetFields(monoType);
// For constructors, we get only public if sealed, or public/protected if not sealed
constructorInfos = GetConstructors(monoType);
pTypeDef->pTypeDef = pTypeDef;
pTypeDef->pParent = MonoType.GetTypeForMonoType(monoType.BaseType, null, null);
pParent = pTypeDef->pParent;
pTypeDef->isValueType = (byte)(monoType.IsValueType ? 1 : 0);
if (pParent != null)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_PARENTS);
if (pParent->hasMonoBase == 0)
{
// If we have a mono base type, we have at least 1 non-blittable field
pTypeDef->blittable = pParent->blittable;
pTypeDef->fixedBlittable = pParent->fixedBlittable;
}
else
{
pTypeDef->blittable = pTypeDef->fixedBlittable = 0;
}
}
else
{
// For mono types - reference types are NEVER blittable in our implementation
pTypeDef->blittable = pTypeDef->fixedBlittable = pTypeDef->isValueType;
}
pTypeDef->alignment = 1;
// Mark all ref types as having a base Mono Handle pointer as the first slot in their instance data. This allows
// the Heap system to call FREE on this Handle whenever we garbage collect mono wrapped or derived heap objects.
pTypeDef->hasMonoBase = (byte)(monoType.IsValueType ? 0 : 1);
// If not primed, then work out how many methods & fields there are.
if (pTypeDef->isPrimed == 0)
{
// Methods
pTypeDef->numMethods = (uint)(constructorInfos.Length + methodInfos.Length);
// Fields
pTypeDef->numFields = (uint)fieldInfos.Length;
}
// If this is an enum type, then pretend its stack type is its underlying type
if (pTypeDef->pParent == Type.types[Type.TYPE_SYSTEM_ENUM])
{
pTypeDef->stackType = EvalStack.EVALSTACK_INT32;
pTypeDef->stackSize = sizeof(PTR);
pTypeDef->instanceMemSize = 4;
pTypeDef->arrayElementSize = 4;
pTypeDef->blittable = pTypeDef->fixedBlittable = 1;
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
else
{
pParent = pTypeDef->pParent;
}
if (pTypeDef->fillState < Type.TYPE_FILL_LAYOUT)
{
pTypeDef->fillState = Type.TYPE_FILL_LAYOUT;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
// This only needs to be done for non-generic Type.types, or for generic type that are not a definition
// I.e. Fully instantiated generic Type.types
if (pTypeDef->isGenericDefinition == 0)
{
// For fields, we only get private fields for value types
if (fieldInfos == null)
{
fieldInfos = GetFields(monoType);
}
// Resolve fields, members, interfaces.
// Only needs to be done if it's not a generic definition type
// It it's not a value-type and the stack-size is not preset, then set it up now.
// It needs to be done here as non-static fields in non-value type can point to the containing type
if (pTypeDef->stackSize == 0 && pTypeDef->isValueType == 0)
{
pTypeDef->stackType = EvalStack.EVALSTACK_O;
pTypeDef->stackSize = sizeof(PTR);
pTypeDef->alignment = sizeof(PTR);
}
// Resolve all fields - instance ONLY at this point,
// because static fields in value-Type.types can be of the containing type, and the size is not yet known.
staticMemSize = 0;
if (pTypeDef->numFields > 0)
{
pTypeDef->ppFields = (tMD_FieldDef **)Mem.mallocForever((SIZE_T)(pTypeDef->numFields * sizeof(tMD_FieldDef *)));
pFieldDefs = (tMD_FieldDef *)Mem.mallocForever((SIZE_T)(pTypeDef->numFields * sizeof(tMD_FieldDef)));
Mem.memset(pFieldDefs, 0, (SIZE_T)(pTypeDef->numFields * sizeof(tMD_FieldDef)));
}
else
{
pFieldDefs = null;
}
instanceMemSize = 0;
for (i = 0; i < fieldInfos.Length; i++)
{
fieldInfo = fieldInfos[i];
tMD_FieldDef *pFieldDef = &pFieldDefs[i];
pFieldDef->name = new S(fieldInfo.Name);
pFieldDef->flags = (ushort)(
(fieldInfo.IsStatic ? MetaData.FIELDATTRIBUTES_STATIC : 0) |
(fieldInfo.IsLiteral ? MetaData.FIELDATTRIBUTES_LITERAL : 0)
);
if (!fieldInfo.IsStatic)
{
if (fieldInfo.IsLiteral /*|| MetaData.FIELD_HASFIELDRVA(pFieldDef)*/)
{
// If it's a literal, then analyse the field, but don't include it in any memory allocation
// If is has an RVA, then analyse the field, but don't include it in any memory allocation
MonoType.Fill_FieldDef(pTypeDef, fieldInfo, pFieldDef, 0, null, ppClassTypeArgs);
}
else
{
MonoType.Fill_FieldDef(pTypeDef, fieldInfo, pFieldDef, instanceMemSize, &(pTypeDef->alignment), ppClassTypeArgs);
instanceMemSize = pFieldDef->memOffset + pFieldDef->memSize;
}
// Update blittable and fixedBlittable status for type - if any non-blittable fields are included set to 0
if (pTypeDef->blittable != 0 || pTypeDef->fixedBlittable != 0)
{
if (pFieldDef->pType->isValueType == 0 || pFieldDef->pType->blittable == 0)
{
pTypeDef->blittable = pTypeDef->fixedBlittable = 0;
}
else if (pFieldDef->pType->typeInitId == Type.TYPE_SYSTEM_INTPTR ||
pFieldDef->pType->typeInitId == Type.TYPE_SYSTEM_UINTPTR)
{
pTypeDef->fixedBlittable = 0;
}
}
pTypeDef->ppFields[i] = pFieldDef;
}
}
if (pTypeDef->instanceMemSize == 0)
{
if (pTypeDef->isValueType != 0)
{
// Our dna value types are the same size as they are in mono (hopefully!)
pTypeDef->instanceMemSize = (instanceMemSize + (pTypeDef->alignment - 1)) & ~(pTypeDef->alignment - 1);
}
else
{
// For mono reference types, the instance size is ALWAYS ptr size because we're wrapping a mono GCHandle pointer
pTypeDef->instanceMemSize = sizeof(PTR);
}
}
// Sort out stack type and size.
// Note that this may already be set, as some basic type have this preset;
// or if it's not a value-type it'll already be set
if (pTypeDef->stackSize == 0)
{
// if it gets here then it must be a value type
pTypeDef->stackType = EvalStack.EVALSTACK_VALUETYPE;
pTypeDef->stackSize = pTypeDef->instanceMemSize;
}
// Sort out array element size. Note that some basic type will have this preset.
if (pTypeDef->arrayElementSize == 0)
{
pTypeDef->arrayElementSize = pTypeDef->stackSize;
}
// Make sure stack size is even multiple of stack alignment
pTypeDef->stackSize = (pTypeDef->stackSize + (STACK_ALIGNMENT - 1)) & ~(STACK_ALIGNMENT - 1);
// Handle static fields
for (i = 0; i < fieldInfos.Length; i++)
{
fieldInfo = fieldInfos[i];
tMD_FieldDef *pFieldDef = &pFieldDefs[i];
if (fieldInfo.IsStatic)
{
if (fieldInfo.IsLiteral /*|| MetaData.FIELD_HASFIELDRVA(pFieldDef)*/)
{
// If it's a literal, then analyse the field, but don't include it in any memory allocation
// If is has an RVA, then analyse the field, but don't include it in any memory allocation
MonoType.Fill_FieldDef(pTypeDef, fieldInfo, pFieldDef, 0, null, ppClassTypeArgs);
}
else
{
MonoType.Fill_FieldDef(pTypeDef, fieldInfo, pFieldDef, staticMemSize, null, ppClassTypeArgs);
staticMemSize += pFieldDef->memSize;
}
pTypeDef->ppFields[i] = pFieldDef;
}
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_VTABLE)
{
pTypeDef->fillState = Type.TYPE_FILL_VTABLE;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_VTABLE)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_VTABLE);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
// This only needs to be done for non-generic Type.types, or for generic type that are not a definition
// I.e. Fully instantiated generic Type.types
if (pTypeDef->isGenericDefinition == 0)
{
virtualOfs = (pParent != null) ? pParent->numVirtualMethods : 0;
// For Methods, we get only public if sealed, or public/protected if not sealed
if (methodInfos == null)
{
methodInfos = GetMethods(monoType);
}
// For constructors, we get only public if sealed, or public/protected if not sealed
if (constructorInfos == null)
{
constructorInfos = GetConstructors(monoType);
}
// Populate methods
pTypeDef->ppMethods = (tMD_MethodDef **)Mem.mallocForever((SIZE_T)(pTypeDef->numMethods * sizeof(tMD_MethodDef *)));
pMethodDefs = (tMD_MethodDef *)Mem.mallocForever((SIZE_T)(pTypeDef->numMethods * sizeof(tMD_MethodDef)));
Mem.memset(pMethodDefs, 0, (SIZE_T)(pTypeDef->numMethods * sizeof(tMD_MethodDef)));
for (i = 0; i < pTypeDef->numMethods; i++)
{
methodBase = (i < constructorInfos.Length) ?
(MethodBase)constructorInfos[i] : methodInfos[i - constructorInfos.Length];
pMethodDef = &pMethodDefs[i];
lastPeriod = methodBase.Name.LastIndexOf('.');
if (methodBase is ConstructorInfo || lastPeriod == -1)
{
pMethodDef->name = new S(methodBase.Name);
}
else
{
string nameMinusExclInterfaceName = methodBase.Name.Substring(lastPeriod + 1);
pMethodDef->name = new S(nameMinusExclInterfaceName);
}
pMethodDef->monoMethodInfo = new H(methodBase);
pMethodDef->pMetaData = pMetaData;
pMethodDef->pParentType = pTypeDef;
pMethodDef->flags = (ushort)(
(methodBase.IsVirtual ? MetaData.METHODATTRIBUTES_VIRTUAL : 0) |
(methodBase.IsStatic ? MetaData.METHODATTRIBUTES_STATIC : 0));
// NOTE: All mono calls are considered internal calls
pMethodDef->implFlags = (ushort)MetaData.METHODIMPLATTRIBUTES_INTERNALCALL;
pTypeDef->ppMethods[i] = pMethodDef;
// Assign vtable slots
if (methodBase.IsVirtual)
{
if (((MethodInfo)methodBase).GetBaseDefinition().DeclaringType == monoType)
{
// Allocate a new vTable slot if method is explicitly marked as NewSlot, or
// this is of type Object.
pMethodDef->vTableOfs = virtualOfs++;
}
else
{
tMD_MethodDef *pVirtualOveriddenMethod;
pVirtualOveriddenMethod = MetaData.FindVirtualOverriddenMethod(pTypeDef->pParent, pMethodDef);
if (pVirtualOveriddenMethod == null)
{
if (pTypeDef->pParent->monoType == null)
{
// DNA types don't always have all base methods that Unity/Mono has. In those
// cases, just add the missing method to the VTable as a new virtual method.
pMethodDef->vTableOfs = virtualOfs++;
}
else
{
Sys.Crash("Unable to find virtual override %s", (PTR)(pMethodDef->name));
}
}
else
{
pMethodDef->vTableOfs = pVirtualOveriddenMethod->vTableOfs;
}
}
}
else
{
// Dummy value - make it obvious it's not valid!
pMethodDef->vTableOfs = 0xffffffff;
}
pTypeDef->ppMethods[i] = pMethodDef;
}
// Create the virtual method table
pTypeDef->numVirtualMethods = virtualOfs;
// Resolve all members
pTypeDef->pVTable = (tMD_MethodDef **)Mem.mallocForever((SIZE_T)(pTypeDef->numVirtualMethods * sizeof(tMD_MethodDef *)));
// Copy initial vTable from parent
if (pTypeDef->pParent != null)
{
Mem.memcpy(pTypeDef->pVTable, pTypeDef->pParent->pVTable, (SIZE_T)(pTypeDef->pParent->numVirtualMethods * sizeof(tMD_MethodDef *)));
}
for (i = 0; i < pTypeDef->numMethods; i++)
{
pMethodDef = pTypeDef->ppMethods[i];
methodBase = H.ToObj(pMethodDef->monoMethodInfo) as MethodBase;
if (methodBase.IsStatic && methodBase.Name == ".cctor")
{
// This is a static constructor
pTypeDef->pStaticConstructor = pMethodDef;
}
if (methodBase.IsStatic && pTypeDef->pParent != null &&
methodBase.Name == "Finalize")
{
// This is a Finalizer method, but not for Object.
// Delibrately miss out Object's Finalizer because it's empty and will cause every object
// of any type to have a Finalizer which will be terrible for performance.
pTypeDef->pFinalizer = pMethodDef;
}
if (methodBase.IsVirtual)
{
if (pMethodDef->vTableOfs == 0xffffffff)
{
Sys.Crash("Illegal vtableoffset");
}
if (pMethodDef->vTableOfs >= pTypeDef->numVirtualMethods)
{
Sys.Crash("Illegal vtableoffset");
}
pTypeDef->pVTable[pMethodDef->vTableOfs] = pMethodDef;
}
}
// Find inherited Finalizer, if this type doesn't have an explicit Finalizer, and if there is one
if (pTypeDef->pFinalizer == null)
{
tMD_TypeDef *pInheritedType = pTypeDef->pParent;
while (pInheritedType != null)
{
if (pInheritedType->pFinalizer != null)
{
pTypeDef->pFinalizer = pInheritedType->pFinalizer;
break;
}
pInheritedType = pInheritedType->pParent;
}
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_MEMBERS)
{
pTypeDef->fillState = Type.TYPE_FILL_MEMBERS;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_MEMBERS)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_MEMBERS);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
// This only needs to be done for non-generic Type.types, or for generic type that are not a definition
// I.e. Fully instantiated generic Type.types
if (pTypeDef->isGenericDefinition == 0)
{
// Fill all method definitions for this type
for (i = 0; i < pTypeDef->numMethods; i++)
{
pMethodDef = pTypeDef->ppMethods[i];
methodBase = H.ToObj(pMethodDef->monoMethodInfo) as MethodBase;
MonoType.Fill_MethodDef(pTypeDef, methodBase, pTypeDef->ppMethods[i], ppClassTypeArgs, ppMethodTypeArgs);
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_INTERFACES)
{
pTypeDef->fillState = Type.TYPE_FILL_INTERFACES;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_INTERFACES)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_INTERFACES);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
// This only needs to be done for non-generic Type.types, or for generic type that are not a definition
// I.e. Fully instantiated generic Type.types
if (pTypeDef->isGenericDefinition == 0)
{
// Map all interface method calls. This only needs to be done for Classes, not Interfaces
// And is not done for generic definitions.
if (!monoType.IsInterface)
{
System.Type[] interfaceTypes = monoType.GetInterfaces();
pTypeDef->numInterfaces = (uint)interfaceTypes.Length;
if (interfaceTypes.Length > 0 && pTypeDef->isGenericDefinition == 0)
{
if (pTypeDef->pInterfaceMaps == null)
{
pTypeDef->pInterfaceMaps = (tInterfaceMap *)Mem.mallocForever((SIZE_T)(pTypeDef->numInterfaces * sizeof(tInterfaceMap)));
}
for (i = 0; i < interfaceTypes.Length; i++)
{
// Get the interface that this type implements
tMD_TypeDef *pInterface = MonoType.GetTypeForMonoType(interfaceTypes[i], ppClassTypeArgs, ppMethodTypeArgs);
Fill_TypeDef(pInterface, ppClassTypeArgs, null, Type.TYPE_FILL_VTABLE);
InterfaceMapping interfaceMapping = monoType.GetInterfaceMap(interfaceTypes[i]);
MetaData.Fill_TypeDef(pInterface, null, null);
tInterfaceMap *pMap = &pTypeDef->pInterfaceMaps[i];
pMap->pInterface = pInterface;
pMap->pVTableLookup = (uint *)Mem.mallocForever((SIZE_T)(pInterface->numVirtualMethods * sizeof(uint)));
pMap->ppMethodVLookup = (tMD_MethodDef **)Mem.mallocForever((SIZE_T)(pInterface->numVirtualMethods * sizeof(tMD_MethodDef *)));
MethodInfo[] interfaceMethods = interfaceMapping.InterfaceMethods;
MethodInfo[] targetMethods = interfaceMapping.TargetMethods;
// Discover interface mapping for each interface method
for (j = 0; j < pInterface->numVirtualMethods; j++)
{
tMD_MethodDef *pInterfaceMethod = pInterface->pVTable[j];
tMD_MethodDef *pOverriddenMethod = FindInterfaceOverriddenMethod(pInterfaceMethod, interfaceMethods, targetMethods);
if (pOverriddenMethod == null)
{
Sys.Crash("Unable to find override method %s in type %s.%s for interface %s.%s", (PTR)(pInterfaceMethod->name),
(PTR)pTypeDef->nameSpace, (PTR)pTypeDef->name,
(PTR)pInterface->nameSpace, (PTR)pInterface->name);
}
pMap->pVTableLookup[j] = pOverriddenMethod->vTableOfs;
pMap->ppMethodVLookup[j] = pOverriddenMethod;
}
}
}
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_ALL)
{
pTypeDef->fillState = Type.TYPE_FILL_ALL;
if (pParent != null && pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_ALL);
}
if (isDeferred != 0)
{
MetaData.Fill_ResolveDeferred();
}
}
Sys.log_f(2, "Mono Type: %s.%s\n", (PTR)pTypeDef->nameSpace, (PTR)pTypeDef->name);
}
public static void Fill_TypeDef(tMD_TypeDef *pTypeDef,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs,
uint resolve = Type.TYPE_FILL_ALL)
{
/*IDX_TABLE*/ uint firstIdx, lastIdx, token;
uint instanceMemSize, staticMemSize, virtualOfs, isDeferred, i, j;
tMetaData * pMetaData = pTypeDef->pMetaData;
tMD_TypeDef *pParent;
if (pTypeDef->fillState >= resolve)
{
return;
}
if (pTypeDef->monoType != null)
{
MonoType.Fill_TypeDef(pTypeDef, ppClassTypeArgs, ppMethodTypeArgs, resolve);
return;
}
// Sys.printf("FILLING TYPE: %s\n", (PTR)pTypeDef->name);
// string name = System.Runtime.InteropServices.Marshal.PtrToStringAnsi((System.IntPtr)pTypeDef->name);
if (typesToFill == null)
{
Fill_StartDefer();
isDeferred = 1;
}
else
{
isDeferred = 0;
}
if (resolve < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pTypeDef, ppClassTypeArgs, ppMethodTypeArgs);
}
MetaData.Fill_GetDeferredTypeArgs(pTypeDef, ref ppClassTypeArgs, ref ppMethodTypeArgs);
// Fill parent info
if (pTypeDef->fillState < Type.TYPE_FILL_PARENTS)
{
pTypeDef->fillState = Type.TYPE_FILL_PARENTS;
pTypeDef->pTypeDef = pTypeDef;
if (pTypeDef->alignment == 0)
{
pTypeDef->alignment = 1;
}
if (pTypeDef->pParent == null)
{
pTypeDef->pParent = MetaData.GetTypeDefFromDefRefOrSpec(pMetaData, pTypeDef->extends, ppClassTypeArgs, ppMethodTypeArgs);
}
pParent = pTypeDef->pParent;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_PARENTS)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_PARENTS);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
pTypeDef->hasMonoBase = pParent->hasMonoBase;
if (pParent->hasMonoBase == 0)
{
// If we have a mono base type, we have at least 1 non-blittable field
pTypeDef->blittable = pParent->blittable;
pTypeDef->fixedBlittable = pParent->fixedBlittable;
}
else
{
pTypeDef->blittable = pTypeDef->fixedBlittable = 0;
}
}
else
{
pTypeDef->blittable = pTypeDef->fixedBlittable = 1;
}
// If this type is an interface, then return 0
if (pTypeDef->stackSize != 0)
{
pTypeDef->isValueType = (byte)(pTypeDef->stackType != EvalStack.EVALSTACK_O ? 1 : 0);
}
else if (MetaData.TYPE_ISINTERFACE(pTypeDef))
{
pTypeDef->isValueType = 0;
}
else if (pTypeDef->nameSpace[0] == 'S' && S.strcmp(pTypeDef->nameSpace, new S(ref scSystem, "System")) == 0)
{
if ((pTypeDef->name[0] == 'V' && S.strcmp(pTypeDef->name, new S(ref scValueType, "ValueType")) == 0) ||
(pTypeDef->name[0] == 'E' && S.strcmp(pTypeDef->name, new S(ref scEnum, "Enum")) == 0))
{
pTypeDef->isValueType = 1;
}
else if (pTypeDef->name[0] == 'O' && S.strcmp(pTypeDef->name, new S(ref scObject, "Object")) == 0)
{
pTypeDef->isValueType = 0;
}
else if (pParent != null)
{
pTypeDef->isValueType = pParent->isValueType;
}
}
else if (pParent != null)
{
pTypeDef->isValueType = pParent->isValueType;
}
// If not primed, then work out how many methods & fields there are.
if (pTypeDef->isPrimed == 0)
{
// Methods
lastIdx = (pTypeDef->isLast != 0) ?
MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_METHODDEF, pTypeDef->pMetaData->tables.numRows[MetaDataTable.MD_TABLE_METHODDEF]) :
(pTypeDef[1].methodList - 1);
pTypeDef->numMethods = lastIdx - pTypeDef->methodList + 1;
// Fields
lastIdx = (pTypeDef->isLast != 0) ?
MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_FIELDDEF, pTypeDef->pMetaData->tables.numRows[MetaDataTable.MD_TABLE_FIELDDEF]) :
(pTypeDef[1].fieldList - 1);
pTypeDef->numFields = lastIdx - pTypeDef->fieldList + 1;
}
// If this is a nested type, then find the namespace of it
if (pTypeDef->pNestedIn != null)
{
tMD_TypeDef *pRootTypeDef = pTypeDef->pNestedIn;
while (pRootTypeDef->pNestedIn != null)
{
pRootTypeDef = pRootTypeDef->pNestedIn;
}
pTypeDef->nameSpace = pRootTypeDef->nameSpace;
}
// If this is an enum type, then pretend its stack type is its underlying type
if (pTypeDef->pParent == Type.types[Type.TYPE_SYSTEM_ENUM])
{
pTypeDef->stackType = EvalStack.EVALSTACK_INT32;
pTypeDef->stackSize = sizeof(PTR);
pTypeDef->instanceMemSize = 4;
pTypeDef->arrayElementSize = 4;
pTypeDef->blittable = pTypeDef->fixedBlittable = 1;
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
else
{
pParent = pTypeDef->pParent;
}
if (pTypeDef->fillState < Type.TYPE_FILL_LAYOUT)
{
pTypeDef->fillState = Type.TYPE_FILL_LAYOUT;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
if (pTypeDef->isGenericDefinition == 0)
{
// Resolve fields, members, interfaces.
// Only needs to be done if it's not a generic definition type
// It it's not a value-type and the stack-size is not preset, then set it up now.
// It needs to be done here as non-static fields in non-value type can point to the containing type
if (pTypeDef->stackSize == 0 && pTypeDef->isValueType == 0)
{
pTypeDef->stackType = EvalStack.EVALSTACK_O;
pTypeDef->stackSize = sizeof(PTR);
pTypeDef->alignment = sizeof(PTR);
}
// Resolve all fields - instance ONLY at this point,
// because static fields in value-Type.types can be of the containing type, and the size is not yet known.
firstIdx = pTypeDef->fieldList;
lastIdx = firstIdx + pTypeDef->numFields - 1;
staticMemSize = 0;
if (pTypeDef->numFields > 0)
{
pTypeDef->ppFields = (tMD_FieldDef **)Mem.mallocForever((SIZE_T)(pTypeDef->numFields * sizeof(tMD_FieldDef *)));
}
instanceMemSize = (pParent == null ? 0 : pTypeDef->pParent->instanceMemSize);
if (pTypeDef->hasMonoBase != 0 && pParent->hasMonoBase == 0)
{
// Some DNA types like String are actually wrappers around mono objects. In those cases, we need to allocate the
// space in the instance memory for the GCHandle to the mono object. We distinguish this case from the case
// where we're just extending a Mono Type object by checking if the parent also has the hasMonoBase flag set.
instanceMemSize += (uint)sizeof(void *);
}
for (token = firstIdx, i = 0; token <= lastIdx; token++, i++)
{
tMD_FieldDef *pFieldDef;
pFieldDef = MetaData.GetFieldDefFromDefOrRef(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
if (!MetaData.FIELD_ISSTATIC(pFieldDef))
{
// Only handle non-static fields at the moment
if (pTypeDef->pGenericDefinition != null)
{
// If this is a generic instantiation type, then all field defs need to be copied,
// as there will be lots of different instantiations.
tMD_FieldDef *pFieldCopy = ((tMD_FieldDef *)Mem.mallocForever((SIZE_T)sizeof(tMD_FieldDef)));
Mem.memcpy(pFieldCopy, pFieldDef, (SIZE_T)sizeof(tMD_FieldDef));
pFieldDef = pFieldCopy;
}
if (MetaData.FIELD_ISLITERAL(pFieldDef) || MetaData.FIELD_HASFIELDRVA(pFieldDef))
{
// If it's a literal, then analyse the field, but don't include it in any memory allocation
// If is has an RVA, then analyse the field, but don't include it in any memory allocation
MetaData.Fill_FieldDef(pTypeDef, pFieldDef, 0, null, ppClassTypeArgs);
}
else
{
MetaData.Fill_FieldDef(pTypeDef, pFieldDef, instanceMemSize, &(pTypeDef->alignment), ppClassTypeArgs);
instanceMemSize = pFieldDef->memOffset + pFieldDef->memSize;
}
// Update blittable and fixedBlittable status for type - if any non-blittable fields are included set to 0
if (pTypeDef->blittable != 0 || pTypeDef->fixedBlittable != 0)
{
if (pFieldDef->pType->isValueType == 0 || pFieldDef->pType->blittable == 0)
{
pTypeDef->blittable = pTypeDef->fixedBlittable = 0;
}
else if (pFieldDef->pType->typeInitId == Type.TYPE_SYSTEM_INTPTR ||
pFieldDef->pType->typeInitId == Type.TYPE_SYSTEM_UINTPTR)
{
pTypeDef->fixedBlittable = 0;
}
}
pTypeDef->ppFields[i] = pFieldDef;
}
}
if (pTypeDef->instanceMemSize == 0)
{
pTypeDef->instanceMemSize = (instanceMemSize + (pTypeDef->alignment - 1)) & ~(pTypeDef->alignment - 1);
}
// Sort out stack type and size.
// Note that this may already be set, as some basic type have this preset;
// or if it's not a value-type it'll already be set
if (pTypeDef->stackSize == 0)
{
// if it gets here then it must be a value type
pTypeDef->stackType = EvalStack.EVALSTACK_VALUETYPE;
pTypeDef->stackSize = pTypeDef->instanceMemSize;
}
// Sort out array element size. Note that some basic type will have this preset.
if (pTypeDef->arrayElementSize == 0)
{
pTypeDef->arrayElementSize = pTypeDef->stackSize;
}
// Make sure stack size is even multiple of stack alignment
pTypeDef->stackSize = (pTypeDef->stackSize + (STACK_ALIGNMENT - 1)) & ~(STACK_ALIGNMENT - 1);
// Handle static fields
for (token = firstIdx, i = 0; token <= lastIdx; token++, i++)
{
tMD_FieldDef *pFieldDef;
pFieldDef = MetaData.GetFieldDefFromDefOrRef(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
if (MetaData.FIELD_ISSTATIC(pFieldDef))
{
// Only handle static fields here
if (pTypeDef->pGenericDefinition != null)
{
// If this is a generic instantiation type, then all field defs need to be copied,
// as there will be lots of different instantiations.
tMD_FieldDef *pFieldCopy = ((tMD_FieldDef *)Mem.mallocForever((SIZE_T)sizeof(tMD_FieldDef)));
Mem.memcpy(pFieldCopy, pFieldDef, (SIZE_T)sizeof(tMD_FieldDef));
pFieldDef = pFieldCopy;
}
if (MetaData.FIELD_ISLITERAL(pFieldDef) || MetaData.FIELD_HASFIELDRVA(pFieldDef))
{
// If it's a literal, then analyse the field, but don't include it in any memory allocation
// If is has an RVA, then analyse the field, but don't include it in any memory allocation
MetaData.Fill_FieldDef(pTypeDef, pFieldDef, 0, null, ppClassTypeArgs);
}
else
{
MetaData.Fill_FieldDef(pTypeDef, pFieldDef, staticMemSize, null, ppClassTypeArgs);
staticMemSize += pFieldDef->memSize;
}
pTypeDef->ppFields[i] = pFieldDef;
}
}
if (staticMemSize > 0)
{
pTypeDef->pStaticFields = (byte *)Mem.mallocForever((SIZE_T)staticMemSize);
Mem.memset(pTypeDef->pStaticFields, 0, staticMemSize);
// Set the field addresses (->pMemory) of all static fields
for (i = 0; i < pTypeDef->numFields; i++)
{
tMD_FieldDef *pFieldDef;
pFieldDef = pTypeDef->ppFields[i];
if (MetaData.FIELD_ISSTATIC(pFieldDef) && pFieldDef->pMemory == null)
{
// Only set it if it isn't already set. It will be already set if this field has an RVA
pFieldDef->pMemory = pTypeDef->pStaticFields + pFieldDef->memOffset;
}
}
pTypeDef->staticFieldSize = staticMemSize;
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
// This only needs to be done for non-generic Type.types, or for generic type that are not a definition
// I.e. Fully instantiated generic Type.types
if (pTypeDef->fillState < Type.TYPE_FILL_VTABLE)
{
pTypeDef->fillState = Type.TYPE_FILL_VTABLE;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_VTABLE)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_VTABLE);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
if (pTypeDef->isGenericDefinition == 0)
{
virtualOfs = (pParent != null) ? pParent->numVirtualMethods : 0;
// Must create the virtual method table BEFORE any other type resolution is done
// Note that this must not do ANY filling of type or methods.
// This is to ensure that the parent object(s) in any type inheritance hierachy are allocated
// their virtual method offset before derived Type.types.
firstIdx = pTypeDef->methodList;
lastIdx = firstIdx + pTypeDef->numMethods - 1;
for (token = firstIdx; token <= lastIdx; token++)
{
tMD_MethodDef *pMethodDef;
pMethodDef = MetaData.GetMethodDefFromDefRefOrSpec(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
//Sys.printf("Method: %s\n", (PTR)pMethodDef->name);
// This is needed, so array resolution can work correctly and FindVirtualOverriddenMethod() can work.
pMethodDef->pParentType = pTypeDef;
if (MetaData.METHOD_ISVIRTUAL(pMethodDef))
{
if (MetaData.METHOD_ISNEWSLOT(pMethodDef) || pTypeDef->pParent == null)
{
// Allocate a new vTable slot if method is explicitly marked as NewSlot, or
// this is of type Object.
pMethodDef->vTableOfs = virtualOfs++;
}
else
{
tMD_MethodDef *pVirtualOveriddenMethod;
pVirtualOveriddenMethod = FindVirtualOverriddenMethod(pTypeDef->pParent, pMethodDef);
if (pVirtualOveriddenMethod == null)
{
Sys.Crash("Unable to find virtual override method for %s %s", (PTR)pTypeDef->name, (PTR)pMethodDef->name);
}
pMethodDef->vTableOfs = pVirtualOveriddenMethod->vTableOfs;
}
}
else
{
// Dummy value - make it obvious it's not valid!
pMethodDef->vTableOfs = 0xffffffff;
}
}
// Create the virtual method table
pTypeDef->numVirtualMethods = virtualOfs;
// Resolve all members
firstIdx = pTypeDef->methodList;
lastIdx = firstIdx + pTypeDef->numMethods - 1;
pTypeDef->ppMethods = (tMD_MethodDef **)Mem.mallocForever((SIZE_T)(pTypeDef->numMethods * sizeof(tMD_MethodDef *)));
pTypeDef->pVTable = (tMD_MethodDef **)Mem.mallocForever((SIZE_T)(pTypeDef->numVirtualMethods * sizeof(tMD_MethodDef *)));
// Copy initial vTable from parent
if (pTypeDef->pParent != null)
{
if (pTypeDef->pParent->fillState != Type.TYPE_FILL_MEMBERS)
{
Fill_TypeDef(pTypeDef->pParent, null, null, Type.TYPE_FILL_MEMBERS);
}
Mem.memcpy(pTypeDef->pVTable, pTypeDef->pParent->pVTable, (SIZE_T)(pTypeDef->pParent->numVirtualMethods * sizeof(tMD_MethodDef *)));
}
for (token = firstIdx, i = 0; token <= lastIdx; token++, i++)
{
tMD_MethodDef *pMethodDef;
pMethodDef = MetaData.GetMethodDefFromDefRefOrSpec(pMetaData, token, ppClassTypeArgs, ppMethodTypeArgs);
if (pTypeDef->pGenericDefinition != null)
{
// If this is a generic instantiation type, then all method defs need to be copied,
// as there will be lots of different instantiations.
tMD_MethodDef *pMethodCopy = ((tMD_MethodDef *)Mem.mallocForever((SIZE_T)sizeof(tMD_MethodDef)));
Mem.memcpy(pMethodCopy, pMethodDef, (SIZE_T)sizeof(tMD_MethodDef));
pMethodDef = pMethodCopy;
}
if (MetaData.METHOD_ISSTATIC(pMethodDef) && S.strcmp(pMethodDef->name, ".cctor") == 0)
{
// This is a static constructor
pTypeDef->pStaticConstructor = pMethodDef;
}
if (!MetaData.METHOD_ISSTATIC(pMethodDef) && pTypeDef->pParent != null &&
S.strcmp(pMethodDef->name, "Finalize") == 0)
{
// This is a Finalizer method, but not for Object.
// Delibrately miss out Object's Finalizer because it's empty and will cause every object
// of any type to have a Finalizer which will be terrible for performance.
pTypeDef->pFinalizer = pMethodDef;
}
if (MetaData.METHOD_ISVIRTUAL(pMethodDef))
{
// This is a virtual method, so enter it in the vTable
pTypeDef->pVTable[pMethodDef->vTableOfs] = pMethodDef;
}
pTypeDef->ppMethods[i] = pMethodDef;
}
// Find inherited Finalizer, if this type doesn't have an explicit Finalizer, and if there is one
if (pTypeDef->pFinalizer == null)
{
tMD_TypeDef *pInheritedType = pTypeDef->pParent;
while (pInheritedType != null)
{
if (pInheritedType->pFinalizer != null)
{
pTypeDef->pFinalizer = pInheritedType->pFinalizer;
break;
}
pInheritedType = pInheritedType->pParent;
}
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_MEMBERS)
{
pTypeDef->fillState = Type.TYPE_FILL_MEMBERS;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_MEMBERS)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_MEMBERS);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
if (pTypeDef->isGenericDefinition == 0)
{
// Fill all method definitions for this type
for (i = 0; i < pTypeDef->numMethods; i++)
{
MetaData.Fill_MethodDef(pTypeDef, pTypeDef->ppMethods[i], ppClassTypeArgs, ppMethodTypeArgs);
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_INTERFACES)
{
pTypeDef->fillState = Type.TYPE_FILL_INTERFACES;
if (pParent != null)
{
if (pParent->fillState < Type.TYPE_FILL_INTERFACES)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_INTERFACES);
}
else if (pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pParent, null, null);
}
}
if (pTypeDef->isGenericDefinition == 0 && !MetaData.TYPE_ISINTERFACE(pTypeDef))
{
if (pParent != null && pParent->fillState < Type.TYPE_FILL_INTERFACES)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_INTERFACES);
}
// Map all interface method calls. This only needs to be done for Classes, not Interfaces
// And is not done for generic definitions.
firstIdx = 0;
if (pTypeDef->pParent != null)
{
j = pTypeDef->numInterfaces = pTypeDef->pParent->numInterfaces;
}
else
{
j = 0;
}
lastIdx = firstIdx;
for (i = 1; i <= pMetaData->tables.numRows[MetaDataTable.MD_TABLE_INTERFACEIMPL]; i++)
{
tMD_InterfaceImpl *pInterfaceImpl;
pInterfaceImpl = (tMD_InterfaceImpl *)MetaData.GetTableRow(pMetaData, MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_INTERFACEIMPL, i));
if (pInterfaceImpl->class_ == pTypeDef->tableIndex)
{
// count how many interfaces are implemented
pTypeDef->numInterfaces++;
if (firstIdx == 0)
{
firstIdx = MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_INTERFACEIMPL, i);
}
lastIdx = MetaData.MAKE_TABLE_INDEX(MetaDataTable.MD_TABLE_INTERFACEIMPL, i);
}
}
if (pTypeDef->numInterfaces > 0)
{
uint mapNum;
pTypeDef->pInterfaceMaps = (tInterfaceMap *)Mem.mallocForever((SIZE_T)(pTypeDef->numInterfaces * sizeof(tInterfaceMap)));
// Copy interface maps from parent type
if (j > 0)
{
Mem.memcpy(pTypeDef->pInterfaceMaps, pTypeDef->pParent->pInterfaceMaps, (SIZE_T)(j * sizeof(tInterfaceMap)));
}
mapNum = j;
if (firstIdx > 0)
{
for (token = firstIdx; token <= lastIdx; token++, mapNum++)
{
tMD_InterfaceImpl *pInterfaceImpl;
pInterfaceImpl = (tMD_InterfaceImpl *)MetaData.GetTableRow(pMetaData, token);
if (pInterfaceImpl->class_ == pTypeDef->tableIndex)
{
tMD_TypeDef * pInterface;
tInterfaceMap *pMap;
// Get the interface that this type implements
pInterface = MetaData.GetTypeDefFromDefRefOrSpec(pMetaData, pInterfaceImpl->interface_, ppClassTypeArgs, ppMethodTypeArgs);
MetaData.Fill_TypeDef(pInterface, null, null, Type.TYPE_FILL_INTERFACES);
pMap = &pTypeDef->pInterfaceMaps[mapNum];
pMap->pInterface = pInterface;
pMap->pVTableLookup = (uint *)Mem.mallocForever((SIZE_T)(pInterface->numVirtualMethods * sizeof(uint)));
pMap->ppMethodVLookup = (tMD_MethodDef **)Mem.mallocForever((SIZE_T)(pInterface->numVirtualMethods * sizeof(tMD_MethodDef *)));
// Discover interface mapping for each interface method
for (i = 0; i < pInterface->numVirtualMethods; i++)
{
tMD_MethodDef *pInterfaceMethod;
tMD_MethodDef *pOverriddenMethod;
pInterfaceMethod = pInterface->pVTable[i];
pOverriddenMethod = FindVirtualOverriddenMethod(pTypeDef, pInterfaceMethod);
pMap->pVTableLookup[i] = pOverriddenMethod->vTableOfs;
pMap->ppMethodVLookup[i] = pOverriddenMethod;
}
}
else
{
Sys.Crash("Problem with interface class");
}
}
}
}
}
if (pTypeDef->fillState >= resolve)
{
return;
}
}
if (pTypeDef->fillState < Type.TYPE_FILL_ALL)
{
pTypeDef->fillState = Type.TYPE_FILL_ALL;
if (pTypeDef->isGenericDefinition == 0 && pTypeDef->stackSize == 0)
{
j = 0;
}
if (pParent != null && pParent->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_TypeDef(pParent, null, null, Type.TYPE_FILL_ALL);
}
if (isDeferred != 0)
{
Fill_ResolveDeferred();
}
}
Sys.log_f(2, "Type: %s.%s\n", (PTR)pTypeDef->nameSpace, (PTR)pTypeDef->name);
}
public static void Fill_MethodDef(tMD_TypeDef *pParentType, MethodBase methodBase, tMD_MethodDef *pMethodDef,
tMD_TypeDef **ppClassTypeArgs, tMD_TypeDef **ppMethodTypeArgs)
{
uint i, totalSize, start;
if (pMethodDef->isFilled == 1)
{
return;
}
pMethodDef->pParentType = pParentType;
pMethodDef->pMethodDef = pMethodDef;
pMethodDef->isFilled = 1;
pMethodDef->isGenericDefinition = (byte)(methodBase.IsGenericMethodDefinition ? 1 : 0);
if (methodBase.IsGenericMethodDefinition)
{
// Generic definition method, so can't do any more.
//Sys.log_f("Method<>: %s.%s.%s()\n", pParentType->nameSpace, pParentType->name, pMethodDef->name);
return;
}
ParameterInfo[] paramInfos = methodBase.GetParameters();
pMethodDef->numberOfParameters = (ushort)(paramInfos.Length + (methodBase.IsStatic ? 0 : 1));
if (methodBase is MethodInfo)
{
pMethodDef->pReturnType = GetTypeForMonoType(((MethodInfo)methodBase).ReturnType,
ppClassTypeArgs, ppMethodTypeArgs);
}
else
{
pMethodDef->pReturnType = null;
}
if (pMethodDef->pReturnType == Type.types[Type.TYPE_SYSTEM_VOID])
{
pMethodDef->pReturnType = null;
}
if (pMethodDef->pReturnType != null && pMethodDef->pReturnType->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pMethodDef->pReturnType, null, null);
}
pMethodDef->pParams = (tParameter *)Mem.malloc((SIZE_T)(pMethodDef->numberOfParameters * sizeof(tParameter)));
totalSize = 0;
start = 0;
if (!methodBase.IsStatic)
{
// Fill in parameter info for the 'this' pointer
pMethodDef->pParams->offset = 0;
if (pParentType->isValueType != 0)
{
// If this is a value-type then the 'this' pointer is actually an IntPtr to the value-type's location
pMethodDef->pParams->size = sizeof(PTR);
pMethodDef->pParams->pStackTypeDef = Type.types[Type.TYPE_SYSTEM_INTPTR];
}
else
{
pMethodDef->pParams->size = sizeof(PTR);
pMethodDef->pParams->pStackTypeDef = pParentType;
}
totalSize = sizeof(PTR);
start = 1;
}
for (i = start; i < pMethodDef->numberOfParameters; i++)
{
tMD_TypeDef *pStackTypeDef;
tMD_TypeDef *pByRefTypeDef;
uint size;
// NOTE: Byref values are treated as intptr's in DNA
System.Type paramType = paramInfos[i - start].ParameterType;
if (paramType.IsByRef)
{
pStackTypeDef = Type.types[Type.TYPE_SYSTEM_INTPTR];
pByRefTypeDef = GetTypeForMonoType(paramType.GetElementType(),
ppClassTypeArgs, ppMethodTypeArgs);
}
else
{
pStackTypeDef = GetTypeForMonoType(paramType,
ppClassTypeArgs, ppMethodTypeArgs);
pByRefTypeDef = null;
}
if (pStackTypeDef != null)
{
if (pStackTypeDef->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pStackTypeDef, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pStackTypeDef->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pStackTypeDef, null, null);
}
size = pStackTypeDef->stackSize;
}
else
{
size = 0;
}
if (pByRefTypeDef != null)
{
if (pByRefTypeDef->fillState < Type.TYPE_FILL_LAYOUT)
{
MetaData.Fill_TypeDef(pByRefTypeDef, null, null, Type.TYPE_FILL_LAYOUT);
}
else if (pByRefTypeDef->fillState < Type.TYPE_FILL_ALL)
{
MetaData.Fill_Defer(pByRefTypeDef, null, null);
}
}
pMethodDef->pParams[i].pStackTypeDef = pStackTypeDef;
pMethodDef->pParams[i].pByRefTypeDef = pByRefTypeDef;
pMethodDef->pParams[i].offset = totalSize;
pMethodDef->pParams[i].size = size;
totalSize += size;
}
pMethodDef->parameterStackSize = totalSize;
if (pMethodDef->monoMethodInfo == null)
{
pMethodDef->monoMethodInfo = new H(methodBase);
}
if (pMethodDef->monoMethodCall == null)
{
pMethodDef->monoMethodCall = new H(CallMethodTrampoline);
}
}
public static uint CompareNameAndMethodInfo(/*STRING*/ byte *name, System.Reflection.MethodBase methodBase, tMetaData *pSigMetaData,
tMD_TypeDef **ppSigClassTypeArgs, tMD_TypeDef **ppSigMethodTypeArgs, tMD_MethodDef *pMethod, tMD_TypeDef **ppMethodClassTypeArgs,
tMD_TypeDef **ppMethodMethodTypeArgs)
{
if (S.strcmp(name, pMethod->name) == 0)
{
uint i;
if (METHOD_ISSTATIC(pMethod) != methodBase.IsStatic ||
METHOD_ISVIRTUAL(pMethod) != methodBase.IsVirtual)
{
return(0);
}
System.Reflection.ParameterInfo[] paramInfos = methodBase.GetParameters();
uint numberOfParameters = (uint)(paramInfos.Length + (methodBase.IsStatic ? 0 : 1));
if ((uint)pMethod->numberOfParameters != numberOfParameters)
{
return(0);
}
if (methodBase.IsGenericMethod != (pMethod->isGenericDefinition != 0))
{
return(0);
}
if (methodBase is MethodInfo)
{
if (pMethod->pReturnType == null)
{
if (((MethodInfo)methodBase).ReturnType != typeof(void))
{
return(0);
}
}
else if (pMethod->pReturnType != MonoType.GetTypeForMonoType(((MethodInfo)methodBase).ReturnType,
ppMethodClassTypeArgs, ppMethodMethodTypeArgs))
{
return(0);
}
}
uint start = 0;
if (!methodBase.IsStatic)
{
// if (pMethod->pParams[0].pStackTypeDef != MonoType.GetTypeForMonoType(methodInfo.DeclaringType))
// return 0;
start = 1;
}
for (i = start; i < numberOfParameters; i++)
{
tParameter *pParam = &pMethod->pParams[i];
System.Reflection.ParameterInfo paramInfo = paramInfos[i - start];
// NOTE: We are not checking to see if params are REF params here. Potentially a problem.
if (pParam->pStackTypeDef != MonoType.GetTypeForMonoType(paramInfo.ParameterType,
ppMethodClassTypeArgs, ppMethodMethodTypeArgs))
{
return(0);
}
}
return(1);
}
return(0);
}
