import ts from "typescript";
import path from "path";

/**
 * Concatenates two arrays and removes duplicates
 */

export function mergeArrays<T>(array1: T[], array2: T[]): T[] {
	return [...new Set([...array1, ...array2])];
}

/**
 * Separates an array into two arrays:
 * the first array contains elements matched
 * by predicate as true, the second as false.
 */
export function separateArray<T>(
	array: T[],
	predicate: (element: T) => boolean,
): [T[], T[]] {
	const nextIteration = (array: T[], onTrue: T[], onFalse: T[]): [T[], T[]] => {
		if (array.length === 0) return [onTrue, onFalse];

		const [head, ...tail] = array;

		if (predicate(head)) return nextIteration(tail, [...onTrue, head], onFalse);

		return nextIteration(tail, onTrue, [...onFalse, head]);
	};

	return nextIteration(array, [], []);
}

/**
 * Checks if type is an EnumItem
 */

export function isEnum(type: ts.Type): boolean {
	return (<any>type.aliasSymbol)?.parent?.escapedName === "Enum";
}

/**
 * Checks if ts.Type is a function
 */

export function isFunctionType(type: ts.Type): boolean {
	return type.getCallSignatures().length !== 0;
}

/**
 * Checks if ts.Type is of ts.TupleType
 */

export function isTupleType(
	type: ts.Type,
	typeChecker: ts.TypeChecker,
): type is ts.TupleType {
	return (<any>typeChecker).isTupleType(type);
}

/**
 * Checks if ts.Type is of Array type
 */

export function isArrayType(
	type: ts.Type,
	typeChecker: ts.TypeChecker,
): type is ts.GenericType {
	return (<any>typeChecker).isArrayType(type);
}

/**
 * Checks if ts.Type is of Map type
 */

export function isMapType(type: ts.Type): type is ts.GenericType {
	return type.symbol?.getName() === "Map";
}

/**
 * Checks if ts.Type is of Map type
 */

export function isBrickColorType(type: ts.Type): type is ts.GenericType {
	return type.symbol?.getName() === "BrickColor";
}

/**
 * Converts array of ts.Types to array of ts.Expressions
 */

/**
 * Checks if ts.Type being is of ts.ObjectType
 */

export function isObjectType(type: ts.Type): type is ts.ObjectType {
	return type.symbol?.getName() === "__type";
}

/**
 * Checks if property declaration matched is optional
 */

export function isOptionalPropertyDeclaration(prop: ts.Symbol): boolean {
	const property = prop.valueDeclaration as ts.PropertyDeclaration;

	return property.questionToken !== undefined;
}

/**
 * Checks if type is a literal
 */

export function isLiteral(
	typeChecker: ts.TypeChecker,
): (type: ts.Type) => boolean {
	return (type: ts.Type): boolean =>
		type.isLiteral() ||
		["true", "false"].includes(typeChecker.typeToString(type));
}

export function isCustomEnum(type: ts.Type) {
	return type.symbol?.valueDeclaration?.kind === ts.SyntaxKind.EnumDeclaration;
}

/**
 * Extracts property type and name from ts.Symbol
 */

export function extractProperty(
	prop: ts.Symbol,
	typeChecker: ts.TypeChecker,
): { name: string; type: ts.Type } {
	const declaration = prop.valueDeclaration;

	const type =
		(<any>prop).type === undefined
			? typeChecker.getTypeFromTypeNode((<any>declaration).type)
			: ((<any>prop).type.target ?? (<any>prop).type);

	const name = String(prop.escapedName);

	return { name, type };
}

/**
 * Builds name for property.
 * If it is simple, use just string.
 * For complex names wrap it into ts.StringLiteral
 */

export function buildPropertyName(name: string): string | ts.StringLiteral {
	if (name.match(/^[a-zA-Z_]+[\w_]+$/) !== null) return name;

	return ts.factory.createStringLiteral(name);
}

/**
 * Represents function that maps single node
 */

type MappingFunction = {
	(node: ts.Node, program: ts.Program): [ts.Node, boolean];
};

/**
 * Predicate accepts ts.Node or it"s subtypes
 */

type NodePredicate<T extends ts.Node = ts.Node> = (node: T) => boolean;

/**
 * Returns mapping function that replaces
 * nodes that satisfy the passed predicate
 * with a replacement node passed but skips the first appearance
 */

export function getNodeReplacer(
	predicate: NodePredicate,
	replacement: ts.Node,
): MappingFunction {
	let replaced = false;

	return (node: ts.Node) => {
		if (replaced && predicate(node)) return [replacement, replaced];

		if (replaced || !predicate(node)) return [node, replaced];

		replaced = true;

		return [node, replaced];
	};
}

/**
 * Returns aliased symbol of ts.Symbol or
 * this symbol itself if it is aliased
 */

export function getAliasedSymbol(
	symbol: ts.Symbol,
	typeChecker: ts.TypeChecker,
): ts.Symbol {
	try {
		return typeChecker.getAliasedSymbol(symbol);
	} catch (_) {
		return symbol;
	}
}

/**
 * Returns aliased symbol of ts.Identifier
 */

export function getAliasedSymbolOfNode(
	node: ts.Identifier,
	typeChecker: ts.TypeChecker,
): ts.Symbol | undefined {
	const symbol = typeChecker.getSymbolAtLocation(node);

	if (symbol === undefined) return undefined;

	return getAliasedSymbol(symbol, typeChecker);
}

/**
 * Checks is symbol belongs to declaration
 * with name "name" located in file filePath
 */

export function isSymbolOf(
	symbol: ts.Symbol,
	name: string,
	filePath: string,
): boolean {
	if (symbol.escapedName !== name) return false;

	return [symbol.valueDeclaration, ...symbol.declarations!]
		.filter(Boolean) // TODO
		.some(
			(declaration) =>
				path.join(declaration!.getSourceFile().fileName) === filePath,
		);
}

/**
 * Returns id of ts.Type
 */

export function getTypeId(type: ts.Type): number {
	return (<any>type).id;
}

/**
 * Merges two objects
 */

export function mergeObjects<K extends string | number, V>(
	obj1: Record<K, V>,
	obj2: Record<K, V>,
): Record<K, V> {
	return { ...obj1, ...obj2 };
}