blob: c35c69dd3a268c4a3eabb961921b9f4bc9ccd27c [file] [log] [blame]
// Copyright (C) 2021 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
// Execution context of object validator
interface ValidatorContext {
// Path to the current value starting from the root. Object field names are
// stored as is, array indices are wrapped to square brackets. Represented
// as an array to avoid unnecessary string concatenation: parts are going to
// be concatenated into a single string when reporting errors, which should
// not happen on a happy path.
// Example: ["config", "androidLogBuffers", "1"] when parsing object
// accessible through expression `root.config.androidLogBuffers[1]`
path: string[];
// Paths from the root to extraneous keys in a validated object.
extraKeys: string[];
// Paths from the root to keys containing values of wrong type in validated
// object.
invalidKeys: string[];
}
// Validator accepting arbitrary data structure and returning a typed value.
// Can throw an error if a part of the value does not have a reasonable
// default.
export interface Validator<T> {
validate(input: unknown, context: ValidatorContext): T;
}
// Helper function to flatten array of path chunks into a single string
// Example: ["config", "androidLogBuffers", "1"] is mapped to
// "config.androidLogBuffers[1]".
function renderPath(path: string[]): string {
let result = '';
for (let i = 0; i < path.length; i++) {
if (i > 0 && !path[i].startsWith('[')) {
result += '.';
}
result += path[i];
}
return result;
}
export class ValidationError extends Error {}
// Abstract class for validating simple values, such as strings and booleans.
// Allows to avoid repetition of most of the code related to validation of
// these.
abstract class PrimitiveValidator<T> implements Validator<T> {
defaultValue: T;
required: boolean;
constructor(defaultValue: T, required: boolean) {
this.defaultValue = defaultValue;
this.required = required;
}
// Abstract method that checks whether passed input has correct type.
abstract predicate(input: unknown): input is T;
validate(input: unknown, context: ValidatorContext): T {
if (this.predicate(input)) {
return input;
}
if (this.required) {
throw new ValidationError(renderPath(context.path));
}
if (input !== undefined) {
// The value is defined, but does not conform to the expected type;
// proceed with returning the default value but report the key.
context.invalidKeys.push(renderPath(context.path));
}
return this.defaultValue;
}
}
class StringValidator extends PrimitiveValidator<string> {
predicate(input: unknown): input is string {
return typeof input === 'string';
}
}
class NumberValidator extends PrimitiveValidator<number> {
predicate(input: unknown): input is number {
return typeof input === 'number';
}
}
class BooleanValidator extends PrimitiveValidator<boolean> {
predicate(input: unknown): input is boolean {
return typeof input === 'boolean';
}
}
// Type-level function returning resulting type of a validator.
export type ValidatedType<T> = T extends Validator<infer S>? S : never;
// Type-level function traversing a record of validator and returning record
// with the same keys and valid types.
export type RecordValidatedType<T> = {
[k in keyof T]: ValidatedType<T[k]>
};
// Combinator for validators: takes a record of validators, and returns a
// validator for a record where record's fields passed to validator with the
// same name.
//
// Generic parameter T is instantiated to type of record of validators, and
// should be provided implicitly by type inference due to verbosity of its
// instantiations.
class RecordValidator<T extends Record<string, Validator<unknown>>> implements
Validator<RecordValidatedType<T>> {
validators: T;
constructor(validators: T) {
this.validators = validators;
}
validate(input: unknown, context: ValidatorContext): RecordValidatedType<T> {
// If value is missing or of incorrect type, empty record is still processed
// in the loop below to initialize default fields of the nested object.
let o: object = {};
if (typeof input === 'object' && input !== null) {
o = input;
} else if (input !== undefined) {
context.invalidKeys.push(renderPath(context.path));
}
const result: Partial<RecordValidatedType<T>> = {};
// Separate declaration is required to avoid assigning `string` type to `k`.
for (const k in this.validators) {
if (this.validators.hasOwnProperty(k)) {
context.path.push(k);
const validator = this.validators[k];
// Accessing value of `k` of `o` is safe because `undefined` values are
// considered to indicate a missing value and handled appropriately by
// every provided validator.
const valid =
validator.validate((o as Record<string, unknown>)[k], context);
result[k] = valid as ValidatedType<T[string]>;
context.path.pop();
}
}
// Check if passed object has any extra keys to be reported as such.
for (const key of Object.keys(o)) {
if (!this.validators.hasOwnProperty(key)) {
context.path.push(key);
context.extraKeys.push(renderPath(context.path));
context.path.pop();
}
}
return result as RecordValidatedType<T>;
}
}
// Validator checking whether a value is one of preset values. Used in order to
// provide easy validation for union of literal types.
class OneOfValidator<T> implements Validator<T> {
validValues: readonly T[];
defaultValue: T;
constructor(validValues: readonly T[], defaultValue: T) {
this.defaultValue = defaultValue;
this.validValues = validValues;
}
validate(input: unknown, context: ValidatorContext): T {
if (this.validValues.includes(input as T)) {
return input as T;
} else if (input !== undefined) {
context.invalidKeys.push(renderPath(context.path));
}
return this.defaultValue;
}
}
// Validator for an array of elements, applying the same element validator for
// each element of an array. Uses empty array as a default value.
class ArrayValidator<T> implements Validator<T[]> {
elementValidator: Validator<T>;
constructor(elementValidator: Validator<T>) {
this.elementValidator = elementValidator;
}
validate(input: unknown, context: ValidatorContext): T[] {
const result: T[] = [];
if (Array.isArray(input)) {
for (let i = 0; i < input.length; i++) {
context.path.push(`[${i}]`);
result.push(this.elementValidator.validate(input[i], context));
context.path.pop();
}
} else if (input !== undefined) {
context.invalidKeys.push(renderPath(context.path));
}
return result;
}
}
// Wrapper container for validation result contaiting diagnostic information in
// addition to the resulting typed value.
export interface ValidationResult<T> {
result: T;
invalidKeys: string[];
extraKeys: string[];
}
// Wrapper for running a validator initializing the context.
export function runValidator<T>(
validator: Validator<T>, input: unknown): ValidationResult<T> {
const context: ValidatorContext = {
path: [],
invalidKeys: [],
extraKeys: [],
};
const result = validator.validate(input, context);
return {
result,
invalidKeys: context.invalidKeys,
extraKeys: context.extraKeys,
};
}
// Shorthands for the validator classes above enabling concise notation.
export function str(defaultValue = ''): StringValidator {
return new StringValidator(defaultValue, false);
}
export const requiredStr = new StringValidator('', true);
export function num(defaultValue = 0): NumberValidator {
return new NumberValidator(defaultValue, false);
}
export function bool(defaultValue = false): BooleanValidator {
return new BooleanValidator(defaultValue, false);
}
export function record<T extends Record<string, Validator<unknown>>>(
validators: T): RecordValidator<T> {
return new RecordValidator<T>(validators);
}
export function oneOf<T>(
values: readonly T[], defaultValue: T): OneOfValidator<T> {
return new OneOfValidator<T>(values, defaultValue);
}
export function arrayOf<T>(elementValidator: Validator<T>): ArrayValidator<T> {
return new ArrayValidator<T>(elementValidator);
}