xtc.type
Class FloatT

java.lang.Object
  xtc.tree.Node
      xtc.type.Type
          xtc.type.NumberT
              xtc.type.FloatT

All Implemented Interfaces:

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

public class FloatT
extends NumberT

A floating point type.

Version:

$Revision: 1.23 $

Author:

Robert Grimm

Nested Class Summary

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

NumberT.Kind

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

Type.Tag

Field Summary

Fields inherited from class xtc.type.NumberT

BYTE, CHAR, DOUBLE, DOUBLE_COMPLEX, FLOAT, FLOAT_COMPLEX, INT, kind, LONG, LONG_DOUBLE, LONG_DOUBLE_COMPLEX, LONG_LONG, S_CHAR, S_INT, SHORT, U_CHAR, U_INT, U_LONG, U_LONG_LONG, U_SHORT

Constructor Summary

FloatT(NumberT.Kind kind)
Create a new floating point type.

FloatT(Type template, NumberT.Kind kind)
Create a new flaoting point type.

Method Summary

FloatT	copy() Create a deep copy of this type.
boolean	isFloat() Determine whether this type is a float.
Type.Tag	tag() Get this type's tag.
FloatT	toFloat() Get this type as a float.

Methods inherited from class xtc.type.NumberT

equal, equalIgnoringSign, equals, getKind, hashCode, hasKind, isNumber, isSigned, toNumber, toString, write

Methods inherited from class xtc.type.Type

addAttribute, annotate, attribute, attribute, attribute, attributes, cast, checkNotSealed, constant, constant, copy, deannotate, getAttribute, getAttribute, getConstant, getConstant, getLanguage, getLanguage, getLocation, getLocation, getScope, getScope, getShape, getShape, hasAlias, hasAnnotated, hasAttribute, hasAttribute, hasAttribute, hasAttribute, hasAttributes, hasConstant, hasConstant, hasEnum, hasEnumerator, hasError, hasInstantiated, hasLanguage, hasLanguage, hasLocation, hasLocation, hasParameterized, hasScope, hasScope, hasShape, hasShape, hasStructOrUnion, hasTag, hasTagged, hasVariable, hasWTag, isAlias, isAnnotated, isArray, isBoolean, isClass, isConcrete, isDerived, isEnum, isEnumerator, isError, isFunction, isInstantiated, isInteger, isInterface, isInternal, isInternalParameter, isLabel, isMethod, isNamedParameter, isPackage, isParameter, isParameterized, isPointer, isSealed, isStruct, isTuple, isUnion, isUnit, isVariable, isVariant, isVoid, isWildcard, isWrapped, language, locate, locate, mark, properties, removeAttribute, removeProperty, resolve, resolve, scope, seal, seal, setLocation, setLocation, setProperty, shape, shape, toAlias, toAnnotated, toArray, toBoolean, toClass, toEnum, toEnumerator, toFunction, toInstantiated, toInteger, toInterface, toInternal, toInternalParameter, toLabel, toMethod, toNamedParameter, toPackage, toParameter, toParameterized, toPointer, toStruct, toStructOrUnion, toTagged, toTuple, toUnion, toUnit, toVariable, toVariant, toVoid, toWildcard, toWrapped, trace, wtag

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, toToken

Methods inherited from class java.lang.Object

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

Constructor Detail

FloatT

public FloatT(NumberT.Kind kind)

Create a new floating point type.

Parameters:

kind - The kind.

Throws:

java.lang.IllegalArgumentException - Signals an invalid kind.

FloatT

public FloatT(Type template,
              NumberT.Kind kind)

Create a new flaoting point type.

Parameters:

template - The type whose annotations to copy.

kind - The kind.

Throws:

java.lang.IllegalArgumentException - Signals an invalid kind.

Method Detail

copy

public FloatT 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.

tag

public Type.Tag tag()

Description copied from class: Type

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

Specified by:

tag in class Type

Returns:

This type's tag.

See Also:

Type.wtag()

isFloat

public boolean isFloat()

Description copied from class: Type

Determine whether this type is a float.

Overrides:

isFloat in class Type

Returns:

true if this type is a float.

toFloat

public FloatT toFloat()

Description copied from class: Type

Get this type as a float.

Overrides:

toFloat in class Type

Returns:

This type as a float.