com.asakusafw.dmdl.semantics.type

Class BasicType

java.lang.Object

com.asakusafw.dmdl.semantics.type.BasicType

All Implemented Interfaces:

Element, Type

public class BasicType
extends Object
implements Type

Basic type of properties.

Constructor Summary

Constructors

Constructor and Description
BasicType(AstBasicType originalAst, BasicTypeKind kind) Creates and returns a new instance.

Method Summary

Modifier and Type	Method and Description
BasicTypeKind	getKind() Returns the kind of this type.
AstBasicType	getOriginalAst() Returns the corresponded syntactic element of this.
boolean	isSame(Type other) Compare to other type, and returns true iff both type are same.
Type	map(PropertyMappingKind mapping) Returns the mapped result type.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicType

public BasicType(AstBasicType originalAst,
                 BasicTypeKind kind)

Creates and returns a new instance.

Parameters:

originalAst - the original AST, or null if this is an ad-hoc element

kind - the kind of this type

Throws:

IllegalArgumentException - if some parameters were null

Method Detail

getOriginalAst

public AstBasicType getOriginalAst()

Description copied from interface: Element

Returns the corresponded syntactic element of this.

Specified by:

getOriginalAst in interface Element

Returns:

the corresponded syntactic element, or null if unknown

getKind

public BasicTypeKind getKind()

Returns the kind of this type.

Returns:

the kind

map

public Type map(PropertyMappingKind mapping)

Description copied from interface: Type

Returns the mapped result type.

Specified by:

map in interface Type

Parameters:

mapping - the mapping function

Returns:

the mapped type, or null if mapping is not defined

isSame

public boolean isSame(Type other)

Description copied from interface: Type

Compare to other type, and returns true iff both type are same.

Specified by:

isSame in interface Type

Parameters:

other - the type compared to

Returns:

true iff this and the other type are same

toString

public String toString()

Overrides:

toString in class Object