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