Uses of Record Class
pascal.taie.language.type.ArrayType

Packages that use ArrayType

Package	Description
pascal.taie.ir.exp
pascal.taie.language.type	Provides model of Java type system.

Uses of ArrayType in pascal.taie.ir.exp

Methods in pascal.taie.ir.exp that return ArrayType

Modifier and Type	Method	Description
ArrayType	NewArray.getType()
ArrayType	NewMultiArray.getType()

Constructors in pascal.taie.ir.exp with parameters of type ArrayType

Modifier	Constructor	Description
	NewArray(ArrayType type, Var length)
	NewMultiArray(ArrayType type, List<Var> lengths)

Uses of ArrayType in pascal.taie.language.type

Methods in pascal.taie.language.type that return ArrayType

Modifier and Type	Method	Description
ArrayType	TypeSystem.getArrayType(Type baseType, int dimensions)
ArrayType	TypeSystemImpl.getArrayType(Type baseType, int dim)