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; }