Uses of Class
edu.ksu.cis.projects.bogor.type.Type

Packages that use Type

edu.ksu.cis.projects.bogor.ast.checker	Provides for Bogor AST checker.
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.symboltable	Provides for Bogor symbol table.
edu.ksu.cis.projects.bogor.type	Provides for Bogor types.

Uses of Type in edu.ksu.cis.projects.bogor.ast.checker

Fields in edu.ksu.cis.projects.bogor.ast.checker declared as Type

Type	Checker.CheckValueResult.naturalType Non-null.

Methods in edu.ksu.cis.projects.bogor.ast.checker that return Type

static Type	ExpChecker.checkExp(Exp node, boolean allowHighLevel, boolean inSideEffectFreeContext, Map<String,Type> bindingMap, edu.ksu.cis.projects.bogor.ast.checker.TypeChecker ttc, SymbolTable st, FSMSymbolTable fsmSt) Calculate the type of an expression.
protected Type[]	ExpChecker.inferExtTypeArguments(ExtSymbolTable st, ExtExp node, Type[] extArgTypes)

Methods in edu.ksu.cis.projects.bogor.ast.checker with parameters of type Type

protected Type[]	ExpChecker.inferExtTypeArguments(ExtSymbolTable st, ExtExp node, Type[] extArgTypes)
protected boolean	ExpChecker.inferType(HashMap<String,Type> map, Type parameterType, Type type)
protected boolean	ExpChecker.putType(HashMap<String,Type> map, String id, Type type)

Method parameters in edu.ksu.cis.projects.bogor.ast.checker with type arguments of type Type

static Type	ExpChecker.checkExp(Exp node, boolean allowHighLevel, boolean inSideEffectFreeContext, Map<String,Type> bindingMap, edu.ksu.cis.projects.bogor.ast.checker.TypeChecker ttc, SymbolTable st, FSMSymbolTable fsmSt) Calculate the type of an expression.
protected boolean	ExpChecker.inferType(HashMap<String,Type> map, Type parameterType, Type type)
protected boolean	ExpChecker.putType(HashMap<String,Type> map, String id, Type type)

Constructors in edu.ksu.cis.projects.bogor.ast.checker with parameters of type Type

Checker.CheckValueResult(Object boxedVal, Type naturalType)

Uses of Type in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module declared as Type

protected Type[]

DefaultExpEvaluator.arrayFieldTypes

Methods in edu.ksu.cis.projects.bogor.module that return Type

Type	IExtArguments.getExpType()
Type	IValueFactory.getType(IValue value) Gets the type of a value.
Type	IExtArguments.getTypeVariableArgument(int index)

Methods in edu.ksu.cis.projects.bogor.module with parameters of type Type

protected IValue	DefaultExpEvaluator.checkRange(Type type, IValue value)
protected IValue	DefaultActionTaker.checkRange(Type fromType, Type toType, IValue value)
IValue	IValueFactory.createDefaultValue(Type type) Creates a default value of a type.
IValue	DefaultExpEvaluator.evaluateCast(Type castType, Type valueType, IValue value)
IValue	IExpEvaluator.evaluateCast(Type castType, Type valueType, IValue value)
IValue	DefaultExpEvaluator.evaluateExt(String expExtId, Node node, Type[] typeVarArgs, IValue[] args)
IValue	IExpEvaluator.evaluateExt(String expExtId, Node node, Type[] typeVarArgs, IValue[] args)
IIntValue	DefaultExpEvaluator.evaluateInstanceof(IValue value, Type instanceofType)
IIntValue	IExpEvaluator.evaluateInstanceof(IValue value, Type instanceofType)
IIntValue	DefaultExpEvaluator.evaluateKindof(IValue value, Type kindofType)
IIntValue	IExpEvaluator.evaluateKindof(IValue value, Type kindofType)
IArrayValue	IValueFactory.newArrayValue(ArrayType arrayType, Type[] fieldTypes, int[] lengths) Creates an array value.
IIntValue	IValueFactory.newIntValue(Type type, int integer) Creates an integer value.

Uses of Type in edu.ksu.cis.projects.bogor.module.value

Fields in edu.ksu.cis.projects.bogor.module.value declared as Type

protected Type	UniformValueArray.baseType
protected Type[]	VariedValueArray.intElementTypes Holds the type of this array value's int value elements.
protected Type	DefaultIntValue.type Holds the type of this integer value.

Methods in edu.ksu.cis.projects.bogor.module.value that return Type

Type	DefaultArrayValue.getType()
Type	DefaultDoubleValue.getType()
Type	DefaultExpASTValue.getType()
Type	DefaultFloatValue.getType()
Type	DefaultIntValue.getType()
Type	DefaultLockValue.getType()
Type	DefaultLongValue.getType()
Type	DefaultNullValue.getType()
Type	DefaultRecordValue.getType()
Type	DefaultStringValue.getType()
Type	IValue.getType() Gets the type of this value.
Type	DefaultValueFactory.getType(IValue value)

Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type Type

IValue	DefaultValueFactory.createDefaultValue(Type type)
boolean	IValueVisitorAction.filterType(Type t)
IArrayValue	DefaultValueFactory.newArrayValue(ArrayType arrayType, Type[] fieldTypes, int[] lengths)
IIntValue	DefaultValueFactory.newIntValue(Type type, int integer)
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 Type

DefaultIntValue(Type type, int integer)
Default constructor.

Uses of Type in edu.ksu.cis.projects.bogor.symboltable

Fields in edu.ksu.cis.projects.bogor.symboltable declared as Type

protected Type	ExtSymbolTable.expType The expression type of this extension.
protected Type[]	ExtSymbolTable.paramTypes The parameter types of this extension.

Methods in edu.ksu.cis.projects.bogor.symboltable that return Type

Type	SymbolTable.getArrayFieldType(int fieldIndex) Gets the type of an array field.
Type	SymbolTable.getArrayFieldType(String fieldName) Gets the type of an array field.
Type	ExtSymbolTable.getExpType() Gets the expression type of this extension.
Type	ExtSymbolTable.getParameterType(int index) Gets the parameter type at a certain index.
Type	FSMSymbolTable.getReturnType() Gets the FSM's return type.

Methods in edu.ksu.cis.projects.bogor.symboltable that return types with arguments of type Type

Map<ASTType,Type>	SymbolTable.getASTTypeTypeTable() Gets the ast.ASTType to type.Type mapping.
Map<String,Map<String,Type>>	SymbolTable.getConstantTypeTable() Gets the mapping of a constant set definition's identifier to a table relating each entry in the set to its declared type.
Map<String,Type>	SymbolTable.getGlobalFunTable() Gets the global/fun identifier (String) to its type (Type) mapping.
ArrayList<Type>	SymbolTable.getGlobalTypes() Gets the global types (ArrayList<Type>).
Map<String,Type>	FSMSymbolTable.getLocalTable() Gets the local identifier (String) to its type (Type) mapping.
ArrayList<Type>	FSMSymbolTable.getLocalTypes() Gets the FSM's local types
ArrayList<Type>	FSMSymbolTable.getParameterTypes() Gets the FSM's parameter types.
Map<String,Type>	SymbolTable.getTypealiasTable() Gets the typealias identifier (String) to its type (Type).
Map<String,Type>	SymbolTable.getTypeExtensionTable() Gets the type extension qualified id (String) to its declaration (TypeExtensionType or PrimitiveTypeExtensionType) mapping.
IntObjectTable<Type>	SymbolTable.getTypeIdTypeTable() Gets the type id (int) to its type (Type) mapping.
Map<String,ArrayList<Type>>	SymbolTable.getVirtualParamTable() Gets the virtual table identifier (String) to its parameter types (ArrayList<Type>), excluding the receiver type.
Map<String,Type>	SymbolTable.getVirtualReturnTable() Gets the virtual table identifier (String) to its return type (Type).

Methods in edu.ksu.cis.projects.bogor.symboltable with parameters of type Type

void	SymbolTable.addArrayField(String name, Type type) Adds an array field.
void	ExtSymbolTable.setExpType(Type type) Sets the expression type of this extension.
void	FSMSymbolTable.setReturnType(Type newReturnType) Sets the FSM's return type.

Method parameters in edu.ksu.cis.projects.bogor.symboltable with type arguments of type Type

void	SymbolTable.setASTTypeTypeTable(Map<ASTType,Type> newTypeTypeTable) Sets the ast.ASTType to type.Type mapping.
void	FSMSymbolTable.setParameterTypes(ArrayList<Type> newParameterTypes) Sets the FSM's parameter types.

Constructors in edu.ksu.cis.projects.bogor.symboltable with parameters of type Type

ExtSymbolTable(boolean isAction, int extDesc, String extId, String id, String className, String[] typeVarIds, Type[] paramTypes, boolean variableParamLength)
Default constructor.

Uses of Type in edu.ksu.cis.projects.bogor.type

Subclasses of Type in edu.ksu.cis.projects.bogor.type

class	ArrayType Represents an array type.
class	BooleanType Represents the boolean type.
class	DoubleType Represents the int type.
class	EnumType Represents an enum type.
class	FloatType Represents the float type.
class	FunType Represents a functional type.
class	IntegralType Represents an integral type.
class	IntRangeType Represents an int range type.
class	IntType Represents the int type.
class	LockType Represents the lock type.
class	LongRangeType Represents an long range type.
class	LongType Represents the long type.
class	NonPrimitiveExtType Represents the non-primitive type extension type.
class	NonPrimitiveType Represents a non-primitive type.
class	NullType Represents the null type.
class	PrimitiveExtType
class	PrimitiveType Represents a primitive type.
class	PrimitiveTypeExtensionType Represents a primitive type extension type.
class	RealType Represents a real type.
class	RecordType Represents a record type.
class	StringType Represents the string type.
class	ThreadIdType Represents the thread id type.
class	TypeExtensionType Represents a type extension type.
class	TypeVar Represents a type variable.
class	UnknownType Represents the unknown type.
class	VoidType Represents the void type.

Methods in edu.ksu.cis.projects.bogor.type that return Type

Type	ArrayType.getBaseType() Gets the base type.
Type	RecordType.getFieldType(int fieldIndex) Gets the type of a field.
Type	RecordType.getFieldType(String fieldName) Gets the type of a field.
Type	FunType.getParamType(int index) Gets the parameter type at a certain index.
Type	FunType.getReturnType() Gets the return type of this functional type.
Type	NonPrimitiveExtType.getTypeArg(int index) Gets the type argument at a certain index.
Type	PrimitiveExtType.getTypeArg(int index) Gets the type argument at a certain index.
Type	TypeFactory.instantiate(Type type, Map<String,Type> typeVarTypeTable) Instantiate a type.

Methods in edu.ksu.cis.projects.bogor.type that return types with arguments of type Type

Set<Type>

TypeFactory.getTypeSet() Gets a set of types created/returned from this factory.

Methods in edu.ksu.cis.projects.bogor.type with parameters of type Type

void	RecordType.addField(String name, Type type, boolean isTransient) Adds a field.
ArrayType	TypeFactory.getArrayType(Type baseType, int rank) Gets an array type.
NonPrimitiveExtType	TypeFactory.getExtType(String id, Type[] argTypes) Gets an ext type.
FunType	TypeFactory.getFunType(Type[] paramTypes, Type returnType) Gets a fun type.
FunType	TypeFactory.getFunType(Type[] paramTypes, Type returnType) Gets a fun type.
PrimitiveExtType	TypeFactory.getPrimitiveExtType(String id, Type[] argTypes) Gets a primitive ext type.
Type	TypeFactory.instantiate(Type type, Map<String,Type> typeVarTypeTable) Instantiate a type.
void	TypeFactory.remove(Type type) Removes a type from the cache.

Method parameters in edu.ksu.cis.projects.bogor.type with type arguments of type Type

Type	TypeFactory.instantiate(Type type, Map<String,Type> typeVarTypeTable) Instantiate a type.

Constructors in edu.ksu.cis.projects.bogor.type with parameters of type Type

ArrayType(Type baseType, int rank)
Default constructor.

FunType(Type[] paramTypes, Type returnType)
Default constructor.

FunType(Type[] paramTypes, Type returnType)
Default constructor.

NonPrimitiveExtType(String id, Type[] typeArgs)
Default constructor.

PrimitiveExtType(String id, Type[] paramTypes)
Default constructor.