public SourcePosition(Types.RealizationLevel _realizationLevel, uint _line, uint _column, uint _endLine, uint _endColumn)
{
m_realizationLevel = _realizationLevel;
m_line = _line;
m_column = _column;
m_endLine = _endLine;
m_endColumn = _endColumn;
}
public SourcePosition()
{
m_realizationLevel = 0;
m_line = 0;
m_column = 0;
m_endLine = 0;
m_endColumn = 0;
}
public void load(IO io)
{
m_realizationLevel = (Types.RealizationLevel)io.readUByte1();
m_line = io.readUInt4();
m_column = io.readUInt4();
m_endLine = io.readUInt4();
m_endColumn = io.readUInt4();
}
