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