/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you 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.
 */

import {
  DMN_LATEST__tConditional,
  DMN_LATEST__tContext,
  DMN_LATEST__tDecisionTable,
  DMN_LATEST__tFilter,
  DMN_LATEST__tFor,
  DMN_LATEST__tFunctionDefinition,
  DMN_LATEST__tInformationItem,
  DMN_LATEST__tInvocation,
  DMN_LATEST__tList,
  DMN_LATEST__tLiteralExpression,
  DMN_LATEST__tQuantified,
  DMN_LATEST__tRelation,
} from "@kie-tools/dmn-marshaller";

export type BoxedLiteral = { __$$element: "literalExpression" } & DMN_LATEST__tLiteralExpression;
export type BoxedRelation = { __$$element: "relation" } & DMN_LATEST__tRelation;
export type BoxedContext = { __$$element: "context" } & DMN_LATEST__tContext;
export type BoxedDecisionTable = { __$$element: "decisionTable" } & DMN_LATEST__tDecisionTable;
export type BoxedList = { __$$element: "list" } & DMN_LATEST__tList;
export type BoxedInvocation = { __$$element: "invocation" } & DMN_LATEST__tInvocation;
export type BoxedFunction = { __$$element: "functionDefinition" } & DMN_LATEST__tFunctionDefinition;
export type BoxedFor = { __$$element: "for" } & DMN_LATEST__tFor;
export type BoxedEvery = { __$$element: "every" } & DMN_LATEST__tQuantified;
export type BoxedSome = { __$$element: "some" } & DMN_LATEST__tQuantified;
export type BoxedConditional = { __$$element: "conditional" } & DMN_LATEST__tConditional;
export type BoxedFilter = { __$$element: "filter" } & DMN_LATEST__tFilter;

export enum BoxedFunctionKind {
  Feel = "FEEL",
  Java = "Java",
  Pmml = "PMML",
}

export type Normalized<T> = WithRequiredDeep<T, "@_id">;

type WithRequiredDeep<T, K extends keyof any> = T extends undefined
  ? T
  : T extends Array<infer U>
    ? Array<WithRequiredDeep<U, K>>
    : { [P in keyof T]: WithRequiredDeep<T[P], K> } & (K extends keyof T
        ? { [P in K]-?: NonNullable<WithRequiredDeep<T[P], K>> }
        : T);

export type BoxedIterator = BoxedFor | BoxedEvery | BoxedSome;

export type BoxedExpression =
  | BoxedLiteral
  | BoxedRelation
  | BoxedContext
  | BoxedDecisionTable
  | BoxedList
  | BoxedInvocation
  | BoxedFunction
  | BoxedFor
  | BoxedEvery
  | BoxedSome
  | BoxedConditional
  | BoxedFilter;

export interface PmmlDocument {
  document: string;
  modelsFromDocument?: {
    model: string;
    parametersFromModel?: DMN_LATEST__tInformationItem[];
  }[];
}

// Please find a better place for this function as part of https://github.com/kiegroup/kie-issues/issues/34
export const getNextAvailablePrefixedName = (
  names: string[],
  namePrefix: string,
  lastIndex: number = names.length
): string => {
  const candidate = `${namePrefix}-${lastIndex + 1}`;
  const elemWithCandidateName = names.indexOf(candidate);
  return elemWithCandidateName >= 0 ? getNextAvailablePrefixedName(names, namePrefix, lastIndex + 1) : candidate;
};