Package com.io7m.cedarbridge.schema.typer.internal

# Interface CBTyperContextType

All Superinterfaces:
  `AutoCloseable`

public interface CBTyperContextType extends AutoCloseable
Contextual information for type checking.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `void`
  `close()`
  `CBTypeCheckFailedException`
  `failed(Optional<UUID> specSection, com.io7m.jlexing.core.LexicalPosition<URI> lexical, String errorCode, Object... arguments)`
  Something failed.

- ## Method Details

  - ### close

    void close() throws CBTypeCheckFailedException
    Specified by:
      `close` in interface `AutoCloseable`
    Throws:
      `CBTypeCheckFailedException`

  - ### failed

    CBTypeCheckFailedException failed(Optional<UUID> specSection, com.io7m.jlexing.core.LexicalPosition<URI> lexical, String errorCode, Object... arguments)
    Something failed.
    Parameters:
      `specSection` - The quoted spec section
      `lexical` - The lexical information
      `errorCode` - The error code
      `arguments` - The error arguments
    Returns:
      An exception describing the error