/*-----Functions-----*/
public static void initLevel()
{
string levelFile = "Levels/" + LevelID.ToString() + ".txt";
try
{
using (StreamReader sr = new StreamReader(levelFile))
{
LevelWidth = Convert.ToInt32(sr.ReadLine());
LevelHeight = Convert.ToInt32(sr.ReadLine());
LevelDesign = sr.ReadLine();
TileID = new TextureID[LevelWidth, LevelHeight];
string line;
for (int y = 0; y < LevelHeight; y++)
{
line = sr.ReadLine();
string[] row = line.Split(new Char[] { ',' });
for (int x = 0; x < LevelWidth; x++)
{
switch (Convert.ToInt32(row[x]))
{
case 1:
TileID[x, y] = TextureID.wall;
break;
case 2:
TileID[x, y] = TextureID.platformC;
break;
case 3:
TileID[x, y] = TextureID.platformL;
break;
case 4:
TileID[x, y] = TextureID.platformR;
break;
default:
TileID[x, y] = TextureID.air;
break;
}
}
}
}
}
catch (Exception e)
{
// Let the user know what went wrong.
}
}
////////////////////////////////////////////////////////////////
private bool InitializePlayerSpawnPointToStartFrom(LevelID level)
{
SetPlayerSpawnPoint(m_PlayerSpawnPoints.Find((PlayerSpawnPoint psp) => {
return(psp.Index == m_PlayerSpawnPointToStartFrom.Value.ID && psp._LevelID == m_PlayerSpawnPointToStartFrom.Value.Level);
}));
SoundManager.Get().FitSoundToArea(m_CurrentPlayerSpawnPoint._AreaID);
Debug.Assert(m_CurrentPlayerSpawnPoint != null, "Could not find serialized player spawnpoint ID " + m_PlayerSpawnPointToStartFrom.Value.ID + " in level " + level.ToString());
return(m_CurrentPlayerSpawnPoint != null);
}