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<CATypeRecord> 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<CATypeRecord> 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