Package org.openzen.zenscript.validator.visitors

Class TypeValidator

java.lang.Object

org.openzen.zenscript.validator.visitors.TypeValidator

All Implemented Interfaces:

TypeVisitorWithContext<TypeContext,Void,RuntimeException>

public class TypeValidator
extends Object
implements TypeVisitorWithContext<TypeContext,Void,RuntimeException>

Constructor Summary

Constructors

Constructor	Description
TypeValidator(Validator validator, CodePosition position)

Method Summary

Modifier and Type	Method	Description
void	validate(TypeContext context, TypeID type)
Void	visitArray(TypeContext context, ArrayTypeID array)
Void	visitAssoc(TypeContext context, AssocTypeID assoc)
Void	visitBasic(TypeContext context, BasicTypeID basic)
Void	visitDefinition(TypeContext context, DefinitionTypeID definition)
Void	visitFunction(TypeContext context, FunctionTypeID function)
Void	visitGeneric(TypeContext context, GenericTypeID generic)
Void	visitGenericMap(TypeContext context, GenericMapTypeID map)
Void	visitInvalid(TypeContext context, InvalidTypeID type)
Void	visitIterator(TypeContext context, IteratorTypeID iterator)
Void	visitOptional(TypeContext context, OptionalTypeID type)
Void	visitRange(TypeContext context, RangeTypeID range)

Methods inherited from class java.lang.Object

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

Constructor Details

TypeValidator

public TypeValidator(Validator validator,
 CodePosition position)

Method Details

validate

public void validate(TypeContext context,
 TypeID type)

visitBasic

public Void visitBasic(TypeContext context,
 BasicTypeID basic)

Specified by:

visitBasic in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitArray

public Void visitArray(TypeContext context,
 ArrayTypeID array)

Specified by:

visitArray in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitAssoc

public Void visitAssoc(TypeContext context,
 AssocTypeID assoc)

Specified by:

visitAssoc in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitInvalid

public Void visitInvalid(TypeContext context,
 InvalidTypeID type)

Specified by:

visitInvalid in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitIterator

public Void visitIterator(TypeContext context,
 IteratorTypeID iterator)

Specified by:

visitIterator in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitFunction

public Void visitFunction(TypeContext context,
 FunctionTypeID function)

Specified by:

visitFunction in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitDefinition

public Void visitDefinition(TypeContext context,
 DefinitionTypeID definition)

Specified by:

visitDefinition in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitGeneric

public Void visitGeneric(TypeContext context,
 GenericTypeID generic)

Specified by:

visitGeneric in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitRange

public Void visitRange(TypeContext context,
 RangeTypeID range)

Specified by:

visitRange in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitOptional

public Void visitOptional(TypeContext context,
 OptionalTypeID type)

Specified by:

visitOptional in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>

visitGenericMap

public Void visitGenericMap(TypeContext context,
 GenericMapTypeID map)

Specified by:

visitGenericMap in interface TypeVisitorWithContext<TypeContext,Void,RuntimeException>