de.uka.ilkd.key.java.abstraction

Interface ArrayType

All Superinterfaces:

ModelElement, NamedModelElement, ProgramModelElement, Type

All Known Implementing Classes:

ArrayDeclaration

public interface ArrayType
extends Type

A program model element representing array types.

Method Summary

Modifier and Type	Method and Description
String	getAlternativeNameRepresentation() full name of the array in alternative form, i.e.
TypeReference	getBaseType() returns the type reference to the arrays base type
int	getDimension() returns the dimension of the array
String	getFullName() full name of the array type
String	getName() name of the array type

Methods inherited from interface de.uka.ilkd.key.java.abstraction.Type

getDefaultValue

Method Detail

getBaseType

TypeReference getBaseType()

returns the type reference to the arrays base type

Returns:

the type reference to the arrays base type

getDimension

int getDimension()

returns the dimension of the array

Returns:

an int containing the array's dimension

getName

String getName()

name of the array type

Specified by:

getName in interface NamedModelElement

Returns:

the name of the model element.

getFullName

String getFullName()

full name of the array type

Specified by:

getFullName in interface ProgramModelElement

Returns:

the full name of this program model element.

getAlternativeNameRepresentation

String getAlternativeNameRepresentation()

full name of the array in alternative form, i.e. e.g. int[] instead of [I