proposit-core
    Preparing search index...

    Interface TArgumentValidationContext

    Read-only interface providing the data validation needs from an argument engine. This is intentionally narrow — validation should not mutate anything beyond flushing checksums.

    interface TArgumentValidationContext {
        argumentId: string;
        argumentVersion: number;
        conclusionPremiseId: string | undefined;
        flushAndGetChecksumDeltas(): {
            currentCombined: string
            | undefined;
            currentDescendant: string | null | undefined;
            currentMeta: string | undefined;
            savedCombined: string | undefined;
            savedDescendant: string | null | undefined;
            savedMeta: string | undefined;
        };
        getArgument(): {
            checksum: string;
            combinedChecksum: string;
            descendantChecksum: string
            | null;
            id: string;
            version: number;
        };
        getVariables(): (
            | {
                argumentId: string;
                argumentVersion: number;
                checksum: string;
                claimId: string;
                claimVersion: number;
                id: string;
                symbol: string;
            }
            | {
                argumentId: string;
                argumentVersion: number;
                boundArgumentId: string;
                boundArgumentVersion: number;
                boundPremiseId: string;
                checksum: string;
                id: string;
                symbol: string;
            }
        )[];
        hasPremise(premiseId: string): boolean;
        listPremises(): TValidatablePremise[];
        lookupClaim(claimId: string, claimVersion: number): unknown;
        validateVariables(): TInvariantValidationResult;
        wouldCreateCycle(
            variableId: string,
            premiseId: string,
            visited: Set<string>,
        ): boolean;
    }
    Index

    Properties

    argumentId argumentVersion conclusionPremiseId

    Methods

    flushAndGetChecksumDeltas getArgument getVariables hasPremise listPremises lookupClaim validateVariables wouldCreateCycle

    Properties

    argumentId: string
    argumentVersion: number
    conclusionPremiseId: string | undefined

    Methods

    • Returns {
          currentCombined: string | undefined;
          currentDescendant: string | null | undefined;
          currentMeta: string | undefined;
          savedCombined: string | undefined;
          savedDescendant: string | null | undefined;
          savedMeta: string | undefined;
      }

    • Returns {
          checksum: string;
          combinedChecksum: string;
          descendantChecksum: string | null;
          id: string;
          version: number;
      }

    • Returns (
          | {
              argumentId: string;
              argumentVersion: number;
              checksum: string;
              claimId: string;
              claimVersion: number;
              id: string;
              symbol: string;
          }
          | {
              argumentId: string;
              argumentVersion: number;
              boundArgumentId: string;
              boundArgumentVersion: number;
              boundPremiseId: string;
              checksum: string;
              id: string;
              symbol: string;
          }
      )[]

    • Parameters

      • variableId: string
      • premiseId: string
      • visited: Set<string>

      Returns boolean

    Settings

    Member Visibility

    On This Page

    Properties
    Methods