xtc.type

Class AnnotatedT

java.lang.Object

xtc.tree.Node

xtc.type.Type

xtc.type.WrappedT

xtc.type.AnnotatedT

All Implemented Interfaces:

java.lang.Iterable<java.lang.Object>, Locatable

public class AnnotatedT
extends WrappedT

An annotated type. This pseudo-type is useful for adding annotations to a type without modifying the underlying type.

Version:

$Revision: 1.21 $

Author:

Robert Grimm

Nested Class Summary

Nested classes/interfaces inherited from class xtc.type.Type

Type.Tag

Constructor Summary

Constructors

Constructor and Description
AnnotatedT(Type type) Create a new annotated type.
AnnotatedT(Type template, Type type) Create a new annotated type.

Method Summary

Methods

Modifier and Type	Method and Description
AnnotatedT	copy() Create a deep copy of this type.
boolean	isAnnotated() Determine whether this type is annotated.
AnnotatedT	toAnnotated() Get this type as an annotated type.
void	write(java.lang.Appendable out) Write a human readable representation to the specified appendable.
Type.Tag	wtag() Get this wrapped type's tag.

Methods inherited from class xtc.type.WrappedT

equals, getAttribute, getConstant, getLanguage, getLocation, getScope, getShape, getType, hasAlias, hasAnnotated, hasAttribute, hasConstant, hasEnum, hasEnumerator, hashCode, hasInstantiated, hasLanguage, hasLocation, hasParameterized, hasScope, hasShape, hasTagged, hasVariable, isWrapped, resolve, seal, setType, tag, toAlias, toEnum, toEnumerator, toInstantiated, toParameterized, toStructOrUnion, toTagged, toVariable, toWrapped

Methods inherited from class xtc.type.Type

addAttribute, annotate, attribute, attribute, attribute, attributes, cast, checkNotSealed, constant, constant, copy, deannotate, getAttribute, getConstant, getLanguage, getLocation, getScope, getShape, hasAttribute, hasAttribute, hasAttribute, hasAttributes, hasConstant, hasError, hasLanguage, hasLocation, hasScope, hasShape, hasStructOrUnion, hasTag, hasWTag, isAlias, isArray, isBoolean, isClass, isConcrete, isDerived, isEnum, isEnumerator, isError, isFloat, isFunction, isInstantiated, isInteger, isInterface, isInternal, isInternalParameter, isLabel, isMethod, isNamedParameter, isNumber, isPackage, isParameter, isParameterized, isPointer, isSealed, isStruct, isTuple, isUnion, isUnit, isVariable, isVariant, isVoid, isWildcard, language, locate, locate, mark, properties, removeAttribute, removeProperty, resolve, scope, seal, setLocation, setLocation, setProperty, shape, shape, toArray, toBoolean, toClass, toFloat, toFunction, toInteger, toInterface, toInternal, toInternalParameter, toLabel, toMethod, toNamedParameter, toNumber, toPackage, toParameter, toPointer, toStruct, toTuple, toUnion, toUnit, toVariant, toVoid, toWildcard, trace

Methods inherited from class xtc.tree.Node

add, add, addAll, addAll, addAll, addAll, addAllTo, addNode, contains, get, getBoolean, getBooleanProperty, getGeneric, getList, getName, getNode, getProperty, getString, getStringProperty, getTokenText, hasName, hasProperty, hasTraversal, indexOf, isAnnotation, isEmpty, isGeneric, isList, isToken, iterator, lastIndexOf, remove, set, size, strip, toAnnotation, toList, toString, toToken

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AnnotatedT

public AnnotatedT(Type type)

Create a new annotated type.

Parameters:

type - The type to annotate.

AnnotatedT

public AnnotatedT(Type template,
          Type type)

Create a new annotated type.

Parameters:

template - The type whose annotations to copy.

type - The type to annotate.

Method Detail

copy

public AnnotatedT copy()

Description copied from class: Type

Create a deep copy of this type. The resulting type is not sealed.

Specified by:

copy in class Type

Returns:

A deep copy of this type.

wtag

public Type.Tag wtag()

Description copied from class: Type

Get this wrapped type's tag. Invocations to this method are not forwarded across wrapped types.

Overrides:

wtag in class Type

Returns:

This wrapped type's tag.

See Also:

Type.tag()

isAnnotated

public boolean isAnnotated()

Description copied from class: Type

Determine whether this type is annotated.

Overrides:

isAnnotated in class Type

Returns:

true if this type is annotated.

toAnnotated

public AnnotatedT toAnnotated()

Description copied from class: Type

Get this type as an annotated type.

Overrides:

toAnnotated in class WrappedT

Returns:

This type as an annotated type.

write

public void write(java.lang.Appendable out)
           throws java.io.IOException

Description copied from class: Node

Write a human readable representation to the specified appendable. If this node supports generic traversal, the default implementation writes this node in algebraic term-format; otherwise, it writes the string returned by Object.toString().

Overrides:

write in class Node

Parameters:

out - The appendable.

Throws:

java.io.IOException - Signals an I/O error.