Uses of Class
gnu.bytecode.Type

Packages that use Type
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   
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
 class ArrayType
           
 class ClassType
           
 class ObjectType
          Semi-abstract class object reference types.
 class PrimType
           
 class UninitializedType
          A pseudo-type used for allocated but uninitialized objects.
 

Fields in gnu.bytecode declared as Type
 Type ArrayType.elements
           
 Type[] CodeAttr.stack_types
           
protected  Type Location.type
           
static Type[] Type.typeArray0
           
 

Methods in gnu.bytecode that return Type
 Type ArrayType.getComponentType()
           
 Type Type.getImplementationType()
          The type used to implement types not natively understood by the JVM.
 Type UninitializedType.getImplementationType()
           
 Type ObjectType.getImplementationType()
           
 Type ArrayType.getImplementationType()
           
 Type[] Method.getParameterTypes()
           
 Type Type.getRealType()
          If this is a type alias, get the aliased type.
 Type Method.getReturnType()
           
 Type Location.getType()
           
static Type Type.getType(java.lang.String name)
          Find an Type with the given name, or create a new one.
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)
           
 Type CodeAttr.popType()
           
 Type Type.promote()
           
 Type ObjectType.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
 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).
 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 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 PrimType.compare(Type other)
           
 int ClassType.compare(Type other)
           
 int ArrayType.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 CodeAttr.emitConvert(Type from, Type to)
           
 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)
           
 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 ClassType.getMethod(java.lang.String name, Type[] arg_types)
           
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.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 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.
 

Constructors in gnu.bytecode with parameters of type Type
ArrayType(Type elements)
           
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
 Type CommonLisp.getTypeFor(java.lang.Class clas)
           
 Type CommonLisp.getTypeFor(java.lang.String name)
           
 

Uses of Type in gnu.expr
 

Subclasses of Type in gnu.expr
 class PairClassType
          A class type implemented as a pair of an interface and a class.
 

Fields in gnu.expr declared as Type
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 QuoteExp.type
           
 Type Literal.type
           
protected  Type ApplyExp.type
          Cache for getType().
protected  Type Declaration.type
          The type of the value of this Declaration.
 

Methods in gnu.expr that return Type
 Type Language.asType(java.lang.Object spec)
          "Coerce" a language-specific "type specifier" object to a Type.
 Type TypeValue.getImplementationType()
          The lower-level Type used to represent instances of this type.
 Type Language.getLangTypeFor(Type type)
           
 Type PrimProcedure.getParameterType(int index)
           
 Type[] PrimProcedure.getParameterTypes()
           
 Type QuoteExp.getRawType()
           
 Type PrimProcedure.getReturnType()
           
 Type LambdaExp.getReturnType()
          The return type of this function, i.e the type of its returned values.
 Type PrimProcedure.getReturnType(Expression[] args)
           
 Type StackTarget.getType()
           
abstract  Type Target.getType()
           
 Type QuoteExp.getType()
           
 Type LetExp.getType()
           
 Type TryExp.getType()
           
 Type IfExp.getType()
           
 Type ThisExp.getType()
           
 Type ConditionalTarget.getType()
           
 Type ClassExp.getType()
          The ClassType generated for this class.
 Type ConsumerTarget.getType()
           
 Type ApplyExp.getType()
           
 Type SetExp.getType()
           
 Type BeginExp.getType()
           
 Type ReferenceExp.getType()
           
 Type Expression.getType()
          Return the Type used to represent the values of this Expression.
 Type ExitExp.getType()
           
 Type IgnoreTarget.getType()
           
 Type Declaration.getType()
           
 Type ObjectExp.getType()
           
 Type LambdaExp.getType()
           
 Type Language.getTypeFor(java.lang.Class clas)
           
 Type Language.getTypeFor(Expression exp)
           
 Type Language.getTypeFor(Expression exp, boolean lenient)
           
 Type Language.getTypeFor(java.lang.Object spec, boolean lenient)
           
 Type Language.getTypeFor(java.lang.String name)
           
 Type ApplyExp.getTypeRaw()
           
 Type LambdaExp.restArgType()
          Return the parameter type of the "keyword/rest" parameters.
static Type Language.string2Type(java.lang.String name)
           
static Type Language.unionType(Type t1, Type t2)
           
 

Methods in gnu.expr with parameters of type Type
 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)
           
 Expression InlineCalls.checkType(Expression exp, Type required)
           
 void Expression.compile(Compilation comp, Type type)
           
 void StackTarget.compileFromStack(Compilation comp, Type stackType)
           
 void CheckedTarget.compileFromStack(Compilation comp, Type stackType)
           
abstract  void Target.compileFromStack(Compilation comp, Type stackType)
           
 void ConditionalTarget.compileFromStack(Compilation comp, Type stackType)
           
 void ConsumerTarget.compileFromStack(Compilation comp, Type stackType)
           
 void IgnoreTarget.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 stackType)
          Emit the actual invoke operation, after arguments have been pushed.
static void StackTarget.convert(Compilation comp, Type stackType, Type targetType)
           
static void CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, Type type)
           
static void CheckedTarget.emitCheckedCoerce(Compilation comp, LambdaExp proc, int argno, 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.formatType(Type type)
           
static Target StackTarget.getInstance(Type type)
           
static Target CheckedTarget.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)
           
 int GenericProc.isApplicable(Type[] args)
           
 int PrimProcedure.isApplicable(Type[] argTypes)
           
 Declaration Compilation.letVariable(java.lang.Object name, Type type, Expression init)
           
 Declaration Compilation.loopVariable(java.lang.Object name, Type type, Expression init)
           
static PrimProcedure PrimProcedure.makeBuiltinBinary(int opcode, Type type)
           
static PrimProcedure PrimProcedure.makeBuiltinUnary(int opcode, Type type)
           
static Expression Compilation.makeCoercion(Expression value, Type type)
          Convenience method to make an Expression that coerces a value.
 Expression InlineCalls.maybeInline(ApplyExp exp, Type required, Procedure proc)
           
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 PrimProcedure.setReturnType(Type retType)
           
 void LambdaExp.setReturnType(Type returnType)
           
 void QuoteExp.setType(Type type)
           
 void ApplyExp.setType(Type type)
           
 void Declaration.setType(Type type)
           
static Type Language.unionType(Type t1, Type t2)
           
 void Compilation.usedClass(Type type)
          Called for classes referenced in bytecode.
 Expression QuoteExp.validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)
           
 Expression ReferenceExp.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 LambdaExp.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.visitIfExp(IfExp exp, Type required)
           
protected  Expression InlineCalls.visitLambdaExp(LambdaExp exp, Type required)
           
protected  Expression InlineCalls.visitLetExp(LetExp 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.visitSetExpValue(Expression new_value, Type required, Declaration decl)
           
protected  Expression InlineCalls.visitTryExp(TryExp exp, Type required)
           
 

Constructors in gnu.expr with parameters of type Type
CheckedTarget(Type type)
           
CheckedTarget(Type type, LambdaExp proc, int argno)
           
CheckedTarget(Type type, java.lang.String procname, int argno)
           
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)
           
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
 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
 Type GetModuleClass.getReturnType(Expression[] args)
           
 Type CompileArith.getReturnType(Expression[] args)
           
 Type NumberCompare.getReturnType(Expression[] args)
           
 Type ValuesMap.getReturnType(Expression[] args)
           
 Type CallCC.getReturnType(Expression[] args)
           
 Type MakeList.getReturnType(Expression[] args)
           
 Type IsEq.getReturnType(Expression[] args)
           
 Type AppendValues.getReturnType(Expression[] args)
           
static Type Arithmetic.kindType(int kind)
           
 

Methods in gnu.kawa.functions with parameters of type Type
static int ArithOp.classify(Type type)
          Classify an expression according to its numeric type.
static int Arithmetic.classifyType(Type type)
           
static java.lang.Object GetNamedPart.getTypePart(Type type, java.lang.String name)
           
static Expression CompileNamedPart.makeExp(Type type, java.lang.String member)
           
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.validateApplyMakeProcedure(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression CompileMisc.validateApplyMap(ApplyExp exp, InlineCalls visitor, Type required, Procedure xproc)
           
static Expression CompileMisc.validateApplyNot(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression CompileArith.validateApplyNumberCompare(ApplyExp exp, InlineCalls visitor, Type required, Procedure proc)
           
static Expression CompileArith.validateApplyNumberPredicate(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 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
 class LangObjType
          A wrapper around a class type.
 class LangPrimType
          Use to implement some special types that convert differently.
 

Methods in gnu.kawa.lispexpr that return Type
static Type LangObjType.coerceToType(java.lang.Object obj)
           
static Type LangObjType.coerceToTypeOrNull(java.lang.Object type)
           
 Type LangObjType.getImplementationType()
           
 Type LangPrimType.getImplementationType()
           
 Type LangObjType.getRealType()
           
 

Methods in gnu.kawa.lispexpr with parameters of type Type
 int LangObjType.compare(Type other)
           
 int LangPrimType.compare(Type other)
           
 void LangObjType.emitConvertFromPrimitive(Type stackType, CodeAttr code)
           
 Method LangObjType.getMethod(java.lang.String name, Type[] arg_types)
           
 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
 class OccurrenceType
          A type that matches some number of repetitions of a basetype.
 class SingletonType
           
 

Fields in gnu.kawa.reflect declared as Type
static Type OccurrenceType.emptySequenceType
           
 

Methods in gnu.kawa.reflect that return Type
 Type OccurrenceType.getBase()
           
 Type FieldLocation.getFType()
          Get the type of the field.
 Type SingletonType.getImplementationType()
           
 Type OccurrenceType.getImplementationType()
           
static Type OccurrenceType.getInstance(Type base, int minOccurs, int maxOccurs)
           
 Type TypeSwitch.getReturnType(Expression[] args)
           
 Type SlotGet.getReturnType(Expression[] args)
           
 Type StaticSet.getReturnType(Expression[] args)
           
 Type InstanceOf.getReturnType(Expression[] args)
           
 Type StaticGet.getReturnType(Expression[] args)
           
static Type OccurrenceType.itemPrimeType(Type type)
          QUery formal semantics "prime type"
 

Methods in gnu.kawa.reflect with parameters of type Type
static int CompileReflect.checkKnownClass(Type type, Compilation comp)
          Check if class exists.
 int SingletonType.compare(Type other)
           
 int OccurrenceType.compare(Type other)
           
static Type OccurrenceType.getInstance(Type base, int minOccurs, int maxOccurs)
           
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.itemCountRange(Type type)
          Return a conservative estimage on the min/max number of items of a type.
static Type OccurrenceType.itemPrimeType(Type type)
          QUery formal semantics "prime type"
static long ClassMethods.selectApplicable(PrimProcedure[] methods, Type[] atypes)
          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 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)
           
 

Constructors in gnu.kawa.reflect with parameters of type Type
ArrayGet(Type element_type)
           
ArrayLength(Type element_type)
           
ArrayNew(Type element_type)
           
ArraySet(Type element_type)
           
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
 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
 Type ElementType.getImplementationType()
           
 Type NodeType.getImplementationType()
           
 Type XDataType.getImplementationType()
           
 Type ProcessingInstructionType.getImplementationType()
           
 Type AttributeType.getImplementationType()
           
static Type NodeSetType.getInstance(Type base)
           
 Type NodeConstructor.getReturnType(Expression[] args)
           
 Type CoerceNodes.getReturnType(Expression[] args)
           
 Type SortNodes.getReturnType(Expression[] args)
           
 Type UnionNodes.getReturnType(Expression[] args)
           
 Type MakeElement.getReturnType(Expression[] args)
           
 Type MakeAttribute.getReturnType(Expression[] args)
           
 

Methods in gnu.kawa.xml with parameters of type Type
 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
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
 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
 int MethodProc.isApplicable(Type[] argTypes)
          Test if method is applicable to an invocation with given arguments.
 

Constructors in gnu.mapping with parameters of type Type
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.xquery.lang
 

Methods in gnu.xquery.lang that return Type
static 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
 java.lang.String XQuery.formatType(Type type)
           
 

Uses of Type in gnu.xquery.util
 

Methods in gnu.xquery.util that return Type
 Type ValuesFilter.getReturnType(Expression[] args)
           
 Type RelativeStep.getReturnType(Expression[] args)
           
 Type ArithOp.getReturnType(Expression[] args)
           
 Type OrderedMap.getReturnType(Expression[] args)
           
 

Methods in gnu.xquery.util with parameters of type Type
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
 Type Translator.exp2Type(Pair typeSpecPair)
          Extract a type from the car of a pair.
 Type SetFieldProc.getReturnType(Expression[] args)
           
 Type GetFieldProc.getReturnType(Expression[] args)
           
 

Constructors in kawa.lang with parameters of type Type
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
static Type Scheme.exp2Type(Expression exp)
          Convert expression to a Type.
static Type Scheme.getNamedType(java.lang.String name)
           
 Type prim_throw.getReturnType(Expression[] args)
           
 Type Scheme.getTypeFor(java.lang.Class clas)
           
 Type Scheme.getTypeFor(java.lang.String name)
           
static Type Scheme.getTypeValue(Expression exp)
          If exp is a "constant" Type, return that type, otherwise return null.
static Type Scheme.string2Type(java.lang.String name)
           
 

Methods in kawa.standard with parameters of type Type
 java.lang.String Scheme.formatType(Type type)