|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ArrayType | |
|---|---|
| edu.ksu.cis.projects.bogor.module | Provide a generic framework for dataflow analysis on BIR transition systems. |
| edu.ksu.cis.projects.bogor.module.value | Provides for Bogor values. |
| edu.ksu.cis.projects.bogor.type | Provides for Bogor types. |
| Uses of ArrayType in edu.ksu.cis.projects.bogor.module |
|---|
| Methods in edu.ksu.cis.projects.bogor.module with parameters of type ArrayType | |
|---|---|
IArrayValue |
DefaultExpEvaluator.evaluateCast(ArrayType castType,
IArrayValue value)
|
IArrayValue |
IExpEvaluator.evaluateCast(ArrayType castType,
IArrayValue value)
|
IArrayValue |
DefaultExpEvaluator.evaluateNewArray(ArrayType arrayType,
IValue[] lengths)
|
IArrayValue |
IExpEvaluator.evaluateNewArray(ArrayType arrayType,
IValue[] lengths)
|
IArrayValue |
IValueFactory.newArrayValue(ArrayType arrayType,
Type[] fieldTypes,
int[] lengths)
Creates an array value. |
| Uses of ArrayType in edu.ksu.cis.projects.bogor.module.value |
|---|
| Fields in edu.ksu.cis.projects.bogor.module.value declared as ArrayType | |
|---|---|
protected ArrayType |
DefaultArrayValue.type
The array type of this array value. |
| Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type ArrayType | |
|---|---|
IArrayValue |
DefaultValueFactory.newArrayValue(ArrayType arrayType,
Type[] fieldTypes,
int[] lengths)
|
protected IValue |
DefaultValueFactory.recurseNewArrayValue(ArrayType arrayType,
Type[] fieldTypes,
int[] lengths,
int i)
Creates an array value given for each dimension's length. |
| Constructors in edu.ksu.cis.projects.bogor.module.value with parameters of type ArrayType | |
|---|---|
DefaultArrayValue(IValueFactory vf,
int referenceId,
ArrayType type,
IValueArray elementValues,
IValueArray fieldValues,
ILockValue lockValue)
Default constructor. |
|
| Uses of ArrayType in edu.ksu.cis.projects.bogor.type |
|---|
| Methods in edu.ksu.cis.projects.bogor.type that return ArrayType | |
|---|---|
ArrayType |
TypeFactory.getArrayType(Type baseType,
int rank)
Gets an array type. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||