com.asakusafw.dmdl.analyzer

Class Context

java.lang.Object

com.asakusafw.dmdl.analyzer.Context

public class Context
extends Object

A context of semantic analyzer.

Since:

0.2.0

Version:

0.9.2

Constructor Summary

Constructors

Constructor and Description
Context(DmdlSemantics world, Iterable<? extends TypeDriver> typeDrivers, Iterable<? extends AttributeDriver> attributeDrivers) Creates and returns a new instance.

Method Summary

Modifier and Type	Method and Description
void	error(AstNode node, String format, Object... arguments) Reports an error.
AttributeDriver	findAttributeDriver(AstAttribute attribute) Returns an attribute driver corresponding to the attribute.
DmdlSemantics	getWorld() Returns the root semantics model of current context.
boolean	hasError() Returns whether or not there are any errors in this context.
Type	resolveType(AstType type) Returns the corresponded type of the type syntax.

Methods inherited from class java.lang.Object

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

Constructor Detail

Context

public Context(DmdlSemantics world,
               Iterable<? extends TypeDriver> typeDrivers,
               Iterable<? extends AttributeDriver> attributeDrivers)

Creates and returns a new instance.

Parameters:

world - the world object

typeDrivers - type resolvers

attributeDrivers - attributed analyzers

Throws:

IllegalArgumentException - if some parameters were null

Method Detail

getWorld

public DmdlSemantics getWorld()

Returns the root semantics model of current context.

Returns:

the root model

error

public void error(AstNode node,
                  String format,
                  Object... arguments)

Reports an error.

Parameters:

node - the related AST node

format - the message format

arguments - the message arguments

Since:

0.9.2

hasError

public boolean hasError()

Returns whether or not there are any errors in this context.

Returns:

true if there are some errors, otherwise false

resolveType

public Type resolveType(AstType type)

Returns the corresponded type of the type syntax.

Parameters:

type - the type syntax

Returns:

the corresponded type, or null if cannot resolve

Throws:

IllegalArgumentException - if some parameters were null

findAttributeDriver

public AttributeDriver findAttributeDriver(AstAttribute attribute)

Returns an attribute driver corresponding to the attribute.

Parameters:

attribute - the attribute to find a corresponded driver

Returns:

the corresponded driver, or null if does not exist

Throws:

IllegalArgumentException - if some parameters were null