public final function GetSourceLines() { if ($this->SourceLines === null) { $this->LoadSource(); } return $this->SourceLines; }