---

ArrayType Class Reference

Inheritance diagram for ArrayType:[legend]Collaboration diagram for ArrayType:[legend]List of all members.

Public Methods
	ArrayType (byte type, int dimensions)
	ArrayType (Type type, int dimensions)
	ArrayType (String class_name, int dimensions)
boolean	equals (Object type)
Type	getBasicType ()
int	getDimensions ()
Type	getElementType ()
void	apply (Switch sw)
boolean	equals (Object t)
int	hashCode ()
String	toString ()
	ArrayType (byte type, int dimensions)
	ArrayType (Type type, int dimensions)
	ArrayType (String class_name, int dimensions)
boolean	equals (Object type)
Type	getBasicType ()
int	getDimensions ()
Type	getElementType ()
int	hashcode ()
	ArrayType (Type baseType, int nDimensions)
String	getFullyQualifiedName ()
Name	getName ()
boolean	isValidNarrowingConversion (Type otherType)
boolean	isValidWideningConversion (Type otherType)
Static Public Methods
ArrayType	v (BaseType baseType, int numDimensions)
Public Attributes
final BaseType	baseType
final int	numDimensions
final Type	baseType
int	nDimensions
Field	length
Private Methods
	ArrayType (BaseType baseType, int numDimensions)
Private Attributes
int	dimensions
Type	basic_type

---

Detailed Description

Denotes array type, such as int[][]

Version:

Id:

ArrayType.java,v 1.1.1.1 2002/01/24 03:44:05 pserver Exp

Author:

M. Dahm

Definition at line 9 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

---

Constructor & Destructor Documentation

ArrayType::ArrayType (  byte   type, int   dimensions )  [inline]

Convenience constructor for array type, e.g. int[] Parameters: type   array type, e.g. T_INT Definition at line 18 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

ArrayType::ArrayType (  Type   type, int   dimensions )  [inline]

Constructor for array of given type Parameters: type   type of array (may be an array itself) Definition at line 26 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

ArrayType::ArrayType (  String   class_name, int   dimensions )  [inline]

Convenience constructor for reference array type, e.g. Object[] Parameters: class_name   complete name of class (java.lang.String, e.g.) Definition at line 61 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

ArrayType::ArrayType (  byte   type, int   dimensions )  [inline]

Convenience constructor for array type, e.g. int[] Parameters: type   array type, e.g. T_INT Definition at line 20 of file src/de/fub/bytecode/generic/ArrayType.java.

ArrayType::ArrayType (  Type   type, int   dimensions )  [inline]

Constructor for array of given type Parameters: type   type of array (may be an array itself) Definition at line 28 of file src/de/fub/bytecode/generic/ArrayType.java.

ArrayType::ArrayType (  String   class_name, int   dimensions )  [inline]

Convenience constructor for reference array type, e.g. Object[] Parameters: class_name   complete name of class (java.lang.String, e.g.) Definition at line 63 of file src/de/fub/bytecode/generic/ArrayType.java.

ArrayType::ArrayType (  Type   baseType, int   nDimensions )  [inline]

Parameters: baseType   edu.ksu.cis.bandera.jjjc.symboltable.Type nDimensions   int Definition at line 47 of file src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java.

---

Member Function Documentation

boolean ArrayType::equals (  Object   type )  [inline]

Returns: true if both type objects refer to the same array type. Reimplemented from Type. Definition at line 68 of file src/de/fub/bytecode/generic/ArrayType.java.

boolean ArrayType::equals (  Object   t )  [inline]

Returns: boolean Parameters: otherType   java.lang.Object Reimplemented from Type. Definition at line 98 of file src/ca/mcgill/sable/soot/ArrayType.java.

boolean ArrayType::equals (  Object   type )  [inline]

Returns: boolean Parameters: otherType   java.lang.Object Reimplemented from Type. Definition at line 64 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java. Referenced by ClassTokenArray::getCanonicalArrayTypeInstance().

Type ArrayType::getBasicType (    )  [inline]

Returns: basic type of array, i.e., for int[][][] the basic type is int Definition at line 78 of file src/de/fub/bytecode/generic/ArrayType.java.

Type ArrayType::getBasicType (    )  [inline]

Returns: basic type of array, i.e. for int[][][] the basic type is int Definition at line 75 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

int ArrayType::getDimensions (    )  [inline]

Returns: number of dimensions of array Definition at line 83 of file src/de/fub/bytecode/generic/ArrayType.java.

int ArrayType::getDimensions (    )  [inline]

Returns: number of dimensions of array Definition at line 81 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

Type ArrayType::getElementType (    )  [inline]

Returns: element type of array, i.e., for int[][][] the element type is int[][] Definition at line 87 of file src/de/fub/bytecode/generic/ArrayType.java.

Type ArrayType::getElementType (    )  [inline]

Returns: element type of array, i.e. for int[][][] the element type is int[][] Definition at line 85 of file lib/jpf/de/fub/bytecode/generic/ArrayType.java.

String ArrayType::getFullyQualifiedName (    )  [inline, virtual]

Returns: java.lang.String Reimplemented from Type. Definition at line 62 of file src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java.

Name ArrayType::getName (    )  [inline]

Returns: edu.ksu.cis.bandera.jjjc.symboltable.Name Reimplemented from Type. Definition at line 74 of file src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java.

int ArrayType::hashcode (    )  [inline]

Returns: a hash code value for the object. Definition at line 95 of file src/de/fub/bytecode/generic/ArrayType.java.

boolean ArrayType::isValidNarrowingConversion (  Type   otherType )  [inline, virtual]

Returns: boolean Parameters: otherType   edu.ksu.cis.bandera.jjjc.symboltable.Type Reimplemented from Type. Definition at line 82 of file src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java.

boolean ArrayType::isValidWideningConversion (  Type   otherType )  [inline, virtual]

Returns: boolean Parameters: otherType   edu.ksu.cis.bandera.jjjc.symboltable.Type Reimplemented from Type. Definition at line 94 of file src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java.

String ArrayType::toString (    )  [inline]

Returns: Type string, e.g. `int[]' Reimplemented from ReferenceType. Definition at line 114 of file src/ca/mcgill/sable/soot/ArrayType.java.

---

Member Data Documentation

final BaseType ArrayType::baseType

baseType can be any type except for an array type and void Definition at line 86 of file src/ca/mcgill/sable/soot/ArrayType.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/de/fub/bytecode/generic/ArrayType.java
• src/ca/mcgill/sable/soot/ArrayType.java
• src/de/fub/bytecode/generic/ArrayType.java
• src/edu/ksu/cis/bandera/jjjc/symboltable/ArrayType.java

---