xtc.type
Class InternalParameter

java.lang.Object
  xtc.tree.Node
      xtc.type.Type
          xtc.type.Parameter
              xtc.type.InternalParameter

All Implemented Interfaces:

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

public class InternalParameter
extends Parameter

An internal parameter.

Version:

$Revision: 1.1 $

Author:

Robert Grimm

Nested Class Summary

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

Type.Tag

Constructor Summary

InternalParameter()
Create a new internal parameter.

InternalParameter(Type template)
Create a new internal parameter.

Method Summary

InternalParameter	copy() Create a deep copy of this type.
boolean	equals(java.lang.Object o)
int	hashCode()
boolean	isInternalParameter() Determine whether this type is an internal parameter.
Type.Tag	tag() Get this type's tag.
InternalParameter	toInternalParameter() Get this type as an internal parameter.
java.lang.String	toString() Return a human readable representation of this node.
void	write(java.lang.Appendable out) Write a human readable representation to the specified appendable.

Methods inherited from class xtc.type.Parameter

bind, isParameter, lookup, toParameter

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, isFloat, isFunction, isInstantiated, isInteger, isInterface, isInternal, isLabel, isMethod, isNamedParameter, isNumber, isPackage, 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, toFloat, toFunction, toInstantiated, toInteger, toInterface, toInternal, toLabel, toMethod, toNamedParameter, toNumber, toPackage, 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

InternalParameter

public InternalParameter()

Create a new internal parameter.

InternalParameter

public InternalParameter(Type template)

Create a new internal parameter.

Parameters:

template - The type whose annotations to copy.

Method Detail

copy

public InternalParameter 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()

isInternalParameter

public boolean isInternalParameter()

Description copied from class: Type

Determine whether this type is an internal parameter.

Overrides:

isInternalParameter in class Type

Returns:

true if this type is an internal parameter.

toInternalParameter

public InternalParameter toInternalParameter()

Description copied from class: Type

Get this type as an internal parameter.

Overrides:

toInternalParameter in class Type

Returns:

This type as an internal parameter.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

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.

toString

public java.lang.String toString()

Description copied from class: Node

Return a human readable representation of this node. The default implementation creates a new string builder, writes this node to the builder, and then returns the corresponding string. Subclasses should typically override Node.write(Appendable).

Overrides:

toString in class Node

Returns:

A human readable representation.