public DuplicateIdentifier(string name, PositionInText positions)
{
this.identifierPosition = positions;
this.identifierName = name;
}
public NonBooleanCondition(PositionInText position)
{
this.position = position;
}
public UndefinedIdentifier(PositionInText position, string name)
{
this.position = position;
this.name = name;
}