ConceptPortal-public/rsconcept/frontend/src/dialogs/DlgGraphParams.tsx

'use client';

import Checkbox from '@/components/Common/Checkbox';
import Modal, { ModalProps } from '@/components/Common/Modal';
import usePartialUpdate from '@/hooks/usePartialUpdate';
import { GraphFilterParams } from '@/models/miscelanious';
import { CstType } from '@/models/rsform';
import { labelCstType } from '@/utils/labels';

interface DlgGraphParamsProps
extends Pick<ModalProps, 'hideWindow'> {
  initial: GraphFilterParams
  onConfirm: (params: GraphFilterParams) => void
}

function DlgGraphParams({ hideWindow, initial, onConfirm } : DlgGraphParamsProps) {
  const [params, updateParams] = usePartialUpdate(initial);

  function handleSubmit() {
    hideWindow();
    onConfirm(params);
  }

  return (
  <Modal canSubmit
    hideWindow={hideWindow}
    header='Настройки графа термов'
    onSubmit={handleSubmit}
    submitText='Применить'
    className='flex gap-12 px-6 py-2'
  >
    <div className='flex flex-col gap-1'>
      <h1 className='mb-2'>Преобразования</h1>
      <Checkbox
        label='Скрыть текст'
        title='Не отображать термины'
        value={params.noText} 
        setValue={value => updateParams({noText: value})}
      />
      <Checkbox
        label='Скрыть несвязанные'
        title='Неиспользуемые конституенты'
        value={params.noHermits} 
        setValue={value => updateParams({ noHermits: value})}
      />
      <Checkbox
        label='Скрыть шаблоны'
        title='Терм-функции и предикат-функции с параметризованными аргументами'
        value={params.noTemplates} 
        setValue={value => updateParams({ noTemplates: value})}
      />
      <Checkbox
        label='Транзитивная редукция'
        title='Удалить связи, образующие транзитивные пути в графе'
        value={params.noTransitive} 
        setValue={value => updateParams({ noTransitive: value})}
      />
    </div>
    <div className='flex flex-col gap-1'>
      <h1 className='mb-2'>Типы конституент</h1>
      <Checkbox
        label={labelCstType(CstType.BASE)}
        value={params.allowBase} 
        setValue={value => updateParams({ allowBase: value})}
      />
      <Checkbox
        label={labelCstType(CstType.STRUCTURED)}
        value={params.allowStruct} 
        setValue={value => updateParams({ allowStruct: value})}
      />
      <Checkbox
        label={labelCstType(CstType.TERM)}
        value={params.allowTerm} 
        setValue={value => updateParams({ allowTerm: value})}
      />
      <Checkbox
        label={labelCstType(CstType.AXIOM)}
        value={params.allowAxiom} 
        setValue={value => updateParams({ allowAxiom: value})}
      />
      <Checkbox
        label={labelCstType(CstType.FUNCTION)}
        value={params.allowFunction} 
        setValue={value => updateParams({ allowFunction: value})}
      />
      <Checkbox
        label={labelCstType(CstType.PREDICATE)}
        value={params.allowPredicate} 
        setValue={value => updateParams({ allowPredicate: value})}
      />
      <Checkbox
        label={labelCstType(CstType.CONSTANT)}
        value={params.allowConstant} 
        setValue={value => updateParams({ allowConstant: value})}
      />
      <Checkbox
        label={labelCstType(CstType.THEOREM)}
        value={params.allowTheorem} 
        setValue={value => updateParams({ allowTheorem: value})}
      />
    </div>
  </Modal>);
}

export default DlgGraphParams;