com.sun.tools.javac.code

Class Type.MethodType [ source ]

java.lang.Object

com.sun.tools.javac.code.Type

com.sun.tools.javac.code.Type.MethodType

All Implemented Interfaces:

Cloneable, ExecutableType, PrimitiveType, TypeMirror

Enclosing class:

Type

public static class Type.MethodType
extends Type
implements Cloneable, ExecutableType

Nested Class Summary

Nested classes/interfaces inherited from class com.sun.tools.javac.code.Type

Type.ArrayType, Type.BottomType, Type.CapturedType, Type.ClassType, Type.DelegatedType, Type.ErrorType, Type.ForAll, Type.JCNoType, Type.Mapping, Type.MethodType, Type.PackageType, Type.TypeVar, Type.UndetVar, Type.Visitor<R,S>, Type.WildcardType

Field Summary

Fields

Modifier and Type	Field and Description
List<Type>	argtypes
Type	restype
List<Type>	thrown

Fields inherited from class com.sun.tools.javac.code.Type

moreInfo, noType, tag, tsym

Constructor Summary

Constructors

Constructor and Description
Type.MethodType(List<Type> argtypes, Type restype, List<Type> thrown, Symbol.TypeSymbol methodClass)

Method Summary

Methods

Modifier and Type	Method and Description
<R,S> R	accept(Type.Visitor<R,S> v, S s)
<R,P> R	accept(TypeVisitor<R,P> v, P p) Applies a visitor to this type.
Symbol.TypeSymbol	asElement()
Type.MethodType	asMethodType() The underlying method type of this type.
void	complete() Complete loading all classes in this type.
boolean	contains(Type elem) Does this type contain occurrences of type t?
boolean	equals(Object obj) This method is analogous to isSameType, but weaker, since we never complete classes.
TypeKind	getKind() Returns the kind of this type.
List<Type>	getParameterTypes() Returns the types of this executable's formal parameters.
Type	getReturnType() Returns the return type of this executable.
List<Type>	getThrownTypes() Returns the exceptions and other throwables listed in this executable's throws clause.
List<Type.TypeVar>	getTypeVariables() Returns the type variables declared by the formal type parameters of this executable.
int	hashCode() Returns a hash code value for the object.
boolean	isErroneous() Does this type contain "error" elements?
Type	map(Type.Mapping f) map a type function over all immediate descendants of this type
void	setThrown(List<Type> t)
String	toString() The Java source which this type represents.

Methods inherited from class com.sun.tools.javac.code.Type

allparams, argtypes, baseType, baseTypes, clone, constType, constValue, contains, containsSome, getEnclosingType, getLowerBound, getTypeArguments, getUpperBound, isCompound, isErroneous, isExtendsBound, isFalse, isInterface, isParameterized, isPrimitive, isRaw, isSuperBound, isTrue, isUnbound, map, removeBounds, removeBounds, stringValue, toString, withTypeVar

Methods inherited from class java.lang.Object

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

Field Detail

argtypes

public List<Type> argtypes

restype

public Type restype

thrown

public List<Type> thrown

Constructor Detail

Type.MethodType

public Type.MethodType(List<Type> argtypes,
               Type restype,
               List<Type> thrown,
               Symbol.TypeSymbol methodClass)

Method Detail

accept

public <R,S> R accept(Type.Visitor<R,S> v,
             S s)

Overrides:

accept in class Type

toString

public String toString()

The Java source which this type represents. XXX 06/09/99 iris This isn't correct Java syntax, but it probably should be.

Specified by:

toString in interface TypeMirror

Overrides:

toString in class Type

Returns:

a string representation of the object.

equals

public boolean equals(Object obj)

Description copied from class: Type

This method is analogous to isSameType, but weaker, since we never complete classes. Where isSameType would complete a class, equals assumes that the two types are different.

Specified by:

equals in interface TypeMirror

Overrides:

equals in class Type

Parameters:

obj - the reference object with which to compare.

Returns:

true if this object is the same as the obj argument; false otherwise.

See Also:

Object.hashCode(), Hashtable

hashCode

public int hashCode()

Description copied from class: Object

Returns a hash code value for the object. This method is supported for the benefit of hashtables such as those provided by java.util.Hashtable.

The general contract of hashCode is:

• Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
• If two objects are equal according to the equals(Object) method, then calling the hashCode method on each of the two objects must produce the same integer result.
• It is not required that if two objects are unequal according to the Object.equals(java.lang.Object) method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hashtables.

As much as is reasonably practical, the hashCode method defined by class Object does return distinct integers for distinct objects. (This is typically implemented by converting the internal address of the object into an integer, but this implementation technique is not required by the Java^TM programming language.)

Specified by:

hashCode in interface TypeMirror

Overrides:

hashCode in class Type

Returns:

a hash code value for this object.

See Also:

Object.equals(java.lang.Object), Hashtable

getParameterTypes

public List<Type> getParameterTypes()

Description copied from interface: ExecutableType

Returns the types of this executable's formal parameters.

Specified by:

getParameterTypes in interface ExecutableType

Overrides:

getParameterTypes in class Type

Returns:

the types of this executable's formal parameters, or an empty list if there are none

getReturnType

public Type getReturnType()

Description copied from interface: ExecutableType

Returns the return type of this executable. Returns a NoType with kind VOID if this executable is not a method, or is a method that does not return a value.

Specified by:

getReturnType in interface ExecutableType

Overrides:

getReturnType in class Type

Returns:

the return type of this executable

getThrownTypes

public List<Type> getThrownTypes()

Description copied from interface: ExecutableType

Returns the exceptions and other throwables listed in this executable's throws clause.

Specified by:

getThrownTypes in interface ExecutableType

Overrides:

getThrownTypes in class Type

Returns:

the exceptions and other throwables listed in this executable's throws clause, or an empty list if there are none.

setThrown

public void setThrown(List<Type> t)

Overrides:

setThrown in class Type

isErroneous

public boolean isErroneous()

Description copied from class: Type

Does this type contain "error" elements?

Overrides:

isErroneous in class Type

map

public Type map(Type.Mapping f)

Description copied from class: Type

map a type function over all immediate descendants of this type

Overrides:

map in class Type

contains

public boolean contains(Type elem)

Description copied from class: Type

Does this type contain occurrences of type t?

Overrides:

contains in class Type

asMethodType

public Type.MethodType asMethodType()

Description copied from class: Type

The underlying method type of this type.

Overrides:

asMethodType in class Type

complete

public void complete()

Description copied from class: Type

Complete loading all classes in this type.

Overrides:

complete in class Type

getTypeVariables

public List<Type.TypeVar> getTypeVariables()

Description copied from interface: ExecutableType

Returns the type variables declared by the formal type parameters of this executable.

Specified by:

getTypeVariables in interface ExecutableType

Returns:

the type variables declared by the formal type parameters, or an empty list if there are none

asElement

public Symbol.TypeSymbol asElement()

Overrides:

asElement in class Type

getKind

public TypeKind getKind()

Description copied from interface: TypeMirror

Returns the kind of this type.

Specified by:

getKind in interface TypeMirror

Overrides:

getKind in class Type

Returns:

the kind of this type

accept

public <R,P> R accept(TypeVisitor<R,P> v,
             P p)

Description copied from interface: TypeMirror

Applies a visitor to this type.

Specified by:

accept in interface TypeMirror

Overrides:

accept in class Type

Type Parameters:

R - the return type of the visitor's methods

P - the type of the additional parameter to the visitor's methods

Parameters:

v - the visitor operating on this type

p - additional parameter to the visitor

Returns:

a visitor-specified result