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.commonlisp.lang
gnu.expr	Supports Expression, and various related classes need to compile programming languages.
gnu.jemacs.lang	Contains classes to implement the Emacs Lisp language.
gnu.kawa.functions	Various core run-time functions and operators.
gnu.kawa.lispexpr	Support classes for compiling and running Lisp languages.
gnu.kawa.reflect	Contains classes to use reflection.
gnu.kawa.xml	Classes for using XML within Kawa.
gnu.mapping	Supports Procedure, and various related classes needed at run-time by dynamically typed languages (such as Scheme and ECMAScript).
gnu.q2.lang	Support for the experimental Q2 language.
gnu.xquery.lang
gnu.xquery.util
kawa.lang	Core Kawa classes for Scheme and Lisp compile-time.
kawa.standard	Primitive Scheme syntax and functions.

Uses of Type in gnu.bytecode

Subclasses of Type in gnu.bytecode

Modifier and Type	Class and 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 and Description
Type	ArrayType.elements
static Type	Type.neverReturnsType The return type of an expression that never returns, such as a throw.
Type[]	CodeAttr.stack_types
static Type[]	Type.typeArray0

Methods in gnu.bytecode that return Type

Modifier and Type	Method and Description
Type	ArrayType.getComponentType()
Type	Type.getImplementationType() Return Java-level implementation type.
Type	UninitializedType.getImplementationType()
Type	SpecialObjectType.getImplementationType()
Type	ArrayType.getImplementationType()
Type[]	Method.getParameterTypes()
Type	Type.getRawType() Return JVM-level implementation type.
Type	ArrayType.getRawType()
Type	Type.getRealType() If this is a type alias, get the aliased type.
Type	SpecialObjectType.getRealType()
Type	Method.getReturnType()
Type	Field.getType()
Type	Location.getType()
static Type	Type.getType(java.lang.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(java.lang.String name)
static Type	Type.lowestCommonSuperType(Type t1, Type t2) Computes the common supertype Interfaces are not taken into account.
static Type	Type.make(java.lang.Class reflectClass)
static Type	Type.make(java.lang.Class reflectClass, java.lang.reflect.Type type) Try to map java.lang.reflect.Type to gnu.bytecode.Type.
Type	CodeAttr.popType()
Type	Type.promote()
Type	PrimType.promotedType()
static Type	Type.signatureToType(java.lang.String sig) Get a Type corresponding to the given signature string.
static Type	Type.signatureToType(java.lang.String sig, int off, int len) Get a Type corresponding to the given signature string.
Type	CodeAttr.topType()

Methods in gnu.bytecode with parameters of type Type

Modifier and Type	Method and Description
Field	ClassType.addField(java.lang.String name, Type type)
Field	ClassType.addField(java.lang.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, java.lang.String name) Add a new local variable (in the current scope).
void	AnnotationEntry.addMember(java.lang.String name, java.lang.Object value, Type type)
Method	ClassType.addMethod(java.lang.String name, int flags, Type[] arg_types, Type return_type) Add a method to this ClassType.
Method	ClassType.addMethod(java.lang.String name, int flags, Type[] arg_types, Type return_type) Add a method to this ClassType.
Method	ClassType.addMethod(java.lang.String name, Type[] arg_types, Type return_type, int flags)
Method	ClassType.addMethod(java.lang.String name, Type[] arg_types, Type return_type, int flags)
Variable	Scope.addVariable(CodeAttr code, Type type, java.lang.String name)
static AnnotationEntry.Value	AnnotationEntry.asAnnotationValue(java.lang.Object val, Type type)
static boolean	CodeAttr.castNeeded(Type top, Type required)
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	ObjectType.compare(Type other)
int	SpecialObjectType.compare(Type other)
int	ArrayType.compare(Type other)
int	PrimType.compare(Type other)
int	ClassType.compare(Type other)
int	TypeVariable.compare(Type other)
int	ParameterizedType.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.
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)
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)
void	CodeAttr.fixUnsigned(Type stackType)
Method	ClassType.getDeclaredMethod(java.lang.String name, Type[] arg_types) Look for a matching method.
Method[]	ClassType.getMatchingMethods(java.lang.String name, Type[] paramTypes, int flags)
Method	ObjectType.getMethod(java.lang.String name, Type[] arg_types)
Method	SpecialObjectType.getMethod(java.lang.String name, Type[] arg_types)
Method	ClassType.getMethod(java.lang.String name, Type[] arg_types) Looks for a method matching the name and types.
int	Type.isCompatibleWithValue(Type valueType) If this is the target type, is a given source type compatible? Return -1 if no; 1 if yes; 0 if need to check at run-time.
int	ArrayType.isCompatibleWithValue(Type valueType)
int	ClassType.isCompatibleWithValue(Type valueType)
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.isMoreSpecific(Type[] t1, Type[] t2) Return true iff t1[i].isSubtype(t2[i]) for all i.
boolean	Type.isSubtype(Type other) Return true if this is a "subtype" of other.
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 Method	Method.makeCloneMethod(Type returnType) Make a generic "clone" method.
static java.lang.String	Method.makeGenericSignature(Type[] arg_types, Type return_type)
static java.lang.String	Method.makeGenericSignature(Type[] arg_types, Type return_type)
static java.lang.String	Method.makeSignature(Type[] arg_types, Type return_type)
static java.lang.String	Method.makeSignature(Type[] arg_types, Type return_type)
void	Method.maybe_compile_checkcast(Type type)
void	CodeAttr.noteVarType(int offset, Type type)
void	ClassTypeWriter.printSignature(Type type)
void	CodeAttr.pushType(Type type)
static void	Type.registerTypeForClass(java.lang.Class clas, Type type) Register that the Type for class is type.
void	Method.setReturnType(Type type)
void	Location.setType(Type type)
void	CodeAttr.setTypes(Type[] labelLocals, Type[] labelStack) Set the current type state from a label.
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

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

Uses of Type in gnu.commonlisp.lang

Methods in gnu.commonlisp.lang that return Type

Modifier and Type	Method and Description
Type	Lisp2Compilation.asBooleanValue(ConditionalTarget target, Type stackType)
Type	CommonLisp.getNamedType(java.lang.String name)
Type	CommonLisp.getTypeFor(java.lang.Class clas)
Type	CommonLisp.getTypeFor(java.lang.String name)

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

Modifier and Type	Method and Description
Type	Lisp2Compilation.asBooleanValue(ConditionalTarget target, Type stackType)

Uses of Type in gnu.expr

Subclasses of Type in gnu.expr

Modifier and Type	Class and 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 and Description
static Type[]	Compilation.apply0args
static Type[]	Compilation.apply1args
static Type[]	Compilation.apply2args
static Type[]	Compilation.applyNargs
static Type[]	Compilation.int1Args
Type	LambdaExp.returnType If non-null, the type of values returned by this function.
static Type[]	Compilation.string1Arg
static Type[]	Compilation.sym1Arg
protected Type	Expression.type
protected Type	Declaration.type The type of the value of this Declaration.
Type	Literal.type

Methods in gnu.expr that return Type

Modifier and Type	Method and Description
Type	Compilation.asBooleanValue(ConditionalTarget target, Type stackType) Hook for language-specific handling in ConditionalTarget.
Type	Language.asType(java.lang.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	TryExp.calculateType()
protected Type	ObjectExp.calculateType()
protected Type	IfExp.calculateType()
protected Type	ClassExp.calculateType() The ClassType generated for this class.
protected Type	ApplyExp.calculateType()
protected Type	LambdaExp.calculateType()
protected Type	ThisExp.calculateType()
protected Type	Expression.calculateType()
protected Type	SetExp.calculateType()
protected Type	CaseExp.calculateType()
protected Type	ReferenceExp.calculateType()
protected Type	QuoteExp.calculateType()
protected Type	BeginExp.calculateType()
protected Type	LetExp.calculateType()
protected Type	ExitExp.calculateType()
static Type	PrimProcedure.decodeType(Type javaType, java.lang.String[] annotTypes, int annotIndex, ParameterizedType parameterizedType, Language lang)
Type	Language.decodeType(Type javaType, java.lang.String annotType, ParameterizedType parameterizedType)
static Type	StackTarget.forceLazy(Compilation comp, Type stackType, Type type)
Type	TypeValue.getImplementationType() The lower-level Type used to represent instances of this type.
Type	InlineCalls.ProcedureInCallContext.getImplementationType()
Type	InlineCalls.ValueNeededType.getImplementationType()
Type	Language.getLangTypeFor(Type type)
Type	Language.getNamedType(java.lang.String name) Get the corresponding Type for a given name.
Type	PrimProcedure.getParameterType(int index)
Type[]	PrimProcedure.getParameterTypes()
Type	QuoteExp.getRawType()
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)
abstract Type	Target.getType()
Type	IgnoreTarget.getType()
Type	Expression.getType() Return the Type used to represent the values of this Expression.
Type	Declaration.getType()
Type	ConsumerTarget.getType()
Type	ConditionalTarget.getType()
Type	StackTarget.getType()
Type	Language.getTypeFor(java.lang.Class clas)
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(java.lang.Object spec, boolean lenient)
Type	Language.getTypeFor(java.lang.String name)
Type	Expression.getTypeRaw()
static Type	InlineCalls.ValueNeededType.make(Type type)
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 and Description
Declaration	ScopeExp.addDeclaration(java.lang.Object name, Type type) Create a new declaration in the current Scope.
Field	Compilation.allocLocalField(Type type, java.lang.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)
void	Expression.compile(Compilation comp, Type type)
abstract void	Target.compileFromStack(Compilation comp, Type stackType)
void	IgnoreTarget.compileFromStack(Compilation comp, Type stackType)
void	ConsumerTarget.compileFromStack(Compilation comp, Type stackType)
void	ConditionalTarget.compileFromStack(Compilation comp, Type stackType)
void	StackTarget.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 void	StackTarget.convert(Compilation comp, Type stackType, Type targetType)
static Type	PrimProcedure.decodeType(Type javaType, java.lang.String[] annotTypes, int annotIndex, ParameterizedType parameterizedType, Language lang)
Type	Language.decodeType(Type javaType, java.lang.String annotType, ParameterizedType parameterizedType)
static void	CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type stackType, Type type, Variable argValue)
static void	CheckedTarget.emitCheckedCoerce(Compilation comp, java.lang.String procname, int argno, Type type)
protected static void	StackTarget.emitCoerceFromObject(Type type, Compilation comp)
java.lang.String	Language.encodeType(Type type) Encode this type as a parseable string.
protected Method	ClassExp.findMethodForBridge(java.lang.String mname, Type[] ptypes, Type rtype) Finds a like-named method suitable for bridging the given arg/return types (i.e.
protected Method	ClassExp.findMethodForBridge(java.lang.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 void	StackTarget.forceLazyIfNeeded(Compilation comp, Type stackType, Type type)
java.lang.String	Language.formatType(Type type)
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.
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	StackTarget.getInstance(Type type)
static Target	CheckedTarget.getInstance(Type type, LambdaExp proc, int argno)
static Target	CheckedTarget.getInstance(Type type, java.lang.String procname, int argno)
Type	Language.getLangTypeFor(Type type)
static PrimProcedure	PrimProcedure.getMethodFor(ClassType procClass, java.lang.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	GenericProc.isApplicable(Type[] args, Type restType)
int	PrimProcedure.isApplicable(Type[] argTypes, Type restType)
int	PrimProcedure.isApplicable(Type[] argTypes, Type restType)
int	InlineCalls.LenientExpectedType.isCompatibleWithValue(Type valueType)
Declaration	Compilation.letVariable(java.lang.Object name, Type type, Expression init)
Declaration	Compilation.loopVariable(java.lang.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(java.lang.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.
void	LambdaExp.setCoercedReturnType(Type returnType)
void	LambdaExp.setReturnType(Type returnType)
void	PrimProcedure.setReturnType(Type retType)
void	Declaration.setType(Expression typeExp, Type type)
void	Expression.setType(Type type)
void	Declaration.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	LambdaExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression	Expression.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl) Apply inlining transformations on a given ApplyExp.
Expression	ReferenceExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression	QuoteExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
Expression	InlineCalls.visit(Expression exp, Type required)
protected Expression	InlineCalls.visitApplyExp(ApplyExp exp, Type required)
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

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

Uses of Type in gnu.jemacs.lang

Methods in gnu.jemacs.lang that return Type

Modifier and Type	Method and Description
Type	ELisp.getTypeFor(java.lang.Class clas)
Type	ELisp.getTypeFor(java.lang.String name)

Uses of Type in gnu.kawa.functions

Methods in gnu.kawa.functions that return Type

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

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

Modifier and Type	Method and Description
static int	Arithmetic.classifyType(Type type)
static Type	CompileArith.combineType(Type t1, Type t2)
static void	MakeSplice.copyTo(java.lang.Object target, int start, int size, java.lang.Object values, Type elementType)
static java.lang.Object	GetNamedPart.getTypePart(Type type, java.lang.String name)
static Expression	CompileNamedPart.makeExp(Type type, java.lang.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 and Description
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 and Description
static Type	LangObjType.coerceToType(java.lang.Object obj)
static Type	LangObjType.coerceToTypeOrNull(java.lang.Object type)
Type	LangObjType.getElementType()
Type	LangPrimType.getImplementationType()
Type	LispLanguage.getNamedType(java.lang.String name)
Type	LispLanguage.getPackageStyleType(java.lang.String name) Try to get a type of the form lang:type.
Type	LispLanguage.getTypeFor(java.lang.Class clas)

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

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

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

Modifier and Type	Method and Description
int	LangPrimType.compare(Type other)
int	SeqSizeType.compare(Type other)
int	LangObjType.compare(Type other)
void	LangObjType.emitConvertFromPrimitive(Type stackType, CodeAttr code)
int	LangPrimType.isCompatibleWithValue(Type valueType)
int	SeqSizeType.isCompatibleWithValue(Type valueType)
int	LangObjType.isCompatibleWithValue(Type valueType)
void	ReadTable.putReaderCtor(java.lang.String key, Type type) Add a mapping for a SRFI-10 constructor tag.

Uses of Type in gnu.kawa.reflect

Subclasses of Type in gnu.kawa.reflect

Modifier and Type	Class and Description
class	LazyType The type of lazy values - i.e.
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 and Description
static Type	OccurrenceType.emptySequenceType

Methods in gnu.kawa.reflect that return Type

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

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

Modifier and Type	Method and Description
static int	CompileReflect.checkKnownClass(Type type, Compilation comp) Check if class exists.
int	OccurrenceType.compare(Type other)
int	LazyType.compare(Type other)
int	MultValuesType.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 LazyType	LazyType.getInstance(ClassType rawType, Type valueType)
static ArrayMake	ArrayMake.getInstance(Type elementType)
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)
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 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).
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, java.lang.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

Constructor and 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)
MultValuesType(Type[] itemTypes)
OccurrenceType(Type base, int minOccurs, int maxOccurs)
StaticGet(ClassType ctype, java.lang.String name, Type ftype, int flags)
StaticSet(ClassType ctype, java.lang.String name, Type ftype, int flags)

Uses of Type in gnu.kawa.xml

Subclasses of Type in gnu.kawa.xml

Modifier and Type	Class and 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 and Description
Type	ProcessingInstructionType.getImplementationType()
Type	NodeType.getImplementationType()
Type	AttributeType.getImplementationType()
Type	ElementType.getImplementationType()
Type	XDataType.getImplementationType()
static Type	NodeSetType.getInstance(Type base)
Type	SortNodes.getReturnType(Expression[] args)
Type	MakeAttribute.getReturnType(Expression[] args)
Type	UnionNodes.getReturnType(Expression[] args)
Type	NodeConstructor.getReturnType(Expression[] args)
Type	MakeElement.getReturnType(Expression[] args)
Type	CoerceNodes.getReturnType(Expression[] args)

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

Modifier and Type	Method and 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

Constructor and Description
NodeSetType(Type itemType)
XDataType(java.lang.Object name, Type implementationType, int typeCode)

Uses of Type in gnu.mapping

Methods in gnu.mapping that return Type

Modifier and Type	Method and 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 and Description
int	MethodProc.isApplicable(Type[] argTypes, Type restType) Test if method is applicable to an invocation with given arguments.
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

Constructor and Description
WrongType(int n, java.lang.Object argValue, Type expectedType)
WrongType(Procedure proc, int n, java.lang.Object argValue, Type expectedType)

Uses of Type in gnu.q2.lang

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

Modifier and Type	Method and Description
static Expression	CompileMisc.validateQ2Apply(ApplyExp exp, InlineCalls visitor, Type required, Procedure applyToArgs)

Uses of Type in gnu.xquery.lang

Methods in gnu.xquery.lang that return Type

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

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

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

Uses of Type in gnu.xquery.util

Methods in gnu.xquery.util that return Type

Modifier and Type	Method and 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 and 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

Methods in kawa.lang that return Type

Modifier and Type	Method and 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

Constructor and Description
GetFieldProc(ClassType ctype, java.lang.String name, Type ftype, int flags)
SetFieldProc(ClassType ctype, java.lang.String name, Type ftype, int flags)

Uses of Type in kawa.standard

Methods in kawa.standard that return Type

Modifier and Type	Method and 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 and Description
protected java.util.HashMap<java.lang.String,Type>	Scheme.getTypeMap()

Methods in kawa.standard with parameters of type Type

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