ConceptPortal-public/rsconcept/frontend/src/hooks/useCheckExpression.ts

import { useCallback, useState } from 'react'

import { type ErrorInfo } from '../components/BackendError';
import { DataCallback, postCheckExpression } from '../utils/backendAPI';
import { RSErrorType } from '../utils/enums';
import { CstType, IConstituenta, IExpressionParse, IFunctionArg, type IRSForm } from '../utils/models';
import { getCstExpressionPrefix } from '../utils/staticUI';

function checkTypeConsistency(type: CstType, typification: string, args: IFunctionArg[]): boolean {
  switch (type) {
  case CstType.BASE:
  case CstType.CONSTANT:
  case CstType.STRUCTURED:
  case CstType.TERM:
    return typification !== '' && args.length === 0;

  case CstType.AXIOM:
  case CstType.THEOREM:
    return typification === '' && args.length === 0;

  case CstType.FUNCTION:
    return typification !== '' && args.length !== 0;

  case CstType.PREDICATE:
    return typification === '' && args.length !== 0;
  }
}

function useCheckExpression({ schema }: { schema?: IRSForm }) {
  const [loading, setLoading] = useState(false);
  const [error, setError] = useState<ErrorInfo>(undefined);
  const [parseData, setParseData] = useState<IExpressionParse | undefined>(undefined);

  const resetParse = useCallback(() => { setParseData(undefined); }, []);

  function checkExpression(expression: string, activeCst?: IConstituenta, onSuccess?: DataCallback<IExpressionParse>) {
    setError(undefined);
    postCheckExpression(String(schema!.id), {
      data: { expression: expression },
      showError: true,
      setLoading,
      onError: error => { setError(error); },
      onSuccess: parse => {
        if (activeCst && parse.parseResult) {
          if (activeCst.cstType == CstType.BASE || activeCst.cstType == CstType.CONSTANT) {
            if (expression !== getCstExpressionPrefix(activeCst)) {
              parse.parseResult = false;
              parse.errors.push({
                errorType: RSErrorType.globalNonemptyBase,
                isCritical: true,
                params: [],
                position: 0
              });
            }
          }
          if (!checkTypeConsistency(activeCst.cstType, parse.typification, parse.args)) {
            parse.parseResult = false;
            parse.errors.push({
              errorType: RSErrorType.globalUnexpectedType,
              isCritical: true,
              params: [],
              position: 0
            });
          }
        }
        setParseData(parse);
        if (onSuccess) onSuccess(parse);
      }
    });
  }

  return { parseData, checkExpression, resetParse, error, setError, loading };
}

export default useCheckExpression;