public ProtectWhen(TypeSpecifier typeSpecifier, StatementList thenPart, Location location) : base(location) { this.typeSpecifier = typeSpecifier; this.thenPart = thenPart; }