Uses of Class
gnu.bytecode.Type

Packages that use Type

Package	Description
gnu.bytecode	Contains classes to generate, read, write, and print Java bytecode in the form of .class files.
gnu.expr	Supports Expression, and various related classes need to compile programming languages.
gnu.kawa.functions
gnu.kawa.lispexpr
gnu.kawa.reflect	Contains classes to use reflection.
gnu.kawa.xml
gnu.mapping	Supports Procedure, and various related classes needed at run-time by dynamically typed languages (such as Scheme and ECMAScript).
gnu.xquery.lang
gnu.xquery.util
kawa.lang
kawa.standard

Uses of Type in gnu.bytecode

Subclasses of Type in gnu.bytecode

Modifier and Type	Class	Description
class	ArrayType
class	ClassType
class	ObjectType	Semi-abstract class object reference types.
class	ParameterizedType
class	PrimType
class	SpecialObjectType	Used for object types that don't correspond to JVM types.
class	TypeVariable	A type variable in a parameterized type.
class	UninitializedType	A pseudo-type used for allocated but uninitialized objects.

Fields in gnu.bytecode declared as Type

Modifier and Type	Field	Description
Type	ArrayType.elements
static final Type	Type.neverReturnsType	The return type of an expression that never returns, such as a throw.
Type[]	CodeAttr.stack_types
static final Type[]	Type.typeArray0

Methods in gnu.bytecode that return Type

Modifier and Type	Method	Description
Type	ArrayType.getComponentType()
Type	ArrayType.getImplementationType()
Type	SpecialObjectType.getImplementationType()
Type	Type.getImplementationType()	Return Java-level implementation type.
Type	UninitializedType.getImplementationType()
final Type[]	Method.getParameterTypes()
Type	ArrayType.getRawType()
Type	Type.getRawType()	Return JVM-level implementation type.
Type	SpecialObjectType.getRealType()
Type	Type.getRealType()	If this is a type alias, get the aliased type.
final Type	Method.getReturnType()
Type	Field.getType()
Type	Location.getType()
static Type	Type.getType(String name)	Find an Type with the given name, or create a new one.
Type	ParameterizedType.getTypeArgumentType(int index)
Type[]	ParameterizedType.getTypeArgumentTypes()
static Type	Type.lookupType(String name)
static Type	Type.lowestCommonSharedType(Type t1, Type t2)
static Type	Type.lowestCommonSuperType(Type t1, Type t2)	Computes the common supertype Interfaces are not taken into account.
static Type	Type.make(Class reflectClass)
static Type	Type.make(Class reflectClass, Type type)	Try to map java.lang.reflect.Type to gnu.bytecode.Type.
final Type	CodeAttr.popType()
Type	Type.promote()
Type	PrimType.promotedType()
Type	Type.promoteIfUnsigned()
static Type	Type.signatureToType(String sig)	Get a Type corresponding to the given signature string.
static Type	Type.signatureToType(String sig, int off, int len)	Get a Type corresponding to the given signature string.
final Type	CodeAttr.topType()

Methods in gnu.bytecode with parameters of type Type

Modifier and Type	Method	Description
final Field	ClassType.addField(String name, Type type)
final Field	ClassType.addField(String name, Type type, int flags)
Variable	CodeAttr.addLocal(Type type)	Add a new local variable (in the current scope).
Variable	CodeAttr.addLocal(Type type, String name)	Add a new local variable (in the current scope).
void	AnnotationEntry.addMember(String name, Object value, Type type)
Method	ClassType.addMethod(String name, int flags, Type[] arg_types, Type return_type)	Add a method to this ClassType.
Method	ClassType.addMethod(String name, Type[] arg_types, Type return_type, int flags)
Variable	Scope.addVariable(CodeAttr code, Type type, String name)
static AnnotationEntry.Value	AnnotationEntry.asAnnotationValue(Object val, Type type)
static boolean	CodeAttr.castNeeded(Type top, Type required)
int	ArrayType.compare(Type other)
int	ClassType.compare(Type other)
int	ObjectType.compare(Type other)
int	ParameterizedType.compare(Type other)
int	PrimType.compare(Type other)
int	SpecialObjectType.compare(Type other)
abstract int	Type.compare(Type other)	Return a numeric code showing "subtype" relationship: 1: if other is a pure subtype of this; 0: if has the same values; -1: if this is a pure subtype of other; -2: if they have values in common but neither is a subtype of the other; -3: if the types have no values in common.
int	TypeVariable.compare(Type other)
void	Method.compile_checkcast(Type type)
void	CodeAttr.emitArrayLoad(Type element_type)	Load an element from an array.
void	CodeAttr.emitArrayStore(Type element_type)	Store into an element of an array.
void	CodeAttr.emitBinop(int base_code, Type type)
void	CodeAttr.emitCheckcast(Type type)
void	Type.emitConvertFromPrimitive(Type stackType, CodeAttr code)	Convert from stackType (usually PrimType) to this type.
void	CodeAttr.emitDup(Type type)
void	CodeAttr.emitInstanceof(Type type)
void	CodeAttr.emitNewArray(Type element_type)
void	CodeAttr.emitNewArray(Type element_type, int dims)	Compile code to allocate a new array.
final void	CodeAttr.emitNot(Type type)	Compile 'not', assuming 0 or 1 is on the JVM stack.
void	CodeAttr.emitPrimop(int opcode, int arg_count, Type retType)
final void	CodeAttr.emitPushConstant(int val, Type type)
void	CodeAttr.emitPushDefaultValue(Type type)	Push zero or null as appropriate for the given type.
void	CodeAttr.emitTryStart(boolean has_finally, Type result_type)
final void	CodeAttr.fixUnsigned(Type stackType)
Method	ClassType.getDeclaredMethod(String name, Type[] arg_types)	Look for a matching method.
Method[]	ClassType.getMatchingMethods(String name, Type[] paramTypes, int flags)
Method	ClassType.getMethod(String name, Type[] arg_types)	Looks for a method matching the name and types.
Method	ObjectType.getMethod(String name, Type[] arg_types)
Method	SpecialObjectType.getMethod(String name, Type[] arg_types)
int	ArrayType.isCompatibleWithValue(Type valueType)
int	ClassType.isCompatibleWithValue(Type valueType)
int	Type.isCompatibleWithValue(Type valueType)	If this is the target type, is a given source type compatible?
static int	Type.isCompatibleWithValue(Type targetType, Type valueType)
static boolean	Type.isMoreSpecific(Type[] t1, Type[] t2)	Return true iff t1[i].isSubtype(t2[i]) for all i.
static boolean	Type.isSame(Type t1, Type t2)
final boolean	Type.isSubtype(Type other)	Return true if this is a "subtype" of other.
static Type	Type.lowestCommonSharedType(Type t1, Type t2)
static Type	Type.lowestCommonSuperType(Type t1, Type t2)	Computes the common supertype Interfaces are not taken into account.
static ArrayType	ArrayType.make(Type elements)	Find or create an ArrayType for the specified element type.
static String	Method.makeGenericSignature(Type[] arg_types, Type return_type)
static String	Method.makeSignature(Type[] arg_types, Type return_type)
void	Method.maybe_compile_checkcast(Type type)
void	CodeAttr.noteVarType(int offset, Type type)
final void	ClassTypeWriter.printSignature(Type type)
final void	CodeAttr.pushType(Type type)
static void	Type.registerTypeForClass(Class clas, Type type)	Register that the Type for class is type.
final void	Method.setReturnType(Type type)
final void	Location.setType(Type type)
final void	CodeAttr.setTypes(Type[] labelLocals, Type[] labelStack)	Set the current type state from a label.
ExitableBlock	CodeAttr.startExitableBlock(Type resultType, boolean runFinallyBlocks)	Enter a block which can be exited.
static PrimType	PrimType.unboxedType(Type type)

Constructors in gnu.bytecode with parameters of type Type

Modifier	Constructor	Description
	ArrayType(Type elements)
	ParameterizedType(ClassType rawType, Type... typeArgumentTypes)
	Type(Type type)
	Value(char kind, Type type, Object value)
	Variable(String name, Type type)

Uses of Type in gnu.expr

Subclasses of Type in gnu.expr

Modifier and Type	Class	Description
static class	InlineCalls.LenientExpectedType	New helper Type class, used for "lenient" conversions.
static class	InlineCalls.ProcedureInCallContext
static class	InlineCalls.ValueNeededType	A marker type to indicate that void is invalid.
class	PairClassType	A class type implemented as a pair of an interface and a class.

Fields in gnu.expr declared as Type

Modifier and Type	Field	Description
static Type[]	Compilation.apply0args
static Type[]	Compilation.apply1args
static Type[]	Compilation.apply2args
static Type[]	Compilation.applyNargs
static final Type[]	Compilation.int1Args
Type	LambdaExp.returnType	If non-null, the type of values returned by this function.
static final Type[]	Compilation.string1Arg
static final Type[]	Compilation.sym1Arg
Type	Declaration.type	The type of the value of this Declaration.
protected Type	Expression.type
Type	Literal.type

Methods in gnu.expr that return Type

Modifier and Type	Method	Description
Type	Compilation.asBooleanValue(ConditionalTarget target, Type stackType)	Hook for language-specific handling in ConditionalTarget.
final Type	Language.asType(Object spec)	"Coerce" a language-specific "type specifier" object to a Type.
protected Type	CaseExp.calculateDatumsType()	Computes the union type of the case expression datums.
protected Type	ApplyExp.calculateType()
protected Type	BeginExp.calculateType()
protected Type	CaseExp.calculateType()
protected Type	ClassExp.calculateType()	The ClassType generated for this class.
protected Type	ExitExp.calculateType()
protected Type	Expression.calculateType()
protected Type	IfExp.calculateType()
protected Type	LambdaExp.calculateType()
protected final Type	LetExp.calculateType()
protected Type	ObjectExp.calculateType()
protected final Type	QuoteExp.calculateType()
protected Type	ReferenceExp.calculateType()
protected final Type	SetExp.calculateType()
protected final Type	ThisExp.calculateType()
protected Type	TryExp.calculateType()
Type	Language.decodeType(Type javaType, String annotType, ParameterizedType parameterizedType)
static Type	PrimProcedure.decodeType(Type javaType, String[] annotTypes, int annotIndex, ParameterizedType parameterizedType, Language lang)
static Type	StackTarget.forceLazy(Compilation comp, Type stackType, Type type)
static Type	StackTarget.forceLazyIfNeeded(Compilation comp, Type stackType, Type type)
Type	Declaration.getImplementationType()
Type	InlineCalls.ProcedureInCallContext.getImplementationType()
Type	InlineCalls.ValueNeededType.getImplementationType()
Type	TypeValue.getImplementationType()	The lower-level Type used to represent instances of this type.
final Type	Language.getLangTypeFor(Type type)
Type	Language.getNamedType(String name)	Get the corresponding Type for a given name.
Type	PrimProcedure.getParameterType(int index)
final Type[]	PrimProcedure.getParameterTypes()
final Type	QuoteExp.getRawType()
final Type	LambdaExp.getReturnType()	The return type of this function, i.e the type of its returned values.
Type	PrimProcedure.getReturnType()
Type	PrimProcedure.getReturnType(Expression[] args)
Type	ConditionalTarget.getType()
Type	ConsumerTarget.getType()
final Type	Declaration.getType()
final Type	Expression.getType()	Return the Type used to represent the values of this Expression.
Type	IgnoreTarget.getType()
Type	StackTarget.getType()
abstract Type	Target.getType()
final Type	Language.getTypeFor(Expression exp)
Type	Language.getTypeFor(Expression exp, boolean lenient)	Interpreting exp as a type specifier, get the actual type.
Type	Language.getTypeFor(Class clas)
Type	Language.getTypeFor(Object spec, boolean lenient)	Convert a "type value" to a Type.
Type	Language.getTypeFor(String name)
final Type	Expression.getTypeRaw()
Type	Declaration.loadFieldLocation(Declaration owner, Compilation comp)
static Type	InlineCalls.ValueNeededType.make(Type type)
final Type	LambdaExp.restArgType()	Return the parameter type of the "keyword/rest" parameters.
static Type	InlineCalls.typeForCalledFunction(Expression exp)	Return a required type for procedure application context.
static Type	Language.unionType(Type t1, Type t2)

Methods in gnu.expr with parameters of type Type

Modifier and Type	Method	Description
final Declaration	ScopeExp.addDeclaration(Object name, Type type)	Create a new declaration in the current Scope.
Field	Compilation.allocLocalField(Type type, String name)
Type	Compilation.asBooleanValue(ConditionalTarget target, Type stackType)	Hook for language-specific handling in ConditionalTarget.
Expression	InlineCalls.checkType(Expression exp, Type required)
int	InlineCalls.LenientExpectedType.compare(Type other)
int	InlineCalls.ProcedureInCallContext.compare(Type other)
int	InlineCalls.ValueNeededType.compare(Type other)
final void	Expression.compile(Compilation comp, Type type)
void	ConditionalTarget.compileFromStack(Compilation comp, Type stackType)
void	ConsumerTarget.compileFromStack(Compilation comp, Type stackType)
void	IgnoreTarget.compileFromStack(Compilation comp, Type stackType)
void	StackTarget.compileFromStack(Compilation comp, Type stackType)
abstract void	Target.compileFromStack(Compilation comp, Type stackType)
protected boolean	StackTarget.compileFromStack0(Compilation comp, Type stackType)
static void	PrimProcedure.compileInvoke(Compilation comp, Method method, Target target, boolean isTailCall, int op_code, Type returnType, boolean doFixUnsigned)	Emit the actual invoke operation, after arguments have been pushed.
static final void	PrimProcedure.compileRestArg(Type arg_type, ApplyExp exp, int startArg, int i, Compilation comp)
static void	StackTarget.convert(Compilation comp, Type stackType, Type targetType)
Type	Language.decodeType(Type javaType, String annotType, ParameterizedType parameterizedType)
static Type	PrimProcedure.decodeType(Type javaType, String[] annotTypes, int annotIndex, ParameterizedType parameterizedType, Language lang)
static void	CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type stackType, Type type, Variable argValue)
static void	CheckedTarget.emitCheckedCoerce(Compilation comp, String procname, int argno, Type type)
protected static void	StackTarget.emitCoerceFromObject(Type type, Compilation comp)
String	Language.encodeType(Type type)	Encode this type as a parseable string.
protected Method	ClassExp.findMethodForBridge(String mname, Type[] ptypes, Type rtype)	Finds a like-named method suitable for bridging the given arg/return types (i.e.
static Type	StackTarget.forceLazy(Compilation comp, Type stackType, Type type)
static Type	StackTarget.forceLazyIfNeeded(Compilation comp, Type stackType, Type type)
String	Language.formatType(Type type)
final void	ClassExp.generateBridgeMethod(Compilation comp, Method src_method, Type[] bridge_arg_types, Type bridge_return_type)	Given an existing method and a desired bridge method signature, generates an appropriate bridge method.
protected StackTarget	CheckedTarget.getClonedInstance(Type type)
protected StackTarget	StackTarget.getClonedInstance(Type type)
static Target	CheckedTarget.getInstance(Type type)
static Target	CheckedTarget.getInstance(Type type, LambdaExp proc, int argno)
static Target	CheckedTarget.getInstance(Type type, String procname, int argno)
static Target	StackTarget.getInstance(Type type)
final Type	Language.getLangTypeFor(Type type)
static PrimProcedure	PrimProcedure.getMethodFor(ClassType procClass, String name, Declaration decl, Type[] atypes, Language language)
static PrimProcedure	PrimProcedure.getMethodFor(Procedure pproc, Declaration decl, Type[] atypes, Language language)
static Target	StackTarget.getTruncatingInstance(Type type)
int	GenericProc.isApplicable(Type[] args, Type restType)
int	PrimProcedure.isApplicable(Type[] argTypes, Type restType)
static int	InlineCalls.isCompatibleWithValue(Type required, Type expType)
int	InlineCalls.LenientExpectedType.isCompatibleWithValue(Type valueType)
Declaration	Compilation.letVariable(Object name, Type type, Expression init)
Declaration	Compilation.loopVariable(Object name, Type type, Expression init)	Add a new loop variable, with initializer.
static InlineCalls.LenientExpectedType	InlineCalls.LenientExpectedType.make(Type type)
static Type	InlineCalls.ValueNeededType.make(Type type)
static PrimProcedure	PrimProcedure.makeBuiltinBinary(int opcode, Type type)
static PrimProcedure	PrimProcedure.makeBuiltinUnary(int opcode, Type type)
static ApplyExp	Compilation.makeCoercion(Expression value, Type type)	Convenience method to make an Expression that coerces a value.
static Target	ConsumerTarget.makeContextTarget(Compilation comp, Type type)	Make a Target that uses the current CallContext's current Consumer.
static QuoteExp	QuoteExp.makeShared(Object value, Type type)
Expression	InlineCalls.maybeInline(ApplyExp exp, Type required, Procedure proc)
static void	LambdaExp.maybeSetReturnType(LambdaExp lexp, Type type)
static Target	Target.pushValue(Type type)	Return a Target to push a value of specified type on JCM stack.
final void	LambdaExp.setCoercedReturnType(Type returnType)
final void	LambdaExp.setReturnType(Type returnType)
void	PrimProcedure.setReturnType(Type retType)
final void	Declaration.setType(Type type)
final void	Declaration.setType(Expression typeExp, Type type)
void	Expression.setType(Type type)
void	QuoteExp.setType(Type type)
static Type	Language.unionType(Type t1, Type t2)
void	Compilation.usedClass(Type type)	Called for classes referenced in bytecode.
Expression	Expression.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)	Apply inlining transformations on a given ApplyExp.
Expression	LambdaExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression	QuoteExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression	ReferenceExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression	InlineCalls.visit(Expression exp, Type required)
protected Expression	InlineCalls.visitApplyExp(ApplyExp exp, Type required)
final Expression	InlineCalls.visitApplyOnly(ApplyExp exp, Type required)	Visit an ApplyExp assuming function and arguments have been visited.
protected Expression	InlineCalls.visitBeginExp(BeginExp exp, Type required)
protected Expression	InlineCalls.visitCaseExp(CaseExp exp, Type required)
protected Expression	InlineCalls.visitClassExp(ClassExp exp, Type required)
void	InlineCalls.visitDefaultArgs(LambdaExp exp, Type required)
protected Expression	InlineCalls.visitFluidLetExp(FluidLetExp exp, Type required)
protected Expression	InlineCalls.visitIfExp(IfExp exp, Type required)
protected Expression	InlineCalls.visitLambdaExp(LambdaExp exp, Type required)
protected Expression	InlineCalls.visitLetExp(LetExp exp, Type required)
protected Expression	InlineCalls.visitModuleExp(ModuleExp exp, Type required)
protected Expression	InlineCalls.visitQuoteExp(QuoteExp exp, Type required)
protected Expression	InlineCalls.visitReferenceExp(ReferenceExp exp, Type required)
protected Expression	InlineCalls.visitScopeExp(ScopeExp exp, Type required)
protected Expression	InlineCalls.visitSetExp(SetExp exp, Type required)
protected Expression	InlineCalls.visitTryExp(TryExp exp, Type required)

Constructors in gnu.expr with parameters of type Type

Modifier	Constructor	Description
	CatchClause(Object name, Type type, Expression body)
	CheckedTarget(Type type)
	CheckedTarget(Type type, LambdaExp proc, int argno)
	CheckedTarget(Type type, String procname, int argno)
	ConsumerTarget(Variable consumer, Type type)
	Declaration(Object name, Type type)
	Literal(Object value, Type type, LitTable litTable)
	PrimProcedure(int op_code, ClassType classtype, String name, Type retType, Type[] argTypes)
	PrimProcedure(int opcode, Type retType, Type[] argTypes)
	PrimProcedure(Method method, Type retType, Type[] argTypes)
	QuoteExp(Object val, Type type)
	StackTarget(Type type)

Uses of Type in gnu.kawa.functions

Methods in gnu.kawa.functions that return Type

Modifier and Type	Method	Description
protected Type	CurryExp.calculateType()
static Type	CompileArith.combineType(Type t1, Type t2)
Type	CallCC.getReturnType(Expression[] args)
Type	CompileArith.getReturnType(Expression[] args)
Type	GetModuleClass.getReturnType(Expression[] args)
Type	MakeList.getReturnType(Expression[] args)
Type	ValuesMap.getReturnType(Expression[] args)
static Type	Arithmetic.kindType(int kind)

Methods in gnu.kawa.functions with parameters of type Type

Modifier and Type	Method	Description
static int	Arithmetic.classifyType(Type type)
static Type	CompileArith.combineType(Type t1, Type t2)
static void	MakeSplice.copyTo(Object target, int start, int size, Object values, Type elementType)
static Object	GetNamedPart.getTypePart(Type type, String name)
static Expression	CompileNamedPart.makeExp(Type type, String member)
Expression	CurryExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
static Expression	CompileMisc.validateApplyAppendValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArith.validateApplyArithOp(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyCallCC(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyConstantFunction0(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyConvert(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyFormat(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)	Validate-apply handling for "format".
static Expression	CompileMisc.validateApplyMakeDynamic(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyMakeProcedure(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyMakePromise(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileProcess.validateApplyRunProcess(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)	Type-check and optimize RunProcess (i.e.
static Expression	CompileMisc.validateApplySimpleBoolean(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompilationHelpers.validateApplyToArgs(ApplyExp exp, InlineCalls visitor, Type required, Procedure applyToArgs)
static Expression	CompileMisc.validateApplyValuesMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyWithExceptionHandler(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileValues.validateApplyWithValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileValues.validateCallWithValues(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateGetNamedInstancePart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateGetNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompilationHelpers.validateIsEqv(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateNamedPartSetter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateSetNamedInstancePart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileNamedPart.validateSetNamedPart(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompilationHelpers.validateSetter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)

Uses of Type in gnu.kawa.lispexpr

Subclasses of Type in gnu.kawa.lispexpr

Modifier and Type	Class	Description
class	GenArrayType	Type of multi-dimensional arrays.
class	LangObjType	A wrapper around a class type.
class	LangPrimType	Use to implement some special types that convert differently.
class	SeqSizeType	This matches a sequences of a specific length.

Methods in gnu.kawa.lispexpr that return Type

Modifier and Type	Method	Description
static Type	LangObjType.coerceToType(Object obj)
static Type	LangObjType.coerceToTypeOrNull(Object type)
static Type	LispLanguage.decodeArrayType(String name)
Type	GenArrayType.getComponentType()
Type	LangObjType.getElementType()
Type	GenArrayType.getImplementationType()
Type	LangPrimType.getImplementationType()
Type	LispLanguage.getNamedType(String name)
Type	LispLanguage.getPackageStyleType(String name)	Try to get a type of the form lang:type.
Type	LispLanguage.getTypeFor(Class clas)
Type	LispLanguage.getTypeFor(Object spec, boolean lenient)

Methods in gnu.kawa.lispexpr that return types with arguments of type Type

Modifier and Type	Method	Description
protected HashMap<String,Type>	LispLanguage.getTypeMap()

Methods in gnu.kawa.lispexpr with parameters of type Type

Modifier and Type	Method	Description
int	GenArrayType.compare(Type other)
int	LangObjType.compare(Type other)
int	LangPrimType.compare(Type other)
int	SeqSizeType.compare(Type other)
void	LangObjType.emitConvertFromPrimitive(Type stackType, CodeAttr code)
static void	LangPrimType.emitTestIfNumber(Variable incoming, Declaration decl, Type type, Compilation comp)
int	LangObjType.isCompatibleWithValue(Type valueType)
int	LangPrimType.isCompatibleWithValue(Type valueType)
int	SeqSizeType.isCompatibleWithValue(Type valueType)
void	ReadTable.putReaderCtor(String key, Type type)	Add a mapping for a SRFI-10 constructor tag.

Constructors in gnu.kawa.lispexpr with parameters of type Type

Modifier	Constructor	Description
	GenArrayType(int rank, Type elementType)

Uses of Type in gnu.kawa.reflect

Subclasses of Type in gnu.kawa.reflect

Modifier and Type	Class	Description
class	LazyType	The type of lazy values - i.e.
class	MappedArrayType	An array type where elements are copied from a sequence.
class	MultValuesType
class	OccurrenceType	A type that matches some number of repetitions of a basetype.
class	SingletonType

Fields in gnu.kawa.reflect declared as Type

Modifier and Type	Field	Description
static final Type	OccurrenceType.emptySequenceType

Methods in gnu.kawa.reflect that return Type

Modifier and Type	Method	Description
static Type	MultValuesType.create(Type[] itemTypes)
Type	OccurrenceType.getBase()
Type	MappedArrayType.getComponentType()
Type	FieldLocation.getFType()	Get the type of the field.
Type	LazyType.getImplementationType()
Type	MappedArrayType.getImplementationType()
Type	MultValuesType.getImplementationType()
Type	OccurrenceType.getImplementationType()
Type	SingletonType.getImplementationType()
static Type	OccurrenceType.getInstance(Type base, int minOccurs, int maxOccurs)
Type	LazyType.getRawType()
Type	MappedArrayType.getRealType()
Type	InstanceOf.getReturnType(Expression[] args)
Type	StaticGet.getReturnType(Expression[] args)
Type	StaticSet.getReturnType(Expression[] args)
Type	TypeSwitch.getReturnType(Expression[] args)
Type	LazyType.getValueType()
Type	MultValuesType.getValueType(int index)
static Type	OccurrenceType.itemPrimeType(Type type)	XQuery formal semantics "prime type"
static Type	MappedArrayType.maybe(Type type, int nesting)

Methods in gnu.kawa.reflect with parameters of type Type

Modifier and Type	Method	Description
static int	CompileReflect.checkKnownClass(Type type, Compilation comp)	Check if class exists.
int	LazyType.compare(Type other)
int	MultValuesType.compare(Type other)
int	OccurrenceType.compare(Type other)
int	SingletonType.compare(Type other)
static int	OccurrenceType.compatibleWithCount(Type type, int count)
static Type	MultValuesType.create(Type[] itemTypes)
static void	CompileArrays.createArray(Type elementType, Compilation comp, Expression[] args, int start, int end)	Optimized code generation of array creation with splicing support.
static ArrayMake	ArrayMake.getInstance(Type elementType)
static LazyType	LazyType.getInstance(ClassType rawType, Type valueType)
static Type	OccurrenceType.getInstance(Type base, int minOccurs, int maxOccurs)
static LazyType	LazyType.getLazyType(Type valueType)
static LazyType	LazyType.getPromiseType(Type valueType)
protected void	CompileBuildObject.init(ApplyExp exp, InlineCalls visitor, Type required, ObjectType ctype, ClassType caller)
int	MappedArrayType.isCompatibleWithValue(Type valueType)
int	MultValuesType.isCompatibleWithValue(Type valueType)
static char	OccurrenceType.itemCountCode(Type type)	Returna a quantifer kind for a sequence type.
static boolean	OccurrenceType.itemCountIsOne(Type type)
static boolean	OccurrenceType.itemCountIsZeroOrOne(Type type)
static int	OccurrenceType.itemCountMax(Type type)
static int	OccurrenceType.itemCountMin(Type type)
static int	OccurrenceType.itemCountRange(Type type)	Return a conservative estimate on the min/max number of items of a type.
static Type	OccurrenceType.itemPrimeType(Type type)	XQuery formal semantics "prime type"
static CompileBuildObject	CompileBuildObject.make(ApplyExp exp, InlineCalls visitor, Type required, ObjectType ctype, ClassType caller)
static Type	MappedArrayType.maybe(Type type, int nesting)
static boolean	LazyType.maybeLazy(Type type)
static long	ClassMethods.selectApplicable(PrimProcedure[] methods, Type[] atypes, Type restType)	Re-order the methods such that the ones that are definite applicable (all argtypes is subset of parameter type) are first; those possibly applicable next (argtype overlaps parameter types); and ending with those definitely not applicable (some argtype does overlap its parameter type).
protected void	OccurrenceType.setBase(Type base)
static Expression	MakeAnnotation.validate(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplyInstanceOf(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileInvoke.validateApplyInvoke(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplySlotGet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplySlotSet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileReflect.validateApplyTypeSwitch(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArrayGet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArrayLength(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArrayNew(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileArrays.validateArraySet(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileInvoke.validateNamedInvoke(ApplyExp exp, InlineCalls visitor, ObjectType type, String name, PrimProcedure[] methods, Invoke iproc, Type required)
static Expression	CompileReflect.validateThrow(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)

Constructors in gnu.kawa.reflect with parameters of type Type

Modifier	Constructor	Description
	ArrayGet(Type element_type)
	ArrayLength(Type element_type)
	ArrayMake(Type elementType)
	ArrayNew(Type element_type)
	ArraySet(Type element_type)
	LazyType(ClassType rawType, Type valueType)
	MappedArrayType(Type elementType)
	MultValuesType(Type[] itemTypes)
	OccurrenceType(Type base, int minOccurs, int maxOccurs)
	StaticGet(ClassType ctype, String name, Type ftype, int flags)
	StaticSet(ClassType ctype, String name, Type ftype, int flags)

Uses of Type in gnu.kawa.xml

Subclasses of Type in gnu.kawa.xml

Modifier and Type	Class	Description
class	AttributeType	Matches an attribute name pattern.
class	ElementType
class	NodeSetType
class	NodeType	A SeqPosition used to represent a node in (usually) a TreeList.
class	ProcessingInstructionType
class	XDataType	An atomic type as used in XML Schema and related languages.
class	XIntegerType	A restriction (sub-range) of the integer type.
class	XStringType
class	XTimeType

Methods in gnu.kawa.xml that return Type

Modifier and Type	Method	Description
Type	AttributeType.getImplementationType()
Type	ElementType.getImplementationType()
Type	NodeType.getImplementationType()
Type	ProcessingInstructionType.getImplementationType()
Type	XDataType.getImplementationType()
static Type	NodeSetType.getInstance(Type base)
Type	CoerceNodes.getReturnType(Expression[] args)
Type	MakeAttribute.getReturnType(Expression[] args)
Type	MakeElement.getReturnType(Expression[] args)
Type	NodeConstructor.getReturnType(Expression[] args)
Type	SortNodes.getReturnType(Expression[] args)
Type	UnionNodes.getReturnType(Expression[] args)

Methods in gnu.kawa.xml with parameters of type Type

Modifier and Type	Method	Description
int	NodeType.compare(Type other)
int	XDataType.compare(Type other)
static Type	NodeSetType.getInstance(Type base)
static Expression	CompileXmlFunctions.validateApplyMakeUnescapedData(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileXmlFunctions.validateApplyTreeScanner(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)

Constructors in gnu.kawa.xml with parameters of type Type

Modifier	Constructor	Description
	NodeSetType(Type itemType)
	XDataType(Object name, Type implementationType, int typeCode)

Uses of Type in gnu.mapping

Methods in gnu.mapping that return Type

Modifier and Type	Method	Description
Type	MethodProc.getParameterType(int index)
Type	Procedure.getReturnType(Expression[] args)	Semi-deprecated - instead should be set at Inline time.

Methods in gnu.mapping with parameters of type Type

Modifier and Type	Method	Description
int	MethodProc.isApplicable(Type[] argTypes, Type restType)	Test if method is applicable to an invocation with given arguments.

Constructors in gnu.mapping with parameters of type Type

Modifier	Constructor	Description
	WrongType(int n, Object argValue, Type expectedType)
	WrongType(Procedure proc, int n, Object argValue, Type expectedType)

Uses of Type in gnu.xquery.lang

Methods in gnu.xquery.lang that return Type

Modifier and Type	Method	Description
Type	XQuery.getStandardType(String name)
Type	XQuery.getTypeFor(Class clas)
Type	XQuery.getTypeFor(String name)

Methods in gnu.xquery.lang with parameters of type Type

Modifier and Type	Method	Description
String	XQuery.formatType(Type type)

Uses of Type in gnu.xquery.util

Methods in gnu.xquery.util that return Type

Modifier and Type	Method	Description
Type	OrderedMap.getReturnType(Expression[] args)
Type	RelativeStep.getReturnType(Expression[] args)
Type	ValuesFilter.getReturnType(Expression[] args)

Methods in gnu.xquery.util with parameters of type Type

Modifier and Type	Method	Description
static Expression	CompileMisc.validateApplyCastableAs(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyCastAs(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyOrderedMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyRelativeStep(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
static Expression	CompileMisc.validateApplyValuesFilter(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)	Inliner for the ValuesFilter procedure.
static Expression	CompileMisc.validateArithOp(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)	Inliner for the ArithOp procedure.
static Expression	CompileMisc.validateBooleanValue(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)	Inliner for the BooleanValue procedure.
static Expression	CompileMisc.validateCompare(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)	Inliner for the Compare procedure.

Uses of Type in kawa.lang

Fields in kawa.lang declared as Type

Modifier and Type	Field	Description
Type	BindDecls.booleanType

Methods in kawa.lang that return Type

Modifier and Type	Method	Description
Type	Translator.exp2Type(Pair typeSpecPair)	Extract a type from the car of a pair.
Type	Translator.exp2Type(Pair typeSpecPair, Declaration decl, SyntaxForm syntax)
Type	GetFieldProc.getReturnType(Expression[] args)
Type	SetFieldProc.getReturnType(Expression[] args)

Constructors in kawa.lang with parameters of type Type

Modifier	Constructor	Description
	GetFieldProc(ClassType ctype, String name, Type ftype, int flags)
	SetFieldProc(ClassType ctype, String name, Type ftype, int flags)

Uses of Type in kawa.standard

Methods in kawa.standard that return Type

Modifier and Type	Method	Description
static Type	Scheme.exp2Type(Expression exp)	Convert expression to a Type.
static Type	Scheme.getTypeValue(Expression exp)	If exp is a "constant" Type, return that type, otherwise return null.

Methods in kawa.standard that return types with arguments of type Type

Modifier and Type	Method	Description
protected HashMap<String,Type>	Scheme.getTypeMap()

Methods in kawa.standard with parameters of type Type

Modifier and Type	Method	Description
String	Scheme.formatType(Type type)