public override void ReadHeader(TagRepository rpa, CatalogReader catalog, HighMethodBodyParseContext methodBody, HighCfgNodeHandle[] cfgNodes, List<HighSsaRegister> ssaRegisters, CodeLocationTag baseLocation, bool haveDebugInfo, BinaryReader reader) { m_methodSpec = catalog.GetMethodSpec(reader.ReadUInt32()); m_constraintType = catalog.GetTypeSpec(reader.ReadUInt32()); m_parameters = new HighSsaRegister[reader.ReadUInt32()]; }