Package com.io7m.cardant.model

# Class CATypeChecking

java.lang.Object
com.io7m.cardant.model.CATypeChecking

public final class CATypeChecking extends Object
Functions for performing type checking on metadata.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `static CATypeChecking`
  `create(CAStrings inStrings, Set<CATypeDeclaration> inTypeDeclarations, Set<CAMetadataType> inMetadata)`
  Create a type checker for the given set of types and metadata.
  `List<com.io7m.seltzer.api.SStructuredError<CAErrorCode>>`
  `execute()`
  Execute the type checker.
  `String`
  `toString()`

  ### Methods inherited from class java.lang.Object

  `clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- ## Method Details

  - ### create

    public static CATypeChecking create(CAStrings inStrings, Set<CATypeDeclaration> inTypeDeclarations, Set<CAMetadataType> inMetadata)
    Create a type checker for the given set of types and metadata.
    Parameters:
      `inStrings` - The strings
      `inTypeDeclarations` - The type declarations against which to check metadata
      `inMetadata` - The metadata
    Returns:
      A type checker

  - ### execute

    public List<com.io7m.seltzer.api.SStructuredError<CAErrorCode>> execute()
    Execute the type checker.
    Returns:
      The list of type errors, if any occurred

  - ### toString

    public String toString()
    Overrides:
      `toString` in class `Object`