Uses of Class
koala.dynamicjava.tree.TypeName

Packages that use TypeName

edu.rice.cs.dynamicjava.interpreter
koala.dynamicjava.interpreter	Contains the classes for interpreting Java language statements.
koala.dynamicjava.parser.impl
koala.dynamicjava.tree
koala.dynamicjava.tree.tiger

Uses of TypeName in edu.rice.cs.dynamicjava.interpreter

Methods in edu.rice.cs.dynamicjava.interpreter with parameters of type TypeName

Type	TypeNameChecker.check(TypeName t) Get the type corresponding to t; verify that it is well-formed.
Type	TypeNameChecker.checkStructure(TypeName t) Get the type corresponding to t; verify that it is structurally well-formed, but delay full well-formedness checking until a later TypeNameChecker.ensureWellFormed(koala.dynamicjava.tree.TypeName) call.
void	TypeNameChecker.ensureWellFormed(TypeName t) Verify that a TypeName that has already been checked is well-formed (according to TypeSystem.isWellFormed(edu.rice.cs.dynamicjava.symbol.type.Type)).

Method parameters in edu.rice.cs.dynamicjava.interpreter with type arguments of type TypeName

java.lang.Iterable<Type>	TypeNameChecker.checkList(java.lang.Iterable<? extends TypeName> l) Invoke TypeNameChecker.check(koala.dynamicjava.tree.TypeName) on each element of a list.
java.lang.Iterable<Type>	TypeNameChecker.checkStructureForList(java.lang.Iterable<? extends TypeName> l) Invoke TypeNameChecker.checkStructure(koala.dynamicjava.tree.TypeName) on each element of a list.
void	TypeNameChecker.ensureWellFormedList(java.lang.Iterable<? extends TypeName> l) Invoke TypeNameChecker.ensureWellFormed(koala.dynamicjava.tree.TypeName) on each element of a list.

Uses of TypeName in koala.dynamicjava.interpreter

Methods in koala.dynamicjava.interpreter that return TypeName

static TypeName	TypeUtil.makeEmptyTypeName()
static TypeName	TypeUtil.makeEmptyTypeName(Node location)

Uses of TypeName in koala.dynamicjava.parser.impl

Methods in koala.dynamicjava.parser.impl that return TypeName

TypeName	Parser.resultType() Used internally to parse types
TypeName	Parser.type() Used internally to parse types
TypeName	Parser.TypeArgument()

Methods in koala.dynamicjava.parser.impl that return types with arguments of type TypeName

Option<java.util.List<TypeName>>	Parser.optionalTypeArguments()
java.util.List<TypeName>	Parser.typeArguments()

Uses of TypeName in koala.dynamicjava.tree

Subclasses of TypeName in koala.dynamicjava.tree

class	ArrayTypeName This class represents the array type nodes of the syntax tree
class	BooleanTypeName This class represents the boolean type nodes of the syntax tree
class	ByteTypeName This class represents the byte type nodes of the syntax tree
class	CharTypeName This class represents the char type nodes of the syntax tree
class	DoubleTypeName This class represents the double type nodes of the syntax tree
class	FloatTypeName This class represents the float type nodes of the syntax tree
class	IntTypeName This class represents the int type nodes of the syntax tree
class	LongTypeName This class represents the long type nodes of the syntax tree
class	PrimitiveTypeName This class represents the primitive type nodes of the syntax tree
class	ReferenceTypeName This class represents the reference type nodes of the syntax tree
class	ShortTypeName This class represents the short type nodes of the syntax tree
class	VoidTypeName This class represents the void type nodes of the syntax tree

Methods in koala.dynamicjava.tree that return TypeName

TypeName	ArrayInitializer.getElementType() Returns the element type, or null if it's not set
TypeName	ArrayAllocation.getElementType() Returns the creation type
TypeName	ArrayTypeName.getElementType() Returns the type of the elements of the arrays represented by this type
TypeName	StaticMethodCall.getMethodType() Returns the type on which this method call applies
TypeName	InstanceOfExpression.getReferenceType() Returns the type to check
TypeName	MethodDeclaration.getReturnType() Gets the return type of this method
TypeName	CastExpression.getTargetType() Returns the target type
TypeName	VariableDeclaration.getType() Gets the declared type for this variable
TypeName	TypeExpression.getType() Returns the type represented by this expression
TypeName	FieldDeclaration.getType() Gets the declared type for this field
TypeName	FormalParameter.getType() Returns the declaring type of this parameter

Methods in koala.dynamicjava.tree that return types with arguments of type TypeName

Option<java.util.List<TypeName>>	InnerAllocation.getClassTypeArgs()
Option<java.util.List<TypeName>>	SimpleAllocation.getTypeArgs()
Option<java.util.List<TypeName>>	MethodCall.getTypeArgs()
Option<java.util.List<TypeName>>	InnerAllocation.getTypeArgs()

Methods in koala.dynamicjava.tree with parameters of type TypeName

void	ArrayInitializer.setElementType(TypeName t) Sets the element type.
void	ArrayAllocation.setElementType(TypeName t) Sets the creation type
void	ArrayTypeName.setElementType(TypeName t) Sets the type of the elements of the arrays represented by this type
void	InstanceOfExpression.setReferenceType(TypeName t) Sets the type to check
void	MethodDeclaration.setReturnType(TypeName t) Sets the return type of this method
void	CastExpression.setTargetType(TypeName t) Sets the target type
void	VariableDeclaration.setType(TypeName t) Sets the type of this field
void	FieldDeclaration.setType(TypeName t) Sets the type of this field
void	FormalParameter.setType(TypeName t) Sets the type of this parameter

Method parameters in koala.dynamicjava.tree with type arguments of type TypeName

void	InnerAllocation.setClassTypeArgs(java.util.List<TypeName> ctargs)
void	InnerAllocation.setClassTypeArgs(Option<java.util.List<TypeName>> ctargs)
void	SimpleAllocation.setTypeArgs(java.util.List<TypeName> targs)
void	MethodCall.setTypeArgs(java.util.List<TypeName> targs)
void	InnerAllocation.setTypeArgs(java.util.List<TypeName> targs)
void	SimpleAllocation.setTypeArgs(Option<java.util.List<TypeName>> targs)
void	MethodCall.setTypeArgs(Option<java.util.List<TypeName>> targs)
void	InnerAllocation.setTypeArgs(Option<java.util.List<TypeName>> targs)

Constructors in koala.dynamicjava.tree with parameters of type TypeName

ArrayAllocation(TypeName tp, ArrayAllocation.TypeDescriptor td)
Initializes the expression

ArrayAllocation(TypeName tp, ArrayAllocation.TypeDescriptor td, SourceInfo si)
Initializes the expression

ArrayTypeName(TypeName et, int dim, boolean varg)
Initializes the type

ArrayTypeName(TypeName et, int dim, boolean varg, SourceInfo si)
Initializes the type

CastExpression(TypeName tt, Expression exp)
Initializes the expression

CastExpression(TypeName tt, Expression exp, SourceInfo si)
Initializes the expression

FieldDeclaration(ModifierSet mods, TypeName type, java.lang.String name, Expression init)
Creates a new field declaration

FieldDeclaration(ModifierSet mods, TypeName type, java.lang.String name, Expression init, SourceInfo si)
Creates a new field declaration

FormalParameter(ModifierSet mods, TypeName t, java.lang.String n)
Initializes the node

FormalParameter(ModifierSet mods, TypeName t, java.lang.String n, SourceInfo si)
Initializes the node

InstanceOfExpression(Expression exp, TypeName t)
Initializes the expression

InstanceOfExpression(Expression exp, TypeName t, SourceInfo si)
Initializes the expression

MethodDeclaration(ModifierSet mods, Option<java.util.List<TypeParameter>> tparams, TypeName type, java.lang.String name, java.util.List<FormalParameter> params, java.util.List<? extends ReferenceTypeName> excepts, BlockStatement body)
Creates a new method declaration

MethodDeclaration(ModifierSet mods, Option<java.util.List<TypeParameter>> tparams, TypeName type, java.lang.String name, java.util.List<FormalParameter> params, java.util.List<? extends ReferenceTypeName> excepts, BlockStatement body, SourceInfo si)
Creates a new method declaration

MethodDeclaration(ModifierSet mods, TypeName type, java.lang.String name, java.util.List<FormalParameter> params, java.util.List<? extends ReferenceTypeName> excepts, BlockStatement body)
Creates a new method declaration

MethodDeclaration(ModifierSet mods, TypeName type, java.lang.String name, java.util.List<FormalParameter> params, java.util.List<? extends ReferenceTypeName> excepts, BlockStatement body, SourceInfo si)
Creates a new method declaration

StaticMethodCall(TypeName typ, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args)
Creates a new node.

StaticMethodCall(TypeName typ, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args, SourceInfo si)
Creates a new node

StaticMethodCall(TypeName typ, java.lang.String mn, java.util.List<? extends Expression> args)
Creates a new node.

StaticMethodCall(TypeName typ, java.lang.String mn, java.util.List<? extends Expression> args, SourceInfo si)
Creates a new node

TypeExpression(TypeName t)
Initializes the expression

TypeExpression(TypeName t, SourceInfo si)
Initializes the expression

VariableDeclaration(ModifierSet mods, TypeName type, java.lang.String name, Expression init)
Creates a new variable declaration

VariableDeclaration(ModifierSet mods, TypeName type, java.lang.String name, Expression init, SourceInfo si)
Creates a new variable declaration

Constructor parameters in koala.dynamicjava.tree with type arguments of type TypeName

AnonymousAllocation(Option<java.util.List<TypeName>> targs, ReferenceTypeName tp, java.util.List<? extends Expression> args, java.util.List<Node> memb)
Initializes the expression

AnonymousAllocation(Option<java.util.List<TypeName>> targs, ReferenceTypeName tp, java.util.List<? extends Expression> args, java.util.List<Node> memb, SourceInfo si)
Initializes the expression

AnonymousInnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, java.util.List<Node> memb)
Initializes the expression

AnonymousInnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, java.util.List<Node> memb)
Initializes the expression

AnonymousInnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, java.util.List<Node> memb, SourceInfo si)
Initializes the expression

AnonymousInnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, java.util.List<Node> memb, SourceInfo si)
Initializes the expression

InnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args)
Initializes the expression

InnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args)
Initializes the expression

InnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, SourceInfo si)
Initializes the expression

InnerAllocation(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, SourceInfo si)
Initializes the expression

InnerAllocation(Expression exp, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args)
Initializes the expression

InnerAllocation(Expression exp, java.lang.String cn, Option<java.util.List<TypeName>> ctargs, java.util.List<? extends Expression> args, SourceInfo si)
Initializes the expression

MethodCall(Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args, SourceInfo si)
Creates a new node

ObjectMethodCall(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args)
Creates a new node

ObjectMethodCall(Expression exp, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args, SourceInfo si)
Creates a new node

SimpleAllocation(Option<java.util.List<TypeName>> targs, ReferenceTypeName tp, java.util.List<? extends Expression> args)
Initializes the expression

SimpleAllocation(Option<java.util.List<TypeName>> targs, ReferenceTypeName tp, java.util.List<? extends Expression> args, SourceInfo si)
Initializes the expression

SimpleMethodCall(Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<Expression> args, SourceInfo si)
Creates a new node

StaticMethodCall(TypeName typ, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args)
Creates a new node.

StaticMethodCall(TypeName typ, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args, SourceInfo si)
Creates a new node

SuperMethodCall(Option<java.lang.String> cn, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args)

SuperMethodCall(Option<java.lang.String> cn, Option<java.util.List<TypeName>> targs, java.lang.String mn, java.util.List<? extends Expression> args, SourceInfo si)

Uses of TypeName in koala.dynamicjava.tree.tiger

Subclasses of TypeName in koala.dynamicjava.tree.tiger

class	GenericReferenceTypeName This class represents a generic reference type
class	HookTypeName This class represents the HookTypeName (?) nodes of the syntax tree
class	TypeParameter Class TypeParameter, a component of the DynamicJava composite hierarchy.

Methods in koala.dynamicjava.tree.tiger that return types with arguments of type TypeName

Option<TypeName>	HookTypeName.getLowerBound()
java.util.List<? extends java.util.List<? extends TypeName>>	GenericReferenceTypeName.getTypeArguments()
Option<TypeName>	HookTypeName.getUpperBound()

Constructor parameters in koala.dynamicjava.tree.tiger with type arguments of type TypeName

GenericReferenceTypeName(java.util.List<? extends IdentifierToken> ids, java.util.List<? extends java.util.List<? extends TypeName>> typeArgs)
Initializes the type

GenericReferenceTypeName(java.util.List<? extends IdentifierToken> ids, java.util.List<? extends java.util.List<? extends TypeName>> typeArgs, SourceInfo si)
Initializes the type

HookTypeName(Option<TypeName> up, Option<TypeName> low)
Initializes the type

HookTypeName(Option<TypeName> up, Option<TypeName> low)
Initializes the type

HookTypeName(Option<TypeName> up, Option<TypeName> low, SourceInfo si)
Initializes the type

HookTypeName(Option<TypeName> up, Option<TypeName> low, SourceInfo si)
Initializes the type